diff options
author | Son Ho | 2022-01-21 15:26:49 +0100 |
---|---|---|
committer | Son Ho | 2022-01-21 15:26:49 +0100 |
commit | fddf0195bb77932ca9a8c851d330df99988fd361 (patch) | |
tree | 76860c80a0fe9ec167e437143545047053341436 /src/Cps.ml | |
parent | c7046673306d8d8ddac7f815f523a4938e9802c9 (diff) |
Start working on the generation of the symbolic AST
Diffstat (limited to 'src/Cps.ml')
-rw-r--r-- | src/Cps.ml | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -4,6 +4,7 @@ module T = Types module V = Values module C = Contexts +module SA = SymbolicAst (** TODO: change the name *) type eval_error = EPanic @@ -19,7 +20,7 @@ type statement_eval_res = (** Synthesized expresssion - dummy for now *) type sexpr = SOne | SList of sexpr list -type eval_result = sexpr option +type eval_result = SA.expression option type m_fun = C.eval_ctx -> eval_result (** Continuation function *) |