git.iko.soy/elk
on master help sign in
Minor edits for DeclareRec change (guaranteeing one Def)
commit5f1d0f56a533f1bfef854ddc52efcc55e6fbd40b authorEvan Czaplicki <evancz@users.noreply.github.com> dateSun 24 Mar 2019, 15:35 (8 years ago) parentc5e2ff5
2 files changed+4−4
compare with master
unifiedsplit
compiler/src/Nitpick/PatternMatches.hs+2−2 compiler/src/Type/Constrain/Module.hs+2−2
compiler/src/Nitpick/PatternMatches.hs+2−2
@@ -222,8 +222,8 @@ checkDecls decls errors =
222222 Can.Declare def subDecls ->
223223 checkDef def $ checkDecls subDecls errors
224224
225− Can.DeclareRec defs subDecls ->
226− foldr checkDef (checkDecls subDecls errors) defs
225+ Can.DeclareRec def defs subDecls ->
226+ checkDef def (foldr checkDef (checkDecls subDecls errors) defs)
227227
228228 Can.SaveTheEnvironment ->
229229 errors
compiler/src/Type/Constrain/Module.hs+2−2
@@ -57,8 +57,8 @@ constrainDecls decls finalConstraint =
5757 Can.Declare def otherDecls ->
5858 Expr.constrainDef Map.empty def =<< constrainDecls otherDecls finalConstraint
5959
60− Can.DeclareRec defs otherDecls ->
61− Expr.constrainRecursiveDefs Map.empty defs =<< constrainDecls otherDecls finalConstraint
60+ Can.DeclareRec def defs otherDecls ->
61+ Expr.constrainRecursiveDefs Map.empty (def:defs) =<< constrainDecls otherDecls finalConstraint
6262
6363 Can.SaveTheEnvironment ->
6464 return finalConstraint