From e5552aeb0c9f41faa2191c49b4cfe81b5bd691b1 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 20 Mar 2014 17:20:13 +0000
Subject: Type bit[n] means bit[0..n-1]

---
 src/parser.mly | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/parser.mly b/src/parser.mly
index 16d28daa..52b8a8ae 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -111,7 +111,11 @@ let make_vector_sugar_bounded is_inc typ typ1 typ2 =
     else make_r typ2 typ1,ATyp_dec in
   ATyp_app(Id_aux(Id("vector"),Unknown),[typ1;rise;ATyp_aux(ord,Unknown);typ])
 let make_vector_sugar typ typ1 =
-  make_vector_sugar_bounded true typ (ATyp_aux(ATyp_constant(0),Unknown)) typ1
+  let sub_one = match typ1 with
+    | ATyp_aux(ATyp_constant t,l) -> ATyp_aux(ATyp_constant (t-1),l)
+    | ATyp_aux(_, l) -> ATyp_aux (ATyp_sum (typ1,
+    ATyp_aux(ATyp_neg(ATyp_aux(ATyp_constant 1,Unknown)), Unknown)), l) in
+  make_vector_sugar_bounded true typ (ATyp_aux(ATyp_constant(0),Unknown)) sub_one
 
 %}
 
-- 
cgit v1.2.3