CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Restore Dcalc backend for clerk as it does not seem to produce bugs anymore?

Browse Source
This commit is contained in:
Denis Merigoux 2022-02-14 12:03:35 +01:00
parent cf8557a7aa
commit f2dd642041
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build_system/clerk.ml
View File

@ -345,7 +345,7 @@ let collect_all_ninja_build (ninja : ninja) (tested_file : string) (reset_test_o
List.fold_left
(fun (ninja, test_names) expected_output ->
match expected_output.backend with
| Cli.Interpret | Cli.Proof | Cli.Typecheck (* | Cli.Dcalc *) | Cli.Scopelang ->
| Cli.Interpret | Cli.Proof | Cli.Typecheck | Cli.Dcalc | Cli.Scopelang ->
let vars =
[
("catala_cmd", Nj.Expr.Lit (catala_backend_to_string expected_output.backend));