git.iko.soy/Idris-dev
on master help sign in
Reserved words
6414924Edwin Brady
src/Idris/Parser.hs+2−1
compare with master
unifiedsplit
@@ -18,7 +18,8 @@ idrisDef = haskellDef {
18 reservedOpNames = [":", "..", "=", "\\", "|", "<-", "->", "=>"],
18 reservedOpNames = [":", "..", "=", "\\", "|", "<-", "->", "=>"],
19 reservedNames = ["let", "in", "data", "Set", "if", "then", "else",
19 reservedNames = ["let", "in", "data", "Set", "if", "then", "else",
20 "do", "dsl", "import", "infix", "infixl", "infixr",
20 "do", "dsl", "import", "infix", "infixl", "infixr",
21− "where", "forall"]
21+ "where", "forall", "syntax",
22+ "using", "params", "namespace"]
22 }
23 }
23
24
24lexer :: TokenParser ()
25lexer :: TokenParser ()