Commit 5d134622 authored by John van Groningen's avatar John van Groningen
Browse files

make RefCount array elements strict, to prevent a space leak of unify thunks

parent 91f24e8e
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment