mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
qualified names in the tags file
This commit is contained in:
@@ -17,7 +17,7 @@ mainTags opts files = do
|
|||||||
ioeIO (writeFile "tags" (unlines ((Set.toList . Set.fromList) tags)))
|
ioeIO (writeFile "tags" (unlines ((Set.toList . Set.fromList) tags)))
|
||||||
|
|
||||||
getTags x (m,mi) =
|
getTags x (m,mi) =
|
||||||
[showIdent i ++ "\t" ++ k ++ "\t" ++ l ++ "\t" ++ t
|
[showIdent m ++ "." ++ showIdent i ++ "\t" ++ k ++ "\t" ++ l ++ "\t" ++ t
|
||||||
| (i,jment) <- Map.toList (jments mi),
|
| (i,jment) <- Map.toList (jments mi),
|
||||||
(k,l,t) <- getLocations jment] ++ x
|
(k,l,t) <- getLocations jment] ++ x
|
||||||
where
|
where
|
||||||
|
|||||||
Reference in New Issue
Block a user