ligo/src/main/compile/of_simplified.ml

open Trace

let compile (program : Ast_simplified.program) : (Ast_typed.program * Typer.Solver.state) result =
  let%bind (prog_typed , state) = Typer.type_program program in
  let () = Typer.Solver.discard_state state in
  ok @@ (prog_typed, state)

let compile_expression ?(env = Ast_typed.Environment.full_empty) ~(state : Typer.Solver.state) (ae : Ast_simplified.expression) : (Ast_typed.value * Typer.Solver.state) result =
  Typer.type_expression env state ae
more modifications 2019-09-10 15:19:15 +02:00			`open Trace`

Refactoring eval run functions 2019-11-29 21:22:56 +00:00			`let compile (program : Ast_simplified.program) : (Ast_typed.program * Typer.Solver.state) result =`
dune build passes, but not dune build @ligo-test. Threaded the typechecker's state in a bunch of places where it's likely not needed, because I don't know which parts are entrypoints and which parts are intermediate functions, and the role of the state between program fragments is not yet 100% clear to me. 2019-10-11 15:21:21 -04:00			`let%bind (prog_typed , state) = Typer.type_program program in`
			`let () = Typer.Solver.discard_state state in`
Refactoring eval run functions 2019-11-29 21:22:56 +00:00			`ok @@ (prog_typed, state)`
add micheline 2019-09-20 18:56:55 +02:00
Refactoring eval run functions 2019-11-29 21:22:56 +00:00			`let compile_expression ?(env = Ast_typed.Environment.full_empty) ~(state : Typer.Solver.state) (ae : Ast_simplified.expression) : (Ast_typed.value * Typer.Solver.state) result =`
			`Typer.type_expression env state ae`