From: Simon Huber <hubsim@gmail.com>
Date: Wed, 8 Apr 2015 16:49:10 +0000 (+0200)
Subject: evaluate undefined into a closure
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=93abc9c7bbd55881e49e7f87483cb5cc5a877cf8;p=cubicaltt.git

evaluate undefined into a closure
---

diff --git a/Eval.hs b/Eval.hs
index e2c8d45..ec9dc31 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -129,6 +129,7 @@ instance Nominal Val where
 
 eval :: Env -> Ter -> Val
 eval rho v = case v of
+  Undef{}             -> Ter v rho
   U                   -> VU
   App r s             -> app (eval rho r) (eval rho s)
   Var i               -> look i rho