From 93abc9c7bbd55881e49e7f87483cb5cc5a877cf8 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Wed, 8 Apr 2015 18:49:10 +0200
Subject: [PATCH] evaluate undefined into a closure

---
 Eval.hs | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.34.1