Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. toplevel: test with nongeneric printer (details)
  2. toplevel: printers must have a generic type (details)
  3. refactor Ctype: remove nongen_inst argument (details)
  4. add Changes entry (details)
Commit 3c357eac444cab2fb06723b5312d77ebd2b300be by Florian Angeletti
toplevel: test with nongeneric printer
The file was modifiedtestsuite/tests/tool-toplevel/install_printer.ml (diff)
The file was modifiedtestsuite/tests/tool-toplevel/install_printer.compilers.reference (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.
The file was modifiedtoplevel/genprintval.ml (diff)
The file was modifiedtyping/ctype.mli (diff)
The file was modifiedtyping/ctype.ml (diff)
Commit a9a97df9a5da1a5fe49a56872b675f90c48ac7a3 by Florian Angeletti
refactor Ctype: remove nongen_inst argument
The file was modifiedtoplevel/genprintval.ml (diff)
The file was modifiedtyping/ctype.mli (diff)
The file was modifiedtyping/includecore.ml (diff)
The file was modifiedtyping/ctype.ml (diff)
The file was modifiedChanges (diff)