summaryrefslogtreecommitdiff
path: root/src/lexer.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/lexer.rs1
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")) |