balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

The only reserved name now is "args", for the backends' sake.

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-03-28 09:21:32 +01:00
parent 01128b6518
commit 98cf3a689d
No known key found for this signature in database
GPG Key ID: 9446816CFD267040
1 changed files with 1 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
src/ligo/ligo-parser/LexToken.mll
View File

@ -387,45 +387,7 @@ let keywords = [
let reserved =
let open SSet in
empty |> add "as"
|> add "asr"
|> add "assert"
|> add "class"
|> add "constraint"
|> add "do"
|> add "done"
|> add "downto"
|> add "exception"
|> add "external"
|> add "false"
|> add "fun"
|> add "functor"
|> add "include"
|> add "inherit"
|> add "initializer"
|> add "land"
|> add "lazy"
|> add "let"
|> add "lor"
|> add "lsl"
|> add "lsr"
|> add "lxor"
|> add "method"
|> add "module"
|> add "mutable"
|> add "new"
|> add "nonrec"
|> add "object"
|> add "open"
|> add "private"
|> add "rec"
|> add "sig"
|> add "struct"
|> add "true"
|> add "try"
|> add "val"
|> add "virtual"
|> add "when"
empty |> add "args"
let constructors = [
(fun reg -> C_False reg);