diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-02-07 19:59:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-02-07 19:59:10 -0500 |
| commit | 5579b84a97cb942fdfd4c4898793f9de95bc03d1 (patch) | |
| tree | 2fd60da2fe681fa69d712efdeb36b720c72b9820 /src/jscomp.sml | |
| parent | a777dd13f4075418ec883f4eb42e5de1739d50d1 (diff) | |
Merge PVar and PWild, to get more reasonable type-class resolution
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index e5a0cb27..d8c83b94 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -458,8 +458,7 @@ fun process (file : file) = fun jsPat (p, _) = case p of - PWild => str "{c:\"w\"}" - | PVar _ => str "{c:\"v\"}" + PVar _ => str "{c:\"v\"}" | PPrim p => strcat [str "{c:\"c\",v:", jsPrim p, str "}"] @@ -1009,8 +1008,7 @@ fun process (file : file) = fun patBinds ((p, _), env) = case p of - PWild => env - | PVar (_, t) => t :: env + PVar (_, t) => t :: env | PPrim _ => env | PCon (_, _, NONE) => env | PCon (_, _, SOME p) => patBinds (p, env) |