Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add injectivity annotations (#9500) (commit: 603506a) (details)
  2. Signal handling in native code without the page table (#9682) (commit: e4bf109) (details)
Commit 603506aa34d0e5f7a9745c988777776ccb734094 by noreply
Add injectivity annotations (#9500)

 (commit: 603506a)
The file was modifiedtyping/printtyp.ml (diff)
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtestsuite/tests/typing-private/private.compilers.principal.reference (diff)
The file was modifiedparsing/parser.mly (diff)
The file was modifiedtyping/oprint.ml (diff)
The file was modifiedtyping/outcometree.mli (diff)
The file was modifiedtyping/typedecl_variance.mli (diff)
The file was modifiedtyping/typedtree.ml (diff)
The file was modifiedparsing/ast_helper.mli (diff)
The file was addedtestsuite/tests/typing-misc/injectivity.ml
The file was modifiedboot/menhir/parser.ml (diff)
The file was modifiedparsing/parsetree.mli (diff)
The file was modifiedtyping/typedtree.mli (diff)
The file was modifiedtestsuite/tests/printing-types/disambiguation.ml (diff)
The file was modifiedtestsuite/tests/typing-private/private.compilers.reference (diff)
The file was modifiedparsing/asttypes.mli (diff)
The file was modifiedparsing/pprintast.ml (diff)
The file was modifiedtyping/typedecl_variance.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedmanual/manual/refman/typedecl.etex (diff)
Commit e4bf109d1e7f64aa21a3edc00af4036c029604a6 by noreply
Signal handling in native code without the page table (#9682)

Signal handlers sometimes need to know whether the signal occurred
in ocamlopt-generated code, as opposed to runtime or C library code.

Today this determination uses a page table lookup to keep track
of dynamically-loaded modules, plus ad-hoc tests for the main program.

This PR uses the code fragment table instead.  That's more reliable,
less ad-hoc, and independent of the page table.

i386nt.asm: add caml_system__code_{begin,end}, ,like in the other ports.
 (commit: e4bf109)
The file was modifiedruntime/i386nt.asm (diff)
The file was modifiedruntime/signals_nat.c (diff)
The file was modifiedruntime/win32.c (diff)
The file was modifiedruntime/startup_nat.c (diff)