Capture result of guardedUnify more clearly
commitd00bed91b0adb5d29ec80888bc58dee5dd62b4bf
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 8 Aug 2016, 12:51 (10 years ago)
parent1038b75
src/Type/Unify.hs+2−2
@@ -21,8 +21,8 @@ unify :: Error.Hint -> R.Region -> Variable -> Variable -> TS.Solver ()
2121unify hint region expected actual =
2222 do result <- runExceptT (guardedUnify ExpectedActual expected actual)
2323 case result of
24− Right state ->
25− return state
24+ Right () ->
25+ return ()
2626
2727 Left (Mismatch maybeReason) ->
2828 let