diff options
author | Nadrieril | 2020-03-22 21:25:44 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-31 21:45:31 +0100 |
commit | 002d7c2a74647312a821598ac3d9f5521296873d (patch) | |
tree | a360114d5b30d87c97586fc5e0b59ff3a535c515 /serde_dhall/src/static_type.rs | |
parent | 1a98b506055779e1a60558d9c5a56b071b3d61a0 (diff) |
Add a bunch of TODOs
Diffstat (limited to 'serde_dhall/src/static_type.rs')
-rw-r--r-- | serde_dhall/src/static_type.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/serde_dhall/src/static_type.rs b/serde_dhall/src/static_type.rs index 79418d2..3fdff39 100644 --- a/serde_dhall/src/static_type.rs +++ b/serde_dhall/src/static_type.rs @@ -11,6 +11,7 @@ use crate::simple::{TyKind, Type}; /// For this reason, something like `HashMap<String, bool>` cannot implement /// [StaticType] because each different value would /// have a different Dhall record type. +/// TODO pub trait StaticType { fn static_type() -> Type; } |