@@ -21,8 +21,8 @@ unify :: Error.Hint -> R.Region -> Variable -> Variable -> TS.Solver ()
21unify hint region expected actual =
21unify hint region expected actual =
22 do result <- runExceptT (guardedUnify ExpectedActual expected actual)
22 do result <- runExceptT (guardedUnify ExpectedActual expected actual)
23 case result of
23 case result of
24− Right state ->
24+ Right () ->
25− return state
25+ return ()
27 Left (Mismatch maybeReason) ->
27 Left (Mismatch maybeReason) ->