From 2c00699d217e0a54d44678529fa3d87936071fec Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 27 Feb 2019 20:39:29 +0100
Subject: Add Natural/Show builtin

---
 src/lexer.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/lexer.rs')

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")) |
-- 
cgit v1.2.3