@@ -82,9 +82,9 @@ solver :: [Context Constraint]
82 -> GuidCounter (Either String (Map.Map X Type))
82 -> GuidCounter (Either String (Map.Map X Type))
83solver [] subs = return $ Right subs
83solver [] subs = return $ Right subs
84solver (C txt span c : cs) subs =
84solver (C txt span c : cs) subs =
85− let ctx = C txt span in
85+ let ctx = C txt span
86− let eq t1 t2 = ctx (t1 :=: t2) in
86+ eq t1 t2 = ctx (t1 :=: t2)
87− case c of
87+ in case c of
88 -- Destruct Type-constructors
88 -- Destruct Type-constructors
89 t1@(ADT n1 ts1) :=: t2@(ADT n2 ts2) ->
89 t1@(ADT n1 ts1) :=: t2@(ADT n2 ts2) ->
90 if n1 /= n2 then uniError txt span t1 t2 else
90 if n1 /= n2 then uniError txt span t1 t2 else