Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(grader): Workaround ocaml-sf#457
Graders using module `Introspection` (which used to work with 0.12) should now work with `ocamlsf/learn-ocaml:master` as well, i.e., they should not raise `Ctype.Unification_trace.Unify(_)` any longer. href: ocaml-sf#457 (comment)
- Loading branch information