1 files changed, 34 insertions, 0 deletions
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());
+}