git.iko.soy/elk
on master help sign in
cosmetic: shuffle declarations to make it read better
2e58494Evan Czaplicki
src/Type/Constrain/Pattern.hs+18−18
compare with master
unifiedsplit
@@ -151,6 +151,24 @@ addConstraints env context (A.A region pattern) tipe info =
151
151
152
152
153
153
154+-- CONSTRAIN CONSTRUCTORS
155+
156+
157+addCtorConstraint :: Env -> N.Name -> Info -> (Int, Type, Can.Pattern) -> IO Info
158+addCtorConstraint env name info (index, argType, argPattern) =
159+ addConstraints env (Error.PatternArg name index) argPattern argType info
160+
161+
162+
163+-- CONSTRAIN LIST
164+
165+
166+addListConstraint :: Env -> Type -> Info -> (Can.Pattern, Int) -> IO Info
167+addListConstraint env tipe info (pattern, index) =
168+ addConstraints env (Error.PatternList index) pattern tipe info
169+
170+
171+
154-- CONSTRAIN TUPLE
172-- CONSTRAIN TUPLE
155
173
156
174
@@ -188,21 +206,3 @@ addTupleConstraint env context region a b maybeC tipe (Info headers vars revCons
188 addCon c cVarN =<<
206 addCon c cVarN =<<
189 addCon b bVarN =<<
207 addCon b bVarN =<<
190 addCon a aVarN (Info headers newVars (tupleCon:revCons))
208 addCon a aVarN (Info headers newVars (tupleCon:revCons))
191−
192−
193−
194−-- CONSTRAIN CONSTRUCTORS
195−
196−
197−addCtorConstraint :: Env -> N.Name -> Info -> (Int, Type, Can.Pattern) -> IO Info
198−addCtorConstraint env name info (index, argType, argPattern) =
199− addConstraints env (Error.PatternArg name index) argPattern argType info
200−
201−
202−
203−-- CONSTRAIN LIST
204−
205−
206−addListConstraint :: Env -> Type -> Info -> (Can.Pattern, Int) -> IO Info
207−addListConstraint env tipe info (pattern, index) =
208− addConstraints env (Error.PatternList index) pattern tipe info