From e3813e7d4e3450704c1213fd6cdff7c801ccbc34 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 23:48:32 +0100
Subject: Finally get rid of old parser

---
 dhall/src/main.rs | 30 ++----------------------------
 1 file changed, 2 insertions(+), 28 deletions(-)

(limited to 'dhall/src/main.rs')

diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index 43d03ce..493f9be 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -57,36 +57,10 @@ fn print_error(message: &str, source: &str, start: usize, end: usize) {
 fn main() {
     let mut buffer = String::new();
     io::stdin().read_to_string(&mut buffer).unwrap();
-    let expr = match parser::parse_expr_lalrpop(&buffer) {
+    let expr = match parser::parse_expr(&buffer) {
         Ok(e) => e,
-        Err(lalrpop_util::ParseError::User {
-            error: lexer::LexicalError::Error(pos, e),
-        }) => {
-            print_error(
-                &format!("Unexpected token {:?}", e),
-                &buffer,
-                pos,
-                pos,
-            );
-            return;
-        }
-        Err(lalrpop_util::ParseError::UnrecognizedToken {
-            token: Some((start, t, end)),
-            expected: e,
-        }) => {
-            print_error(
-                &format!("Unrecognized token {:?}", t),
-                &buffer,
-                start,
-                end,
-            );
-            if !e.is_empty() {
-                println!("Expected {:?}", e);
-            }
-            return;
-        }
         Err(e) => {
-            print_error(&format!("Parser error {:?}", e), &buffer, 0, 0);
+            print_error(&format!("Parse error {}", e), &buffer, 0, 0);
             return;
         }
     };
-- 
cgit v1.2.3