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