@@ -176,7 +176,6 @@ constrain env (L _ _ expr) tipe =
176176 (CLet [Scheme rqs fqs (CLet [monoscheme header] c2) header ]
177177 (c1 /\ c))
178178
179−
180179constrainDef env info (pattern, expr, maybeTipe) =
181180 let qs = [] -- should come from the def, but I'm not sure what would live there...
182181 (schemes, rigidQuantifiers, flexibleQuantifiers, headers, c2, c1) = info
@@ -242,4 +241,3 @@ collapseDefs = concatMap expandPattern . go [] Map.empty Map.empty
242241 go ((pattern, body, Nothing) : output) defs typs ds
243242 TypeAnnotation name typ ->
244243 go output defs (Map.insert name typ typs) ds
245−--}