on master help sign in
Do not need to give expectedName when def names don't match

It is already stored higher up in the error, specifying the definition that is being parsed at the moment.

commit90f1d3840cd946ef38d989db306620da8ceceb1c authorEvan Czaplicki <evancz@users.noreply.github.com> dateFri 3 May 2019, 17:06 (7 years ago) parent3e8e457
1 file changed+3−3
compiler/src/Parse/Declaration.hs+3−3
compiler/src/Parse/Declaration.hs+3−3
@@ -108,19 +108,19 @@ chompDefArgsAndBody maybeDocs start name tipe revArgs =
108108chompMatchingName :: Name.Name -> Parser E.DeclDef (A.Located Name.Name)
109109chompMatchingName expectedName =
110110 let
111− (P.Parser parserL) = Var.lower (E.DeclDefNameRepeat expectedName)
111+ (P.Parser parserL) = Var.lower E.DeclDefNameRepeat
112112 in
113113 P.Parser $ \state@(P.State _ _ _ sr sc) cok eok cerr eerr ->
114114 let
115115 cokL name newState@(P.State _ _ _ er ec) =
116116 if expectedName == name
117117 then cok (A.At (A.Region (A.Position sr sc) (A.Position er ec)) name) newState
118− else cerr sr sc (E.DeclDefNameMatch expectedName name)
118+ else cerr sr sc (E.DeclDefNameMatch name)
119119
120120 eokL name newState@(P.State _ _ _ er ec) =
121121 if expectedName == name
122122 then eok (A.At (A.Region (A.Position sr sc) (A.Position er ec)) name) newState
123− else eerr sr sc (E.DeclDefNameMatch expectedName name)
123+ else eerr sr sc (E.DeclDefNameMatch name)
124124 in
125125 parserL state cokL eokL cerr eerr
126126