From f5d66c678bf970f37bf71b54ac9104e4c877b08d Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Mon, 8 Nov 2021 18:42:38 +0100 Subject: [PATCH] fix(grader): Workaround issue #457 about the `Introspection` module (#461) 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: https://github.com/ocaml-sf/learn-ocaml/issues/457#issuecomment-962979327 --- src/grader/grading.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/grader/grading.ml b/src/grader/grading.ml index 216358e98..83b6a1283 100644 --- a/src/grader/grading.ml +++ b/src/grader/grading.ml @@ -139,6 +139,10 @@ let get_grade handle_error (internal_error [%i"while preparing the tests"]) @@ Toploop_ext.use_string ~print_outcome ~ppf_answer "module Report = Learnocaml_report" ; + (* The following 3 lines are just a workaround for issue #457 *) + handle_error (internal_error [%i"while preparing the tests"]) @@ + Toploop_ext.use_string ~print_outcome ~ppf_answer + "module Introspection = Introspection" ; set_progress [%i"Launching the test bench."] ; let () =