diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-11 13:45:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-11 13:45:34 +0000 |
| commit | 1cdf171251a56baf0867b65a95c9bd59801ff912 (patch) | |
| tree | 837e65fa23f3041c3bbf4b7f1dbfcf63990e09a1 /src/PGF/Macros.hs | |
| parent | 28a7c4b5c7659dc18166e06e914fb0a81c1c43bc (diff) | |
polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr
Diffstat (limited to 'src/PGF/Macros.hs')
| -rw-r--r-- | src/PGF/Macros.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index f6a11799b..05980d823 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -69,7 +69,7 @@ lookAbsFlag pgf f = lookConcr :: PGF -> CId -> Concr lookConcr pgf cnc = - lookMap (error $ "Missing concrete syntax: " ++ prCId cnc) cnc $ concretes pgf + lookMap (error $ "Missing concrete syntax: " ++ showCId cnc) cnc $ concretes pgf lookConcrFlag :: PGF -> CId -> CId -> Maybe String lookConcrFlag pgf lang f = Map.lookup f $ cflags $ lookConcr pgf lang @@ -129,7 +129,7 @@ contextLength ty = case ty of DTyp hyps _ _ -> length hyps term0 :: CId -> Term -term0 = TM . prCId +term0 = TM . showCId tm0 :: Term tm0 = TM "?" |