diff options
author | Nadrieril | 2019-04-27 19:40:54 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-27 19:40:54 +0200 |
commit | 290d013e38849e52c35c1bb26c80452590f68e9a (patch) | |
tree | faf56d757fd63242dd9da46a88d88adff33bff9f /dhall/src/expr.rs | |
parent | f2917ee07b8fbbe6a411dd057a0191b1e8ba5680 (diff) |
Builtins
Diffstat (limited to '')
-rw-r--r-- | dhall/src/expr.rs | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index 6048928..d1729a5 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -157,18 +157,3 @@ impl<'a> Type<'a> { unsafe { std::mem::transmute::<Type<'a>, Type<'b>>(self) } } } - -impl<'a> SimpleType<'a> { - #[allow(dead_code)] - pub(crate) fn into_type(self) -> Type<'a> { - self.into_type_ctx(&crate::typecheck::TypecheckContext::new()) - } - pub(crate) fn into_type_ctx( - self, - ctx: &crate::typecheck::TypecheckContext, - ) -> Type<'a> { - Normalized(self.0, Some(Type::const_type()), PhantomData) - .into_type_ctx(ctx) - .unwrap() - } -} |