From: Simon Huber <hubsim@gmail.com>
Date: Thu, 19 Mar 2015 09:35:55 +0000 (+0100)
Subject: fixed support for Env
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=dd3d5011cc5450254d88c1314fbd8713b37a9350;p=cubicaltt.git

fixed support for Env
---

diff --git a/Eval.hs b/Eval.hs
index 7be6d00..6d387d1 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -36,7 +36,11 @@ lookName i (Sub rho (j,phi)) | i == j    = phi
 -- Nominal instances
 
 instance Nominal Env where
-  support    = support . formulaOfEnv
+  support Empty             = []
+  support (Pair rho (_,u))  = support u `union` support rho
+  support (Sub rho (_,phi)) = support phi `union` support rho
+  support (Def _ rho)       = support rho
+
   act e iphi = mapEnv (`act` iphi) (`act` iphi) e
   swap e ij  = mapEnv (`swap` ij) (`swap` ij) e