From 4631dd72ea4b0ab6ea7f5574c88fbb5be018db3c Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 11 Jun 2012 12:27:45 +0000
Subject: make RefCount array elements strict, to prevent a space leak of unify
 thunks

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

diff --git a/frontend/classify.icl b/frontend/classify.icl
index 573e35a..b009dfb 100644
--- a/frontend/classify.icl
+++ b/frontend/classify.icl
@@ -95,14 +95,9 @@ where
 
 //@ Consumer Analysis datatypes...
 
-:: RefCounts
-//	:== {#RefCount}
-	:== {RefCount}
+:: RefCounts :== {!RefCount}
 
 :: RefCount	
-//	:== Int
-//	= RC !Int
-//	= RC !Int [[(!FunIndex,!ArgIndex)]]  // (fun_index,arg_index)
 	= Par !Int !.[!.RefCount!]
 	| Seq !Int !.[!.RefCount!]
 	| Dep !FunIndex !ArgIndex
-- 
cgit v1.2.3