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

prompt and CPU time in experimental shell

Browse Source
This commit is contained in:
aarne
2007-11-06 17:27:20 +00:00
parent 6a716b0f68
commit d12728dae2
3 changed files with 29 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/GF/GFCC/API.hs
View File

@@ -112,6 +112,11 @@ readTree _ = pTree
showTree = prExp
prIdent :: CId -> String
prIdent (CId s) = s
abstractName mgr = prIdent (absname (gfcc mgr))
languages mgr = [l | CId l <- cncnames (gfcc mgr)]
categories mgr = [c | CId c <- Map.keys (cats (abstract (gfcc mgr)))]