CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Test new typing

Browse Source
This commit is contained in:
Louis Gesbert 2022-09-26 18:19:53 +02:00
parent 3b4b070aaa
commit 4d8bc20fcd
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/driver.ml
View File

@ -176,8 +176,15 @@ let driver source_file (options : Cli.options) : int =
Format.fprintf fmt "%a\n"
(Scopelang.Print.program ~debug:options.debug)
prgm
| ( `Interpret | `Typecheck | `OCaml | `Python | `Scalc | `Lcalc | `Dcalc
| `Proof | `Plugin _ ) as backend -> (
| `Typecheck ->
Cli.debug_print "Typechecking...";
let _prgm = Scopelang.Ast.type_program prgm in
(* That's it! *)
Cli.result_print "Typechecking successful!"
| ( `Interpret (* `Typecheck | *)
| `OCaml | `Python | `Scalc | `Lcalc | `Dcalc | `Proof | `Plugin _ ) as
backend -> (
let _prgm = Scopelang.Ast.type_program prgm in
Cli.debug_print "Translating to default calculus...";
let prgm, type_ordering =
Scopelang.Scope_to_dcalc.translate_program prgm