summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-02-07 19:59:10 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2016-02-07 19:59:10 -0500
commit5579b84a97cb942fdfd4c4898793f9de95bc03d1 (patch)
tree2fd60da2fe681fa69d712efdeb36b720c72b9820 /src/mono.sml
parenta777dd13f4075418ec883f4eb42e5de1739d50d1 (diff)
Merge PVar and PWild, to get more reasonable type-class resolution
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/mono.sml b/src/mono.sml
index b05c3dcc..cdadded5 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -48,8 +48,7 @@ datatype patCon =
| PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
datatype pat' =
- PWild
- | PVar of string * typ
+ PVar of string * typ
| PPrim of Prim.t
| PCon of datatype_kind * patCon * pat option
| PRecord of (string * pat * typ) list