git.iko.soy/elk
on master help sign in
Minor update for recent AST changes
71ee7d2Evan Czaplicki
src/Type/Constrain/Pattern.hs+1−1
compare with master
unifiedsplit
@@ -61,7 +61,7 @@ add (A.At region pattern) expectation state =
61 Can.PTuple a b maybeC ->
61 Can.PTuple a b maybeC ->
62 addTuple region a b maybeC expectation state
62 addTuple region a b maybeC expectation state
63
63
64− Can.PCtor home typeName typeVars _ ctorName _ args ->
64+ Can.PCtor home typeName (Can.Union typeVars _ _ _) ctorName _ args ->
65 addCtor region home typeName typeVars ctorName args expectation state
65 addCtor region home typeName typeVars ctorName args expectation state
66
66
67 Can.PList patterns ->
67 Can.PList patterns ->