Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. remove an unused test reference file (commit: 0c60f27) (details)
  2. add a testsuite case for an [@@unboxed] bug (#9607) reported by Stephen Dolan (commit: 463f1e1) (details)
  3. typedecl: correct update separability in transl_with_constraint (commit: 9b1bfc3) (details)
  4. typedecl: prevent the mistake of not updating transl_with_constraint (commit: ec74335) (details)
Commit 0c60f279780c7c350e8722a8f96276fd65e273d1 by gabriel.scherer
remove an unused test reference file
 (commit: 0c60f27)
The file was removedtestsuite/tests/typing-unboxed/test.ocaml.reference
Commit 463f1e1b9f07014c51b424599e730532c7972642 by gabriel.scherer
add a testsuite case for an [@@unboxed] bug (#9607) reported by Stephen Dolan

Currently the test fails while it should work.
 (commit: 463f1e1)
The file was modifiedtestsuite/tests/typing-unboxed/test.ml (diff)
Commit 9b1bfc3b7c3f5ed56f8be4aa706784a75f993f1a by gabriel.scherer
typedecl: correct update separability in transl_with_constraint

fixes #9607
 (commit: 9b1bfc3)
The file was modifiedtestsuite/tests/typing-unboxed/test.ml (diff)
The file was modifiedtyping/typedecl.ml (diff)
The file was modifiedChanges (diff)
Commit ec7433515885e9bc6ad8957849998a66558a3158 by gabriel.scherer
typedecl: prevent the mistake of not updating transl_with_constraint
 (commit: ec74335)
The file was modifiedtyping/typedecl.ml (diff)