diff options
| author | Brian Campbell | 2019-05-07 11:03:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-07 11:03:09 +0100 |
| commit | bb6677f615b370815e9b0b758f953bd4e1bd45d4 (patch) | |
| tree | c82f349090d79102acd4802bad0ce69474bb2b56 /src | |
| parent | 326e97e2ecaafaae75b841999fc94eed34e9a841 (diff) | |
Preserve more pattern locations during type checking
(monomorphisation uses them to decide where to case split)
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index ec5258d6..d44fd493 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -3163,7 +3163,7 @@ and bind_pat env (P_aux (pat_aux, (l, ())) as pat) (Typ_aux (typ_aux, _) as typ) | P_app (f, pats) when Env.is_union_constructor f env -> (* Treat Ctor(x, y) as Ctor((x, y)) *) - bind_pat env (mk_pat (P_app (f, [mk_pat (P_tup pats)]))) typ + bind_pat env (P_aux (P_app (f, [mk_pat (P_tup pats)]),(l,()))) typ | P_app (f, pats) when Env.is_mapping f env -> begin |