From 5be908867a5def57fd5e398a1047f859a68fd1a4 Mon Sep 17 00:00:00 2001 From: Nathan Ringo Date: Sat, 20 Jan 2024 00:06:28 -0600 Subject: Cleans up unsupported AST error in UI. --- discocaml/discocaml.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'discocaml/discocaml.ml') diff --git a/discocaml/discocaml.ml b/discocaml/discocaml.ml index 676cd67..ba407c1 100644 --- a/discocaml/discocaml.ml +++ b/discocaml/discocaml.ml @@ -91,6 +91,7 @@ let handle_request { expr; command } : response = run_with Eval.find_redex_cbv expr |> Seq.take 100 |> Seq.map show_expr |> Array.of_seq ) with + | Ast.UnsupportedAst ast -> `Error ("unsupported AST: " ^ ast) | Eval.NotARedex expr -> `Error ("not a redex: " ^ show_expr expr) | Failure msg -> `Error msg | exn -> `Error ("uncaught exception: " ^ Printexc.to_string exn) -- cgit v1.2.3