diff options
author | Nadrieril | 2019-05-04 12:38:36 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-04 12:38:36 +0200 |
commit | 45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca (patch) | |
tree | a7b15b0bf4b5b211eb42a559bc3cfde9a14b7749 /dhall/src/expr.rs | |
parent | ca4e2b39c838cde6da835470699579e8eddc1535 (diff) |
Rename dhall_core to dhall_syntax
Diffstat (limited to '')
-rw-r--r-- | dhall/src/expr.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index 9a161bd..b0b6215 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -1,6 +1,6 @@ use crate::imports::ImportRoot; use crate::normalize::{Thunk, Value}; -use dhall_core::*; +use dhall_syntax::*; use std::marker::PhantomData; macro_rules! derive_other_traits { @@ -71,7 +71,7 @@ mod typed { use crate::typecheck::{ TypeError, TypeInternal, TypeMessage, TypecheckContext, }; - use dhall_core::{Const, Label, SubExpr, V, X}; + use dhall_syntax::{Const, Label, SubExpr, V, X}; use std::borrow::Cow; use std::marker::PhantomData; |