From 22a5eac0bfb22bfe27973c78ef0e8a9b418ee844 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 28 Feb 2019 19:18:04 +0100
Subject: Start rewriting parser in pest

---
 src/parser.rs | 60 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)

(limited to 'src/parser.rs')

diff --git a/src/parser.rs b/src/parser.rs
index 8416d9b..a0281f4 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -3,6 +3,7 @@ use lalrpop_util;
 use crate::grammar;
 use crate::grammar_util::BoxExpr;
 use crate::lexer::{Lexer, LexicalError, Tok};
+use crate::core::{bx, Expr};
 
 pub type ParseError<'i> = lalrpop_util::ParseError<usize, Tok<'i>, LexicalError>;
 
@@ -10,9 +11,64 @@ pub fn parse_expr(s: &str) -> Result<BoxExpr, ParseError>  {
     grammar::ExprParser::new().parse(Lexer::new(s))
 }
 
+use pest::Parser;
+use pest::error::Error;
+use pest_derive::*;
+
+#[derive(Parser)]
+#[grammar = "dhall.pest"]
+struct DhallParser;
+
+use pest::iterators::Pair;
+fn debug_pair(pair: Pair<Rule>) {
+    fn aux(indent: usize, pair: Pair<Rule>) {
+        let indent_str = "| ".repeat(indent);
+        println!(r#"{}{:?}: "{}""#, indent_str, pair.as_rule(), pair.as_str());
+        for p in pair.into_inner() {
+            aux(indent+1, p);
+        }
+    }
+    aux(0, pair)
+}
+
+pub fn parse_expr_pest(s: &str) -> Result<BoxExpr, Error<Rule>>  {
+    let parsed_expr = DhallParser::parse(Rule::complete_expression, s)?.next().unwrap();
+    debug_pair(parsed_expr.clone());
+    // println!("{}", parsed_expr.clone());
+
+    fn parse_pair(pair: Pair<Rule>) -> BoxExpr {
+        match pair.as_rule() {
+            Rule::natural_literal => bx(Expr::NaturalLit(str::parse(pair.as_str().trim()).unwrap())),
+            Rule::plus_expression => {
+                let mut inner = pair.into_inner().map(parse_pair);
+                let first_expr = inner.next().unwrap();
+                inner.fold(first_expr, |acc, e| bx(Expr::NaturalPlus(acc, e)))
+            }
+            Rule::times_expression => {
+                let mut inner = pair.into_inner().map(parse_pair);
+                let first_expr = inner.next().unwrap();
+                inner.fold(first_expr, |acc, e| bx(Expr::NaturalTimes(acc, e)))
+            }
+            r => panic!("{:?}", r),
+        }
+    }
+
+    Ok(parse_pair(parsed_expr))
+}
+
+
 #[test]
 fn test_parse() {
     use crate::core::Expr::*;
+    let expr = "((22 + 3) * 10)";
+    match parse_expr_pest(expr) {
+        Err(e) => println!("{}", e),
+        ok => println!("{:?}", ok),
+    }
+    println!("{:?}", parse_expr(expr));
+    assert_eq!(parse_expr_pest(expr).unwrap(), parse_expr(expr).unwrap());
+    assert!(false);
+
     println!("test {:?}", parse_expr("3 + 5 * 10"));
     assert!(parse_expr("22").is_ok());
     assert!(parse_expr("(22)").is_ok());
@@ -32,4 +88,8 @@ fn test_parse() {
     println!("{:?}", parse_expr("foo.bar"));
     assert!(parse_expr("foo.bar").is_ok());
     assert!(parse_expr("[] : List Bool").is_ok());
+
+    // println!("{:?}", parse_expr("< Left = True | Right : Natural >"));
+    // println!("{:?}", parse_expr(r#""bl${42}ah""#));
+    // assert!(parse_expr("< Left = True | Right : Natural >").is_ok());
 }
-- 
cgit v1.2.3