From d6240a4b184cac1fbf61ab35f9f3813efb780d31 Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Tue, 6 Dec 2016 09:10:15 +0000
Subject: Initial commit

---
 src/parser.rs | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 src/parser.rs

(limited to 'src/parser.rs')

diff --git a/src/parser.rs b/src/parser.rs
new file mode 100644
index 0000000..1561230
--- /dev/null
+++ b/src/parser.rs
@@ -0,0 +1,34 @@
+use lalrpop_util;
+
+use grammar;
+use grammar_util::BoxExpr;
+use lexer::{Lexer, LexicalError, Tok};
+
+pub type ParseError = lalrpop_util::ParseError<usize, Tok, LexicalError>;
+
+fn parse_expr(s: &str) -> Result<BoxExpr, ParseError>  {
+    grammar::parse_Expr(Lexer::new(s))
+}
+
+#[test]
+fn test_parse() {
+    use core::Expr::*;
+    println!("test {:?}", parse_expr("+3 + +5 * +10"));
+    assert!(parse_expr("22").is_ok());
+    assert!(parse_expr("(22)").is_ok());
+    assert_eq!(parse_expr("+3 + +5 * +10").ok(),
+               Some(Box::new(NaturalPlus(Box::new(NaturalLit(3)),
+                                Box::new(NaturalTimes(Box::new(NaturalLit(5)),
+                                                      Box::new(NaturalLit(10))))))));
+    // The original parser is apparently right-associative
+    assert_eq!(parse_expr("+2 * +3 * +4").ok(),
+               Some(Box::new(NaturalTimes(Box::new(NaturalLit(2)),
+                                 Box::new(NaturalTimes(Box::new(NaturalLit(3)),
+                                                       Box::new(NaturalLit(4))))))));
+    assert!(parse_expr("((((22))))").is_ok());
+    assert!(parse_expr("((22)").is_err());
+    println!("{:?}", parse_expr("\\(b : Bool) -> b == False"));
+    assert!(parse_expr("\\(b : Bool) -> b == False").is_ok());
+    println!("{:?}", parse_expr("foo.bar"));
+    assert!(parse_expr("foo.bar").is_ok());
+}
-- 
cgit v1.2.3