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/iflow.sml | |
| parent | a777dd13f4075418ec883f4eb42e5de1739d50d1 (diff) | |
Merge PVar and PWild, to get more reasonable type-class resolution
Diffstat (limited to 'src/iflow.sml')
| -rw-r--r-- | src/iflow.sml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/iflow.sml b/src/iflow.sml index 8bde7ea3..5e8d697e 100644 --- a/src/iflow.sml +++ b/src/iflow.sml @@ -1405,8 +1405,7 @@ fun doQuery (arg : 'a doQuery) (e as (_, loc)) = fun evalPat env e (pt, _) = case pt of - PWild => env - | PVar _ => e :: env + PVar _ => e :: env | PPrim _ => env | PCon (_, pc, NONE) => (St.assert [AReln (PCon0 (patCon pc), [e])]; env) | PCon (_, pc, SOME pt) => @@ -2045,8 +2044,7 @@ fun check (file : file) = let fun doPat (p, env) = case #1 p of - PWild => env - | PVar _ => v :: env + PVar _ => v :: env | PPrim _ => env | PCon (_, _, NONE) => env | PCon (_, _, SOME p) => doPat (p, env) |