cosmetic: get rid of a `let` and inline the value
commit8a688145f8d12d6a92635d08d635ed02e3640c94
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 2 Apr 2018, 16:54 (9 years ago)
parent66b6726
compiler/src/Type/Constrain/Expression.hs+1−2
@@ -198,14 +198,13 @@ constrainCall rtv region func@(A.At funcRegion _) args expected =
198198
199199 let arityType = foldr FunN resultType argTypes
200200 let category = CallResult maybeName
201− let resultCon = CEqual region category resultType expected
202201
203202 return $ exists (funcVar:resultVar:argVars) $
204203 CAnd
205204 [ funcCon
206205 , CEqual funcRegion category funcType (FromContext region (CallArity maybeName (length args)) arityType)
207206 , CAnd argCons
208− , resultCon
207+ , CEqual region category resultType expected
209208 ]
210209
211210