diff options
author | Nadrieril | 2020-03-22 22:27:56 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-31 21:45:32 +0100 |
commit | 3a5f2044954aae7278f16e30561a81626dba6923 (patch) | |
tree | 1ee01a698c85540d8816dabeb121d3d2085833c7 /serde_dhall/src/options.rs | |
parent | 263fbebda7bc3c0f8c4497e1e508125ca91382f1 (diff) |
Move mod simple into value
Diffstat (limited to '')
-rw-r--r-- | serde_dhall/src/options.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/serde_dhall/src/options.rs b/serde_dhall/src/options.rs index 0072393..f468cf0 100644 --- a/serde_dhall/src/options.rs +++ b/serde_dhall/src/options.rs @@ -121,7 +121,7 @@ impl<'a, T> Options<'a, T> { }; let typed = match &self.annot { None => resolved.typecheck()?, - Some(ty) => resolved.typecheck_with(&ty.to_value().hir)?, + Some(ty) => resolved.typecheck_with(ty.to_value().as_hir())?, }; Ok(Value::from_nir(typed.normalize().as_nir())) } |