diff options
| author | Kathy Gray | 2014-04-15 11:36:37 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-15 11:36:37 +0100 |
| commit | b6c01ea4e538cdd3d92f6ca2543e8ea95d542344 (patch) | |
| tree | a0dc818de6bd470ca0b3741c7d9fedf40da645a9 /src/parser.mly | |
| parent | 5e9f4c46b55c527fe639ae88a78fd6386c31756b (diff) | |
Put conditional path information into constraint gathering so that checking uses appropriate information gleaned from pattern matching
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index 06b26765..3c3cf8e0 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -95,7 +95,7 @@ let mk_namesectn _ = Name_sect_aux(Name_sect_none,Unknown) let make_range_sugar_bounded typ1 typ2 = ATyp_app(Id_aux(Id("range"),Unknown),[typ1; typ2;]) let make_range_sugar typ1 = - make_range_sugar_bounded typ1 (ATyp_aux(ATyp_constant(0), Unknown)) + make_range_sugar_bounded (ATyp_aux(ATyp_constant(0), Unknown)) typ1 let make_r bot top = match bot,top with |