diff options
author | Nadrieril | 2020-03-08 21:47:26 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
commit | 94850b720b0171444694452027f1baf947b3c18f (patch) | |
tree | acbc73273f9b0cfd3abd41038ad028c78ffa937c /serde_dhall/src/static_type.rs | |
parent | 4e11e882b7d064e9ddf997f9a465206cf6e471aa (diff) |
Add SimpleType to mirror SimpleValue
Diffstat (limited to '')
-rw-r--r-- | serde_dhall/src/static_type.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/serde_dhall/src/static_type.rs b/serde_dhall/src/static_type.rs index 921b296..bc5f366 100644 --- a/serde_dhall/src/static_type.rs +++ b/serde_dhall/src/static_type.rs @@ -1,4 +1,4 @@ -use dhall::syntax::Builtin; +use dhall::{STyKind, SimpleType}; use crate::Type; @@ -18,10 +18,10 @@ pub trait StaticType { } macro_rules! derive_builtin { - ($ty:ty, $builtin:ident) => { - impl StaticType for $ty { + ($rust_ty:ty, $dhall_ty:ident) => { + impl StaticType for $rust_ty { fn static_type() -> Type { - Type::make_builtin_type(Builtin::$builtin) + Type::from_simple_type(SimpleType::new(STyKind::$dhall_ty)) } } }; |