diff options
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"]) |