8c909ea · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Make 'parameters' a keyword such that parameters block doesn't parse as

a function declaration. Fixes idris-lang/Idris-dev#546 .

commit8c909eaceb9b8cc6831d16fc2f5ee621cc4c8edf authorAhmad Salim Al-Sibahi <asal@itu.dk> dateMon 21 Oct 2013, 19:32 (13 years ago) parent8fc6d12

1 file changed+1−1

unifiedsplit

src/Idris/ParseHelpers.hs+1−1

@@ -152,7 +152,7 @@ idrisStyle = IdentifierStyle _styleName _styleStart _styleLetter _styleReserved

152152 "case", "of", "total", "partial", "mutual",

153153 "infix", "infixl", "infixr", "rewrite",

154154 "where", "with", "syntax", "proof", "postulate",

155− "using", "namespace", "class", "instance",

155+ "using", "namespace", "class", "instance", "parameters",

156156 "public", "private", "abstract", "implicit",

157157 "quoteGoal",

158158 "Int", "Integer", "Float", "Char", "String", "Ptr",