diff options
| author | johnvg | 2012-06-11 12:27:45 +0000 |
|---|---|---|
| committer | johnvg | 2012-06-11 12:27:45 +0000 |
| commit | 4631dd72ea4b0ab6ea7f5574c88fbb5be018db3c (patch) | |
| tree | 1b017518b77265eb03dd2f9e6ced3074f2853cb8 | |
| parent | fix function InstantiateExp2, prevent crash (diff) | |
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
| -rw-r--r-- | frontend/classify.icl | 7 |
1 files changed, 1 insertions, 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 |