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