diff options
| author | Alasdair Armstrong | 2017-11-16 17:07:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-16 17:07:40 +0000 |
| commit | b3d7e7afc14553e8398958130fbcddf9e9a9a474 (patch) | |
| tree | 4c682a03650286451684211357f22e297acda9c1 /src/pretty_print_lem_ast.ml | |
| parent | 6921b3107088f43b38eadcd841384deff00e340e (diff) | |
Made l2.ott generate an ast.lem which is is valid w.r.t. -lem_ast output.
This is the first step towards getting the interpreter working on this branch
Diffstat (limited to 'src/pretty_print_lem_ast.ml')
| -rw-r--r-- | src/pretty_print_lem_ast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print_lem_ast.ml b/src/pretty_print_lem_ast.ml index 1b7e2fca..02e18f66 100644 --- a/src/pretty_print_lem_ast.ml +++ b/src/pretty_print_lem_ast.ml @@ -162,7 +162,7 @@ let rec pp_format_typ_lem (Typ_aux(t,l)) = (pp_format_effects_lem efct) ^ ")" | Typ_tup(typs) -> "(Typ_tup [" ^ (list_format "; " pp_format_typ_lem typs) ^ "])" | Typ_app(id,args) -> "(Typ_app " ^ (pp_format_id_lem id) ^ " [" ^ (list_format "; " pp_format_typ_arg_lem args) ^ "])" - | Typ_exist(kids,nc,typ) -> "(Typ_exist ([" ^ list_format ";" pp_format_var_lem kids ^ "], " ^ pp_format_nexp_constraint_lem nc ^ ", " ^ pp_format_typ_lem typ ^ "))") ^ " " ^ + | Typ_exist(kids,nc,typ) -> "(Typ_exist [" ^ list_format ";" pp_format_var_lem kids ^ "] " ^ pp_format_nexp_constraint_lem nc ^ " " ^ pp_format_typ_lem typ ^ ")") ^ " " ^ (pp_format_l_lem l) ^ ")" and pp_format_nexp_lem (Nexp_aux(n,l)) = "(Nexp_aux " ^ @@ -328,7 +328,7 @@ let rec pp_format_nes nes = let pp_format_annot = function | None -> "Nothing" | Some (_, typ, eff) -> - "(Just (Env.empty, " ^ pp_format_typ_lem typ ^ ", " ^ pp_format_effects_lem eff ^ "))" + "(Just (" ^ pp_format_typ_lem typ ^ ", " ^ pp_format_effects_lem eff ^ "))" (* | NoTyp -> "Nothing" | Base((_,t),tag,nes,efct,efctsum,_) -> |