Fix #964, type variable escaping constraints
commitd5d6028dd9c7389c9987894588cfe26afe72296e
authorEvan Czaplicki <info@elm-lang.org>
dateWed 10 Jun 2015, 12:32 (11 years ago)
parent54dae77
src/Type/Constrain/Expression.hs+1−1
@@ -98,7 +98,7 @@ constrain env (A.A region expression) tipe =
9898 argVar' <- variable Flexible
9999 resultVar <- variable Flexible
100100
101− return $ ex [argVar,argVar',resultVar] $ CAnd $
101+ return $ ex [funcVar, argVar, argVar', resultVar] $ CAnd $
102102 [ argCon
103103 , funcCon
104104 , CEqual (Error.ExtraArgument funcRegion) region