Minor update for recent AST changes
commit71ee7d2ca96bf1a5c8c89b59a458724f0400702d
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateFri 12 Jan 2018, 16:01 (9 years ago)
parent557d518
src/Type/Constrain/Pattern.hs+1−1
@@ -61,7 +61,7 @@ add (A.At region pattern) expectation state =
6161 Can.PTuple a b maybeC ->
6262 addTuple region a b maybeC expectation state
6363
64− Can.PCtor home typeName typeVars _ ctorName _ args ->
64+ Can.PCtor home typeName (Can.Union typeVars _ _ _) ctorName _ args ->
6565 addCtor region home typeName typeVars ctorName args expectation state
6666
6767 Can.PList patterns ->