summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-02-07 20:41:34 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2016-02-07 20:41:34 -0500
commit7b379c724999c4b415b1c3826db748450c7a6571 (patch)
tree08d7b9d994d351f9480e09f06170f3daf77e8549 /src/cjr_print.sml
parent5579b84a97cb942fdfd4c4898793f9de95bc03d1 (diff)
Finish removing PWild; only load a library once, even if referenced multiple times in a .urp tree
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml11
1 files changed, 3 insertions, 8 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index bbbe5c8b..2471ce59 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -163,9 +163,7 @@ fun p_con_named env n =
fun p_pat_preamble env (p, _) =
case p of
- PWild => (box [],
- env)
- | PVar (x, t) => (box [p_typ env t,
+ PVar (x, t) => (box [p_typ env t,
space,
string "__uwr_",
p_ident x,
@@ -194,8 +192,7 @@ fun p_patCon env pc =
fun p_patMatch (env, disc) (p, loc) =
case p of
- PWild => string "1"
- | PVar _ => string "1"
+ PVar _ => string "1"
| PPrim (Prim.Int n) => box [string ("(" ^ disc),
space,
string "==",
@@ -318,9 +315,7 @@ fun p_patMatch (env, disc) (p, loc) =
fun p_patBind (env, disc) (p, loc) =
case p of
- PWild =>
- (box [], env)
- | PVar (x, t) =>
+ PVar (x, t) =>
(box [p_typ env t,
space,
string "__uwr_",