diff options
| author | bjorn <bjorn@bringert.net> | 2008-05-30 15:38:35 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-05-30 15:38:35 +0000 |
| commit | 20ea9ea5ec7c65ab01bff47d78f55e06b85fe79d (patch) | |
| tree | e77cb9522f6ddff5236ecb05515483d3e16d5c12 /src-3.0 | |
| parent | 59721bfc33e2610edb1f0713360a3cc0686270c6 (diff) | |
Changes lookConcrFlag to return Maybe.
Diffstat (limited to 'src-3.0')
| -rw-r--r-- | src-3.0/PGF/Macros.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src-3.0/PGF/Macros.hs b/src-3.0/PGF/Macros.hs index 01ab1bb6b..3577ed23a 100644 --- a/src-3.0/PGF/Macros.hs +++ b/src-3.0/PGF/Macros.hs @@ -51,9 +51,12 @@ lookAbsFlag :: PGF -> CId -> String lookAbsFlag pgf f = lookMap "?" f (aflags (abstract pgf)) -lookCncFlag :: PGF -> CId -> CId -> String -lookCncFlag pgf lang f = - lookMap "?" f $ cflags $ lookMap (error "no lang") lang $ concretes pgf +lookConcr :: PGF -> CId -> Concr +lookConcr pgf cnc = + lookMap (error $ "Missing concrete syntax: " ++ prCId cnc) cnc $ concretes pgf + +lookConcrFlag :: PGF -> CId -> CId -> Maybe String +lookConcrFlag pgf lang f = Map.lookup f $ cflags $ lookConcr pgf lang functionsToCat :: PGF -> CId -> [(CId,Type)] functionsToCat pgf cat = |