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/lib.rs | 11 +++++++++++ src/main.rs | 19 ++----------------- 2 files changed, 13 insertions(+), 17 deletions(-) create mode 100644 src/lib.rs (limited to 'src') 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; -- cgit v1.2.3