From 01a00735db79d4dde665f4a3a3ae7d777664510a Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 18 Mar 2019 15:37:23 +0000
Subject: Add non-negative constraints for zeros/ones

---
 lib/vector_dec.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail
index 7d85dcc5..746d29c6 100644
--- a/lib/vector_dec.sail
+++ b/lib/vector_dec.sail
@@ -166,9 +166,9 @@ val sail_shiftright = "shiftr" : forall 'n ('ord : Order).
 val sail_arith_shiftright = "arith_shiftr" : forall 'n ('ord : Order).
     (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure
 
-val sail_zeros = "zeros" : forall 'n. atom('n) -> bits('n)
+val sail_zeros = "zeros" : forall 'n, 'n >= 0. atom('n) -> bits('n)
 
-val sail_ones : forall 'n. atom('n) -> bits('n)
+val sail_ones : forall 'n, 'n >= 0. atom('n) -> bits('n)
 
 function sail_ones(n) = not_vec(sail_zeros(n))
 
-- 
cgit v1.2.3