diff options
| -rw-r--r-- | src/mono_opt.sml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index bb165770..d4441ac7 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -502,6 +502,13 @@ fun exp e = | [] => raise Fail "MonoOpt impossible nil") | NONE => e end + + | EFfiApp ("Basis", "str1", [(EPrim (Prim.Char ch), _)]) => + EPrim (Prim.String (str ch)) + | EFfiApp ("Basis", "attrifyString", [(EFfiApp ("Basis", "str1", [e]), _)]) => + EFfiApp ("Basis", "attrifyChar", [e]) + | EFfiApp ("Basis", "attrifyString_w", [(EFfiApp ("Basis", "str1", [e]), _)]) => + EFfiApp ("Basis", "attrifyChar_w", [e]) | _ => e |