Skip to content
[Jenkins]Jenkins
log in
In progress

Changes

Progress:

Summary

  1. Print row types when they are GADT constructors (commit: ae66354) (details)
  2. Better Btype.is_row_name (commit: 8c57adb) (details)
Commit ae66354144c49572dc7c38e4a7db416fe53a2246 by source
Print row types when they are GADT constructors
 (commit: ae66354)
The file was modifiedtyping/out_type.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/test.ml (diff)
The file was modifiedtyping/outcometree.mli (diff)
The file was modifiedChanges (diff)
The file was modifiedtyping/oprint.ml (diff)
The file was modifiedtyping/btype.ml (diff)