From 81999c73611b1b21745aeebb0d22c27e5579f905 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 15 Dec 2003 15:25:46 +0000
Subject: add foreign export

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

(limited to 'frontend/containers.icl')

diff --git a/frontend/containers.icl b/frontend/containers.icl
index fae67f1..eaaa08c 100644
--- a/frontend/containers.icl
+++ b/frontend/containers.icl
@@ -326,6 +326,24 @@ append_strictness strictness (Strict s)
 append_strictness strictness (StrictList s l)
 	= StrictList s (append_strictness strictness l)
 
+first_n_are_strict :: !Int !StrictnessList -> Bool
+first_n_are_strict 0 _
+	= True
+first_n_are_strict n NotStrict
+	= False
+first_n_are_strict n (Strict s)
+	| n>32
+		= False
+	| n==32
+		= s==0xffffffff
+		# m=(1<<n)-1
+		= s bitand m==m
+first_n_are_strict n (StrictList s l)
+	| n>=32
+		= s==0xffffffff && first_n_are_strict (n-32) l
+		# m=(1<<n)-1
+		= s bitand m==m
+
 screw :== 80
 
 :: IntKey :== Int
-- 
cgit v1.2.3