summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs
diff options
context:
space:
mode:
authorNadrieril2020-01-30 18:06:53 +0000
committerNadrieril2020-01-30 18:06:53 +0000
commit0749482ad2ab9340fb45a2fe2997d2ea04516d75 (patch)
tree08e3e0d817ebd031e8b6db98e2fc0bc65b5074b7 /dhall/src/lib.rs
parent7062de011eab7954f4bcf78fa1cf970ba91d6a5a (diff)
Remove type parameter from ValueKind
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r--dhall/src/lib.rs5
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 {