diff options
author | Nadrieril | 2019-08-20 22:20:59 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-20 22:20:59 +0200 |
commit | ec349d42703a8a31715cf97b44845ba3dd7a6805 (patch) | |
tree | 877f5fc4b2f6b6c5dff6090680bf8b4d51120d6d /dhall/src/phase/typecheck.rs | |
parent | f70e45daef2570259eccd227a0126493c015d7b0 (diff) |
Propagate type information in Value::app()
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/typecheck.rs | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs index 4abc314..abe05a3 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/phase/typecheck.rs @@ -455,11 +455,7 @@ fn type_last_layer( return mkerr(InvalidListType(t)); } - RetTypeOnly( - ValueF::from_builtin(dhall_syntax::Builtin::List) - .app(t) - .into_value_simple_type(), - ) + RetTypeOnly(Value::from_builtin(dhall_syntax::Builtin::List).app(t)) } SomeLit(x) => { let t = x.get_type()?; @@ -468,9 +464,7 @@ fn type_last_layer( } RetTypeOnly( - Value::from_builtin(dhall_syntax::Builtin::Optional) - .app(t) - .into_value_simple_type(), + Value::from_builtin(dhall_syntax::Builtin::Optional).app(t), ) } RecordType(kts) => RetWhole(tck_record_type( |