Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. toplevel: test with nongeneric printer (commit: 3c357ea) (details)
  2. toplevel: printers must have a generic type (commit: 53ba0c8) (details)
  3. refactor Ctype: remove nongen_inst argument (commit: a9a97df) (details)
  4. add Changes entry (commit: 0513968) (details)
Commit 3c357eac444cab2fb06723b5312d77ebd2b300be by Florian Angeletti
toplevel: test with nongeneric printer
 (commit: 3c357ea)
The file was modifiedtestsuite/tests/tool-toplevel/install_printer.compilers.reference (diff)
The file was modifiedtestsuite/tests/tool-toplevel/install_printer.ml (diff)
Commit 53ba0c848b9e8baf50654055a5019ea463a2723a by Florian Angeletti
toplevel: printers must have a generic type

This commit adds an explicit test for checking that the type scheme of
a value printers does not contain any non-generic type variables before
being used to print a value.
 (commit: 53ba0c8)
The file was modifiedtyping/ctype.ml (diff)
The file was modifiedtoplevel/genprintval.ml (diff)
The file was modifiedtyping/ctype.mli (diff)
Commit a9a97df9a5da1a5fe49a56872b675f90c48ac7a3 by Florian Angeletti
refactor Ctype: remove nongen_inst argument
 (commit: a9a97df)
The file was modifiedtyping/ctype.ml (diff)
The file was modifiedtoplevel/genprintval.ml (diff)
The file was modifiedtyping/ctype.mli (diff)
The file was modifiedtyping/includecore.ml (diff)
The file was modifiedChanges (diff)