diff options
| author | bjorn <bjorn@bringert.net> | 2008-06-03 19:56:51 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-06-03 19:56:51 +0000 |
| commit | 957b4252dd7bb49a314d460a866790424dcba43c (patch) | |
| tree | 223d66110965f0e1e8ad30760a11f4642d72a93e | |
| parent | d57a96a186683b39b57cea269935866d7e2200ad (diff) | |
Added lookPrintName.
| -rw-r--r-- | src-3.0/PGF/Macros.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src-3.0/PGF/Macros.hs b/src-3.0/PGF/Macros.hs index 3577ed23a..aaefa2ccf 100644 --- a/src-3.0/PGF/Macros.hs +++ b/src-3.0/PGF/Macros.hs @@ -26,6 +26,10 @@ lookParamLincat :: PGF -> CId -> CId -> Term lookParamLincat pgf lang fun = lookMap tm0 fun $ paramlincats $ lookMap (error "no lang") lang $ concretes pgf +lookPrintName :: PGF -> CId -> CId -> Term +lookPrintName pgf lang fun = + lookMap tm0 fun $ printnames $ lookMap (error "no lang") lang $ concretes pgf + lookType :: PGF -> CId -> Type lookType pgf f = fst $ lookMap (error $ "lookType " ++ show f) f (funs (abstract pgf)) |