diff options
author | Nadrieril | 2019-08-19 21:52:26 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-19 21:52:42 +0200 |
commit | 26a1fd0f0861038a76a0f9b09eaef16d808d4139 (patch) | |
tree | e89770d190a73ce5f1bae7798b77c02b598faed2 /dhall/src/tests.rs | |
parent | 29016b78736dca857e4e7f7c4dc68ed5e30c28bb (diff) |
Use TypedValue instead of Typed in normalize and typecheck
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 44e22e4..be4805d 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -181,7 +181,7 @@ pub fn run_test( assert_eq_display!(expr, expected); } Typecheck => { - expr.typecheck_with(&expected.to_type())?.get_type()?; + expr.typecheck_with(&expected.into_typed())?.get_type()?; } TypeInference => { let expr = expr.typecheck()?; |