From 80722b6da21a79cc2f00b2944244b28a04c5e169 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 16 Feb 2020 19:15:29 +0000
Subject: Oops, leftover #![allow(dead_code)]
---
dhall/src/semantics/hir.rs | 18 +-----------------
1 file changed, 1 insertion(+), 17 deletions(-)
(limited to 'dhall')
diff --git a/dhall/src/semantics/hir.rs b/dhall/src/semantics/hir.rs
index d0a8a96..b5db66f 100644
--- a/dhall/src/semantics/hir.rs
+++ b/dhall/src/semantics/hir.rs
@@ -1,6 +1,5 @@
-#![allow(dead_code)]
use crate::error::TypeError;
-use crate::semantics::{type_with, NameEnv, NzEnv, TyEnv, TyExpr, Type, Value};
+use crate::semantics::{type_with, NameEnv, NzEnv, TyEnv, TyExpr, Value};
use crate::syntax::{Expr, ExprKind, Span, V};
use crate::{NormalizedExpr, ToExprOptions};
@@ -79,21 +78,6 @@ impl Hir {
pub fn eval(&self, env: impl Into<NzEnv>) -> Value {
Value::new_thunk(env.into(), self.clone())
}
- /// Evaluate to a Type.
- pub fn eval_to_type(&self, env: impl Into<NzEnv>) -> Type {
- self.eval(env).into()
- }
- /// Eval a closed Hir (i.e. without free variables). It will actually get evaluated only as
- /// needed on demand.
- pub fn eval_closed_expr(&self) -> Value {
- self.eval(&NzEnv::new())
- }
- /// Eval a closed Hir fully and recursively (TODO: ish, need to fix under lambdas)
- pub fn rec_eval_closed_expr(&self) -> Value {
- let val = self.eval_closed_expr();
- val.normalize();
- val
- }
}
fn hir_to_expr(
--
cgit v1.2.3