From 4e795bab9b0e5dfcad903eb4c9d0aa0a5dab6e94 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 10 Oct 2008 15:53:17 +0000
Subject: a first version of PGF.AbsCompute

---
 src/PGF/Macros.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/PGF/Macros.hs')

diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs
index b79715f44..4c73817dc 100644
--- a/src/PGF/Macros.hs
+++ b/src/PGF/Macros.hs
@@ -38,6 +38,11 @@ lookDef :: PGF -> CId -> Expr
 lookDef pgf f = 
   snd $ lookMap (error $ "lookDef " ++ show f) f (funs (abstract pgf))
 
+isData :: PGF -> CId -> Bool
+isData pgf f = case Map.lookup f (funs (abstract pgf)) of
+  Just (_,EMeta 0) -> True ---- the encoding of data constrs
+  _ -> False
+
 lookValCat :: PGF -> CId -> CId
 lookValCat pgf = valCat . lookType pgf
 
-- 
cgit v1.2.3