From 4c712104db3a178fd8316a2bb36f2f241f249d2d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 29 Jun 2017 18:34:51 +0100
Subject: Created prelude.sail for initial typing environment

Other things:

* Cleaned up several files a bit

* Fixed a bug in the parser where (deinfix |) got parsed as (definfix ||)

* Turned of the irritating auto-indent in sail-mode.el
---
 test/typecheck/pass/vector_subrange_gen.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/vector_subrange_gen.sail b/test/typecheck/pass/vector_subrange_gen.sail
index 5c48db77..8857bd18 100644
--- a/test/typecheck/pass/vector_subrange_gen.sail
+++ b/test/typecheck/pass/vector_subrange_gen.sail
@@ -11,7 +11,7 @@ val forall Nat 'n, Nat 'm. ([:'n:], [:'m:]) -> [:'n - 'm:] effect pure minus
 default Order inc
 
 val forall 'n, 'm, 'n >= 5. bit['n] -> bit['n - 2] effect pure test
-    
+
 function forall 'n, 'n >= 5. bit['n - 2] test v =
 {
   z := vector_subrange(v, 0, minus(sizeof 'n, 2));
-- 
cgit v1.2.3