From dbf09ba3d706db3e7b121d11a42a6f193a0f4291 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 2 Aug 2017 16:04:38 +0100
Subject: Tune vector_subrange

---
 test/typecheck/pass/vec_pat1.sail | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/vec_pat1.sail b/test/typecheck/pass/vec_pat1.sail
index 0a79d701..95c8880e 100644
--- a/test/typecheck/pass/vec_pat1.sail
+++ b/test/typecheck/pass/vec_pat1.sail
@@ -2,6 +2,9 @@ default Order inc
 
 val extern forall Num 'n. (bit['n], bit['n]) -> bit['n] effect pure bv_add = "bv_add_inc"
 
+val forall Num 'n, Num 'l, Num 'm, Num 'o, Type 'a, 'l >= 0, 'm <= 'o, 'o <= 'l.
+  (vector<'n,'l,inc,'a>, [:'m:], [:'o:]) -> vector<'m,'o + 1 - 'm,inc,'a> effect pure vector_subrange
+
 val forall Num 'n, Num 'm, Num 'o, Num 'p, Type 'a.
   (vector<'n,'m,inc,'a>, vector<'o,'p,inc,'a>) -> vector<'n,'m + 'p,inc,'a>
   effect pure vector_append_inc
-- 
cgit v1.2.3