diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-06 17:27:20 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-06 17:27:20 +0000 |
| commit | 2c4d34af28b31fefe26379bf6301ce9b48fb38dc (patch) | |
| tree | 9a75142ad188a38b0b490ae2cbfbba595c9700fb /src/GF/GFCC | |
| parent | 2b1d5a4d513970308f47c735212cbc253ec40961 (diff) | |
prompt and CPU time in experimental shell
Diffstat (limited to 'src/GF/GFCC')
| -rw-r--r-- | src/GF/GFCC/API.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/GF/GFCC/API.hs b/src/GF/GFCC/API.hs index 2abd0e09b..093d13b97 100644 --- a/src/GF/GFCC/API.hs +++ b/src/GF/GFCC/API.hs @@ -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)))] |