git.iko.soy/Idris-dev
on master help sign in
Make 'parameters' a keyword such that parameters block doesn't parse as
8c909eaAhmad Salim Al-Sibahi
src/Idris/ParseHelpers.hs+1−1
compare with master
unifiedsplit
@@ -152,7 +152,7 @@ idrisStyle = IdentifierStyle _styleName _styleStart _styleLetter _styleReserved
152 "case", "of", "total", "partial", "mutual",
152 "case", "of", "total", "partial", "mutual",
153 "infix", "infixl", "infixr", "rewrite",
153 "infix", "infixl", "infixr", "rewrite",
154 "where", "with", "syntax", "proof", "postulate",
154 "where", "with", "syntax", "proof", "postulate",
155− "using", "namespace", "class", "instance",
155+ "using", "namespace", "class", "instance", "parameters",
156 "public", "private", "abstract", "implicit",
156 "public", "private", "abstract", "implicit",
157 "quoteGoal",
157 "quoteGoal",
158 "Int", "Integer", "Float", "Char", "String", "Ptr",
158 "Int", "Integer", "Float", "Char", "String", "Ptr",