diff options
author | Nadrieril | 2019-12-15 19:42:57 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-15 19:42:57 +0000 |
commit | 929a34c177f8b18ae791f77bbd4630a862fb1070 (patch) | |
tree | 2b637a803ba1d833545927363f8963b2d2849956 /dhall/src/phase/normalize.rs | |
parent | 4c3552e23f788f971dc5879c99e1e659d8ddae8f (diff) |
Reexport dhall_syntax as a module in dhall
Diffstat (limited to 'dhall/src/phase/normalize.rs')
-rw-r--r-- | dhall/src/phase/normalize.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs index b712027..3ed53f4 100644 --- a/dhall/src/phase/normalize.rs +++ b/dhall/src/phase/normalize.rs @@ -1,7 +1,7 @@ use std::collections::HashMap; -use dhall_syntax::Const::Type; -use dhall_syntax::{ +use crate::syntax::Const::Type; +use crate::syntax::{ BinOp, Builtin, ExprF, InterpolatedText, InterpolatedTextContents, Label, NaiveDouble, }; @@ -47,7 +47,7 @@ macro_rules! make_closure { }}; (1 + $($rest:tt)*) => { ValueF::PartialExpr(ExprF::BinOp( - dhall_syntax::BinOp::NaturalPlus, + crate::syntax::BinOp::NaturalPlus, make_closure!($($rest)*), Value::from_valuef_and_type( ValueF::NaturalLit(1), @@ -62,7 +62,7 @@ macro_rules! make_closure { let tail = make_closure!($($tail)*); let list_type = tail.get_type_not_sort(); ValueF::PartialExpr(ExprF::BinOp( - dhall_syntax::BinOp::ListAppend, + crate::syntax::BinOp::ListAppend, ValueF::NEListLit(vec![head]) .into_value_with_type(list_type.clone()), tail, @@ -76,7 +76,7 @@ pub(crate) fn apply_builtin( args: Vec<Value>, ty: &Value, ) -> ValueF { - use dhall_syntax::Builtin::*; + use crate::syntax::Builtin::*; use ValueF::*; // Small helper enum |