diff options
| author | Nadrieril | 2019-02-27 20:39:29 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-02-27 20:39:29 +0100 |
| commit | 2c00699d217e0a54d44678529fa3d87936071fec (patch) | |
| tree | b01bce29b06c71f50bbc8a2ce8beb127f7ed5bb2 /src/lexer.rs | |
| parent | 8680920be83ecff0aaf6472b78599bb9108272a7 (diff) | |
Add Natural/Show builtin
Diffstat (limited to 'src/lexer.rs')
| -rw-r--r-- | src/lexer.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lexer.rs b/src/lexer.rs index 32e6abe..5b4dcaa 100644 --- a/src/lexer.rs +++ b/src/lexer.rs @@ -214,6 +214,7 @@ named!(builtin<&str, Builtin>, alt!( value!(Builtin::Value(NaturalIsZero), ident_tag!("Natural/isZero")) | value!(Builtin::Value(NaturalEven), ident_tag!("Natural/even")) | value!(Builtin::Value(NaturalOdd), ident_tag!("Natural/odd")) | + value!(Builtin::Value(NaturalShow), ident_tag!("Natural/show")) | value!(Builtin::Type(Natural), ident_tag!("Natural")) | value!(Builtin::Type(Integer), ident_tag!("Integer")) | value!(Builtin::Type(Double), ident_tag!("Double")) | |