@@ -109,12 +109,6 @@ par : Lazy a -> a -- Doesn't actually do anything yet. Maybe a 'Par a' type
109109 -- is better in any case?
110110par (Delay x) = x
111111
112−malloc : Int -> a -> a
113−malloc size x = x -- compiled specially
114−
115−trace_malloc : a -> a
116−trace_malloc x = x -- compiled specially
117−
118112||| Assert to the totality checker than y is always structurally smaller than
119113||| x (which is typically a pattern argument)
120114||| @ x the larger value (typically a pattern argument)