From 69aa3248d2ea878ef45e9e8c177381730d949c32 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 13 Aug 2004 13:21:46 +0000
Subject: unique ref

---
 src/GF/Shell/Commands.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/GF/Shell/Commands.hs')

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index 1823ef8d0..adc023a3d 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -310,7 +310,7 @@ mkRefineMenuAll env sstate =
        [(CSelectCand i,   prCand (t,i))    | (t,i) <- zip cands [0..]]
 
  where
-  prRef (f,t) = 
+  prRef (f,(t,_)) = 
     (ifShort "r" "Refine" +++ prOrLinRef f +++ ifTyped (":" +++ prt_ t),
      "r" +++ prRefinement f)
   prClip i t =
@@ -474,7 +474,9 @@ displaySState env state =
   (prState (stateSState state), msgSState state, menuSState env state)
 
 menuSState :: CEnv -> SState -> [(String,String)]
-menuSState env state = [(s,c) | (_,(s,c)) <- mkRefineMenuAll env state]
+menuSState env state = if null cs then [("[NO ALTERNATIVE]","")] else cs 
+  where
+    cs = [(s,c) | (_,(s,c)) <- mkRefineMenuAll env state]
 
 printname :: CEnv -> SState -> G.Fun -> String
 printname env state f = case getOptVal opts menuDisplay of
-- 
cgit v1.2.3