GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Changes lookConcrFlag to return Maybe.

Browse Source
This commit is contained in:
bjorn
2008-05-30 15:38:35 +00:00
parent 59721bfc33
commit 20ea9ea5ec
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src-3.0/PGF/Macros.hs
View File

@@ -51,9 +51,12 @@ lookAbsFlag :: PGF -> CId -> String
lookAbsFlag pgf f = lookAbsFlag pgf f =
lookMap "?" f (aflags (abstract pgf)) lookMap "?" f (aflags (abstract pgf))
lookCncFlag :: PGF -> CId -> CId -> String lookConcr :: PGF -> CId -> Concr
lookCncFlag pgf lang f = lookConcr pgf cnc =
lookMap "?" f $ cflags $ lookMap (error "no lang") lang $ concretes pgf 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 -> CId -> [(CId,Type)]
functionsToCat pgf cat = functionsToCat pgf cat =