ehmry/dhall-haskell
ehmry
/
dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update reservedIdentifiers (#1473) 

* Add `missing` and `assert`
* Reformat them to match the grammar
This commit is contained in:
Simon Jakobi 2019-10-30 13:31:30 +01:00 committed by mergify[bot]
parent 2a8735c202
commit 343e64e0ce
1 changed files with 32 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
dhall/src/Dhall/Syntax.hs
View File

@ -1146,23 +1146,24 @@ shallowDenote e = e
reservedIdentifiers :: HashSet Text
reservedIdentifiers =
Data.HashSet.fromList
[ "let"
, "in"
, "Type"
, "Kind"
, "Sort"
, "forall"
, "Bool"
, "True"
, "False"
, "merge"
, "toMap"
, "if"
[ -- Keywords according to the `keyword` rule in the grammar
"if"
, "then"
, "else"
, "as"
, "let"
, "in"
, "using"
, "Natural"
, "missing"
, "as"
, "Infinity"
, "NaN"
, "merge"
, "Some"
, "toMap"
, "assert"
, "forall"
-- Builtins according to the `builtin` rule in the grammar
, "Natural/fold"
, "Natural/build"
, "Natural/isZero"
@ -1176,11 +1177,9 @@ reservedIdentifiers =
, "Integer/negate"
, "Integer/show"
, "Integer/toDouble"
, "Double"
, "Integer/show"
, "Natural/subtract"
, "Double/show"
, "Text"
, "Text/show"
, "List"
, "List/build"
, "List/fold"
, "List/length"
@ -1188,11 +1187,20 @@ reservedIdentifiers =
, "List/last"
, "List/indexed"
, "List/reverse"
, "Optional"
, "Some"
, "None"
, "Optional/build"
, "Optional/fold"
, "NaN"
, "Infinity"
, "Optional/build"
, "Text/show"
, "Bool"
, "True"
, "False"
, "Optional"
, "None"
, "Natural"
, "Integer"
, "Double"
, "Text"
, "List"
, "Type"
, "Kind"
, "Sort"
]