diff options
Diffstat (limited to 'dhall/src/expr.rs')
-rw-r--r-- | dhall/src/expr.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index 75d7690..555db2f 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -8,19 +8,19 @@ pub struct Parsed(pub(crate) SubExpr<X, Import>, pub(crate) ImportRoot); pub struct Resolved(pub(crate) SubExpr<X, X>); #[derive(Debug, Clone)] -pub struct Typed(pub(crate) SubExpr<X, X>, pub(crate) Type<'static>); +pub struct Typed(pub(crate) SubExpr<X, X>, pub(crate) Type); #[derive(Debug, Clone)] -pub struct Type<'a>(pub(crate) std::borrow::Cow<'a, TypeInternal>); +pub struct Type(pub(crate) TypeInternal); #[derive(Debug, Clone)] pub(crate) enum TypeInternal { Expr(Box<Normalized>), - Universe(usize), + Untyped, } #[derive(Debug, Clone)] -pub struct Normalized(pub(crate) SubExpr<X, X>, pub(crate) Type<'static>); +pub struct Normalized(pub(crate) SubExpr<X, X>, pub(crate) Type); impl PartialEq for Parsed { fn eq(&self, other: &Self) -> bool { |