diff options
| -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 |