From 8680920be83ecff0aaf6472b78599bb9108272a7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 27 Feb 2019 19:31:19 +0100
Subject: Add one test from the spec

---
 src/main.rs | 19 ++-----------------
 1 file changed, 2 insertions(+), 17 deletions(-)

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index 22a4c3b..cdab3c0 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,24 +1,9 @@
-#![feature(box_patterns)]
-
-use bytecount;
-use lalrpop_util;
-use lalrpop_util::lalrpop_mod;
-use term_painter;
-
-pub mod context;
-mod core;
-pub use crate::core::*;
-lalrpop_mod!(pub grammar); // synthesized by LALRPOP
-mod grammar_util;
-pub mod lexer;
-pub mod parser;
-pub mod typecheck;
-
 use std::io::{self, Read};
 use std::error::Error;
-
 use term_painter::ToStyle;
 
+use dhall::*;
+
 const ERROR_STYLE: term_painter::Color = term_painter::Color::Red;
 const BOLD: term_painter::Attr = term_painter::Attr::Bold;
 
-- 
cgit v1.2.3