From e765b97fc483d5e737794a0aa90890ab2a1b2028 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 6 Oct 2008 12:49:13 +0000 Subject: simplified 1.5 by removing mathematical/ --- src/PGF/Macros.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/PGF') diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index f579c07dd..b79715f44 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -34,6 +34,10 @@ lookType :: PGF -> CId -> Type lookType pgf f = fst $ lookMap (error $ "lookType " ++ show f) f (funs (abstract pgf)) +lookDef :: PGF -> CId -> Expr +lookDef pgf f = + snd $ lookMap (error $ "lookDef " ++ show f) f (funs (abstract pgf)) + lookValCat :: PGF -> CId -> CId lookValCat pgf = valCat . lookType pgf @@ -137,4 +141,4 @@ combinations t = case t of aa:uu -> [a:u | a <- aa, u <- combinations uu] isLiteralCat :: CId -> Bool -isLiteralCat = (`elem` [mkCId "String", mkCId "Float", mkCId "Int"]) \ No newline at end of file +isLiteralCat = (`elem` [mkCId "String", mkCId "Float", mkCId "Int"]) -- cgit v1.2.3