From b6c01ea4e538cdd3d92f6ca2543e8ea95d542344 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 15 Apr 2014 11:36:37 +0100
Subject: Put conditional path information into constraint gathering so that
 checking uses appropriate information gleaned from pattern matching

---
 src/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser.mly')

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
-- 
cgit v1.2.3