From 68ba63632a740c4e81f0cf73792349b037364a4a Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 21 Dec 2007 12:30:23 +0000
Subject: don't mark strict and unboxed arrays as hyperstrict (causes incorrect
 observation typeing)

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

(limited to 'frontend')

diff --git a/frontend/predef.icl b/frontend/predef.icl
index 9419cc9..dd299d0 100644
--- a/frontend/predef.icl
+++ b/frontend/predef.icl
@@ -533,8 +533,8 @@ buildPredefinedModule support_dynamics pre_def_symbols
 		= make_list_definition PD_OverloadedListType PD_OverloadedConsSymbol PD_OverloadedNilSymbol pre_mod_ident type_var type_var_with_attr NotStrict pre_def_symbols
 
 	  (array_def, pre_def_symbols)		= make_type_def PD_LazyArrayType [type_var] (AbstractType cAllBitsClear) pre_def_symbols
-	  (strict_def, pre_def_symbols)		= make_type_def PD_StrictArrayType [type_var] (AbstractType cIsHyperStrict) pre_def_symbols
-	  (unboxed_def, pre_def_symbols)	= make_type_def PD_UnboxedArrayType [type_var] (AbstractType cIsHyperStrict) pre_def_symbols
+	  (strict_def, pre_def_symbols)		= make_type_def PD_StrictArrayType [type_var] (AbstractType cAllBitsClear) pre_def_symbols
+	  (unboxed_def, pre_def_symbols)	= make_type_def PD_UnboxedArrayType [type_var] (AbstractType cAllBitsClear) pre_def_symbols
 
 	  (type_defs, cons_defs, pre_def_symbols)	= add_tuple_defs pre_mod_ident MaxTupleArity [array_def,strict_def,unboxed_def] [] pre_def_symbols
 	  alias_dummy_type = make_identity_fun_type alias_dummy_ident type_var
-- 
cgit v1.2.3