From b3d7e7afc14553e8398958130fbcddf9e9a9a474 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 16 Nov 2017 17:07:40 +0000
Subject: 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
---
 src/pretty_print_lem_ast.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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,_) ->
-- 
cgit v1.2.3