From 2c4d34af28b31fefe26379bf6301ce9b48fb38dc Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 6 Nov 2007 17:27:20 +0000
Subject: prompt and CPU time in experimental shell

---
 src/GF/GFCC/API.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/GF/GFCC')

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)))]
-- 
cgit v1.2.3