diff options
| author | Nadrieril | 2020-12-07 14:15:43 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-12-07 19:34:39 +0000 |
| commit | 8c5b3ff15f2125e9d731fc199e194e1993c36b37 (patch) | |
| tree | a88ac770aa3e7605feed8381877f290a2b64cd43 /dhall/src/semantics/nze/nir.rs | |
| parent | 3c522217b7445c6df9e170d830f485086ad7e062 (diff) | |
Thread cx everywhere else imports are read
Diffstat (limited to 'dhall/src/semantics/nze/nir.rs')
| -rw-r--r-- | dhall/src/semantics/nze/nir.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/nze/nir.rs b/dhall/src/semantics/nze/nir.rs index 538b8ea..8cf06c5 100644 --- a/dhall/src/semantics/nze/nir.rs +++ b/dhall/src/semantics/nze/nir.rs @@ -148,8 +148,8 @@ impl<'cx> Nir<'cx> { Type::new(self.clone(), u.into()) } /// Converts a value back to the corresponding AST expression. - pub fn to_expr(&self, opts: ToExprOptions) -> Expr { - self.to_hir_noenv().to_expr(opts) + pub fn to_expr(&self, cx: Ctxt<'cx>, opts: ToExprOptions) -> Expr { + self.to_hir_noenv().to_expr(cx, opts) } pub fn to_expr_tyenv(&self, tyenv: &TyEnv<'cx>) -> Expr { self.to_hir(tyenv.as_varenv()).to_expr_tyenv(tyenv) |