From c4aba7a0befd9988ae032c5532790e5fabb321b9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 9 Apr 2019 15:33:45 -0400 Subject: Urlify unit values as underscores, to avoid confusing parser --- src/mono_fooify.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/mono_fooify.sml') diff --git a/src/mono_fooify.sml b/src/mono_fooify.sml index e64207cd..9cb14400 100644 --- a/src/mono_fooify.sml +++ b/src/mono_fooify.sml @@ -165,12 +165,12 @@ fun fooifyExpWithExceptions fk lookupENamed lookupDatatype = end | _ => case t of - TFfi ("Basis", "unit") => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm) + TFfi ("Basis", "unit") => ((EPrim (Prim.String (Prim.Normal, "_")), loc), fm) | TFfi (m, x) => (if Settings.mayClientToServer (m, x) then ((EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [(e, tAll)]), loc), fm) else raise CantPass (fm, tAll)) - | TRecord [] => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm) + | TRecord [] => ((EPrim (Prim.String (Prim.Normal, "_")), loc), fm) | TRecord ((x, t) :: xts) => let val (se, fm) = fooify fm ((EField (e, x), loc), t) -- cgit v1.2.3