summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/lib.rs11
-rw-r--r--src/main.rs19
2 files changed, 13 insertions, 17 deletions
diff --git a/src/lib.rs b/src/lib.rs
new file mode 100644
index 0000000..8f82c61
--- /dev/null
+++ b/src/lib.rs
@@ -0,0 +1,11 @@
+#![feature(box_patterns)]
+
+pub mod context;
+mod core;
+pub use crate::core::*;
+use lalrpop_util::lalrpop_mod;
+lalrpop_mod!(pub grammar); // synthesized by LALRPOP
+mod grammar_util;
+pub mod lexer;
+pub mod parser;
+pub mod typecheck;
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;