GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 08:32:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

extending proto resource API

Browse Source
This commit is contained in:
aarne
2005-11-23 21:38:11 +00:00
parent fe0408c9a4
commit 2f8514e54a
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/GF/Formalism/SimpleGFC.hs
View File

@@ -179,13 +179,16 @@ Path path ++. lbl = Path (Left lbl : path)
(++!) :: Path c t -> Term c t -> Path c t (++!) :: Path c t -> Term c t -> Path c t
Path path ++! sel = Path (Right sel : path) Path path ++! sel = Path (Right sel : path)
lintypeFollowPath :: Path c t -> LinType c t -> LinType c t lintypeFollowPath :: (Show c,Show t) => Path c t -> LinType c t -> LinType c t
lintypeFollowPath (Path path) = follow path lintypeFollowPath (Path path) = follow path
where follow [] ctype = ctype where follow [] ctype = ctype
follow (Right pat : path) (TblT _ ctype) = follow path ctype follow (Right pat : path) (TblT _ ctype) = follow path ctype
follow (Left lbl : path) (RecT rec) follow (Left lbl : path) (RecT rec)
= maybe err (follow path) $ lookup lbl rec = maybe err (follow path) $ lookup lbl rec
where err = error $ "lintypeFollowPath: label not in record type" where err = error $ "lintypeFollowPath: label not in record type"
++ "\n" ++ show lbl
++ "\n" ++ show rec
--- by AR for debugging 23/11/2005
termFollowPath :: (Eq c, Eq t) => Path c t -> Term c t -> Term c t termFollowPath :: (Eq c, Eq t) => Path c t -> Term c t -> Term c t
termFollowPath (Path path) = follow (reverse path) termFollowPath (Path path) = follow (reverse path)