From a56c25011ff895c7438371858b3536d8659b7881 Mon Sep 17 00:00:00 2001 From: Guillaume Combette Date: Tue, 12 Jul 2016 16:42:19 +0200 Subject: [PATCH] Fix build for GHC 7.8 This version does not implement the Foldable/Traversable in Prelude proposal thus `elem` does not work on Sets. --- Eval.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) -- 2.34.1