git.iko.soy/Idris-dev
on master help sign in
Merge pull request #554 from ahmadsalim/feature/fixparameters
8de8637Edwin Brady
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",