From 27031b3739ff9f2043e64130a4c5699d0f9233e8 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 9 Feb 2020 11:23:59 +0000
Subject: Add Hir as untyped alternative to TyExpr

---
 dhall/src/semantics/nze/value.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'dhall/src/semantics/nze/value.rs')

diff --git a/dhall/src/semantics/nze/value.rs b/dhall/src/semantics/nze/value.rs
index 47c50a4..d4213bc 100644
--- a/dhall/src/semantics/nze/value.rs
+++ b/dhall/src/semantics/nze/value.rs
@@ -5,8 +5,8 @@ use crate::error::{TypeError, TypeMessage};
 use crate::semantics::nze::lazy;
 use crate::semantics::{
     apply_any, normalize_one_layer, normalize_tyexpr_whnf, squash_textlit,
-    type_with, Binder, BuiltinClosure, NzEnv, NzVar, TyEnv, TyExpr, TyExprKind,
-    VarEnv,
+    type_with, Binder, BuiltinClosure, Hir, NzEnv, NzVar, TyEnv, TyExpr,
+    TyExprKind, VarEnv,
 };
 use crate::syntax::{
     BinOp, Builtin, Const, ExprKind, Integer, InterpolatedTextContents, Label,
@@ -461,19 +461,19 @@ impl ValueKind {
 }
 
 impl Thunk {
-    pub fn new(env: &NzEnv, body: TyExpr) -> Self {
+    fn new(env: &NzEnv, body: TyExpr) -> Self {
         Thunk::Thunk {
             env: env.clone(),
             body,
         }
     }
-    pub fn from_partial_expr(
+    fn from_partial_expr(
         env: NzEnv,
         expr: ExprKind<Value, Normalized>,
     ) -> Self {
         Thunk::PartialExpr { env, expr }
     }
-    pub fn eval(self) -> ValueKind {
+    fn eval(self) -> ValueKind {
         match self {
             Thunk::Thunk { env, body } => normalize_tyexpr_whnf(&body, &env),
             Thunk::PartialExpr { env, expr } => normalize_one_layer(expr, &env),
-- 
cgit v1.2.3