diff options
author | Nadrieril | 2019-03-06 12:25:05 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 12:35:31 +0100 |
commit | 2e02360dc12b55f3811ba58bb17c21514990134c (patch) | |
tree | 2c9fc1bd0db2dd801842aa72d7e1144bc631e53a /dhall/src/main.rs | |
parent | 564a5f37b106c69d8ebe9aec2f665f5222b3dfda (diff) |
Split-off normalization into its own crate
Diffstat (limited to '')
-rw-r--r-- | dhall/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index 3e8aca4..182f4a7 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -4,6 +4,7 @@ use term_painter::ToStyle; use dhall::*; use dhall_core::*; +use dhall_normalize::*; const ERROR_STYLE: term_painter::Color = term_painter::Color::Red; const BOLD: term_painter::Attr = term_painter::Attr::Bold; |