From: Guillaume Combette <guillaume.combette@ens-lyon.fr>
Date: Tue, 12 Jul 2016 14:42:19 +0000 (+0200)
Subject: Fix build for GHC 7.8
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a56c25011ff895c7438371858b3536d8659b7881;p=cubicaltt.git

Fix build for GHC 7.8

This version does not implement the Foldable/Traversable in Prelude
proposal thus `elem` does not work on Sets.
---

diff --git a/Eval.hs b/Eval.hs
index 3626107..1735f78 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -7,6 +7,7 @@ import Data.Map (Map,(!),mapWithKey,assocs,filterWithKey
                 ,elems,intersectionWith,intersection,keys
                 ,member,notMember,empty)
 import qualified Data.Map as Map
+import qualified Data.Set as Set
 
 import Connections
 import CTT
@@ -150,7 +151,7 @@ eval rho@(_,_,_,Nameless os) v = case v of
   U                   -> VU
   App r s             -> app (eval rho r) (eval rho s)
   Var i
-    | i `elem` os     -> VOpaque i (lookType i rho)
+    | i `Set.member` os -> VOpaque i (lookType i rho)
     | otherwise       -> look i rho
   Pi t@(Lam _ a _)    -> VPi (eval rho a) (eval rho t)
   Sigma t@(Lam _ a _) -> VSigma (eval rho a) (eval rho t)