diff options
author | Nadrieril | 2020-01-30 18:06:53 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 18:06:53 +0000 |
commit | 0749482ad2ab9340fb45a2fe2997d2ea04516d75 (patch) | |
tree | 08e3e0d817ebd031e8b6db98e2fc0bc65b5074b7 /dhall/src/lib.rs | |
parent | 7062de011eab7954f4bcf78fa1cf970ba91d6a5a (diff) |
Remove type parameter from ValueKind
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index e9f8aa3..dbf1fc0 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -153,10 +153,7 @@ impl Normalized { pub(crate) fn from_const(c: Const) -> Self { Normalized(Value::from_const(c)) } - pub(crate) fn from_kind_and_type( - v: ValueKind<Value>, - t: Normalized, - ) -> Self { + pub(crate) fn from_kind_and_type(v: ValueKind, t: Normalized) -> Self { Normalized(Value::from_kind_and_type(v, t.into_value())) } pub(crate) fn from_value(th: Value) -> Self { |