fixes .ml export prompt bug; added blank exercise spec

hazelgrove · Dec 21, 2024 · c19228b · c19228b
1 parent dec734e
commit c19228b
Show file tree

Hide file tree

Showing 4 changed files with 89 additions and 19 deletions.
diff --git a/src/haz3lweb/exercises/Exercise.re b/src/haz3lweb/exercises/Exercise.re
@@ -686,11 +686,7 @@ let editor_pp = (fmt, editor: Editor.t) => {
 };
 
 let export_module = (module_name, {eds, _}: state) => {
-  let prefix =
-    "let prompt = "
-    ++ module_name
-    ++ "_prompt.prompt\n"
-    ++ "let exercise: Exercise.spec = ";
+  let prefix = "open Haz3lcore\n\n" ++ "let exercise: Exercise.spec = \n";
   let record = show_p(editor_pp, eds);
   let data = prefix ++ record ++ "\n";
   data;

diff --git a/src/haz3lweb/exercises/examples/BlankExercise.ml b/src/haz3lweb/exercises/examples/BlankExercise.ml
diff --git a/src/haz3lweb/exercises/examples/BlankTemplate.ml b/src/haz3lweb/exercises/examples/BlankTemplate.ml
diff --git a/src/haz3lweb/exercises/settings/ExerciseSettings_base.re b/src/haz3lweb/exercises/settings/ExerciseSettings_base.re
@@ -3,4 +3,5 @@ let log_key = filename;
 let exercises: list(Exercise.spec) = [
   Ex_OddlyRecursive.exercise,
   Ex_RecursiveFibonacci.exercise,
+  BlankExercise.exercise,
 ];