From 30c272bfe9713ae42805ab18544eede1ef55021b Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 23 Jul 2001 11:50:49 +0000
Subject: use halt instead of abort to prevent strictness in 'a'

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/general.icl | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'frontend/general.icl')

diff --git a/frontend/general.icl b/frontend/general.icl
index d5669db..5b3bb1a 100644
--- a/frontend/general.icl
+++ b/frontend/general.icl
@@ -51,14 +51,14 @@ where
 (--->) val message
 	| file_to_true (stderr <<< message <<< '\n')
 		= val
-		= abort "Internal error in --->"
+		= halt
 
 (-?->) infix :: .a !(!Bool, !b) -> .a | <<< b
 (-?->) val (cond, message)  
 	| cond
 		| file_to_true (stderr <<< message <<< '\n')
 			= val
-      		= abort "Internal error in --->"
+			= halt
 		= val
 
 file_to_true :: !File -> Bool
@@ -69,6 +69,11 @@ file_to_true file = code {
   .end
   }
 
+halt :: .a
+halt = code {
+	halt
+ }
+
 instance + {#Char}
 where
 	(+) s t = s +++ t
-- 
cgit v1.2.3