diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/expr.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index 6458be9..30ca6c6 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -88,3 +88,8 @@ impl Normalized { } } +impl SimpleType { + pub(crate) fn into_type(self) -> Type { + Normalized(self.0, Some(Type::const_type())).into_type() + } +} |