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