diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-06 12:49:13 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-06 12:49:13 +0000 |
| commit | e765b97fc483d5e737794a0aa90890ab2a1b2028 (patch) | |
| tree | e3b558ba236ae9797ceb9be4e06c514abac81890 /src/PGF | |
| parent | 394050d9f7d90f5b7a5905175bd51733048bf481 (diff) | |
simplified 1.5 by removing mathematical/
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/Macros.hs | 6 |
1 files changed, 5 insertions, 1 deletions
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"]) |