summaryrefslogtreecommitdiff
path: root/src/main.rs
diff options
context:
space:
mode:
authorNadrieril2019-02-27 19:31:19 +0100
committerNadrieril2019-02-27 19:31:19 +0100
commit8680920be83ecff0aaf6472b78599bb9108272a7 (patch)
tree6f0d93c31bb7ee00acccd620248025d9d79754e9 /src/main.rs
parent849a1e59a9cd1fbd91a4fa64b027d720ff63ff2c (diff)
Add one test from the spec
Diffstat (limited to 'src/main.rs')
-rw-r--r--src/main.rs19
1 files changed, 2 insertions, 17 deletions
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;