diff options
author | Nadrieril | 2019-08-20 17:08:01 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-20 17:08:01 +0200 |
commit | a506632b27b287d1bf898e2f77ae09a56902474c (patch) | |
tree | 52d704b5c59c213b31b655c03b4fe14e78cb30c1 /dhall/src/phase/typecheck.rs | |
parent | 04438824db21fb5d9d3a2abdb3fa167875bda892 (diff) |
Naming tweaks
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/typecheck.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs index 1ea87d1..440d694 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/phase/typecheck.rs @@ -457,7 +457,7 @@ fn type_last_layer( RetTypeOnly(Value::from_valuef_and_type( ValueF::from_builtin(dhall_syntax::Builtin::List) - .app_value(t.into_owned()), + .app(t.into_owned()), Value::from_const(Type), )) } @@ -468,8 +468,7 @@ fn type_last_layer( } RetTypeOnly(Value::from_valuef_and_type( - ValueF::from_builtin(dhall_syntax::Builtin::Optional) - .app_value(t), + ValueF::from_builtin(dhall_syntax::Builtin::Optional).app(t), Value::from_const(Type), )) } |