balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Tests pass again, using the old typer

Browse Source
This commit is contained in:
Suzanne Dupéron 2019-11-01 09:48:09 -04:00
parent 45347e3e88
commit 865cf80c77
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/main/compile/of_simplified.ml
View File

@ -21,13 +21,23 @@ let compile_expression_as_function_entry (program : program) entry_point : _ res
let compile_expression_as_value ?(env = Ast_typed.Environment.full_empty) ~(state : Typer.Solver.state) ae : Michelson.t result =
let%bind (typed , state) = Typer.type_expression env state ae in
(* TODO: move this to typer.ml *)
let typed = let () = failwith "TODO : subst all" in let _todo = ignore (env, state) in typed in
let typed =
if false then
let () = failwith "TODO : subst all" in let _todo = ignore (env, state) in typed
else
typed
in
Of_typed.compile_expression_as_value typed
let compile_expression_as_function ?(env = Ast_typed.Environment.full_empty) ~(state : Typer.Solver.state) (ae : Ast_simplified.expression) : _ result =
let%bind (typed , state) = Typer.type_expression env state ae in
(* TODO: move this to typer.ml *)
let typed = let () = failwith "TODO : subst all" in let _todo = ignore (env, state) in typed in
let typed =
if false then
let () = failwith "TODO : subst all" in let _todo = ignore (env, state) in typed
else
typed
in
Of_typed.compile_expression_as_function typed
let uncompile_typed_program_entry_expression_result program entry ex_ty_value =