From f339b8839bcb25a57cb22baa3342032892f9be63 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 14 Nov 2005 15:03:40 +0000
Subject: arbitrary lincat records; noparse pragmas

---
 src/GF/IDE/IDECommands.hs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/GF/IDE')

diff --git a/src/GF/IDE/IDECommands.hs b/src/GF/IDE/IDECommands.hs
index f879a87cd..56d392a71 100644
--- a/src/GF/IDE/IDECommands.hs
+++ b/src/GF/IDE/IDECommands.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/11/09 22:34:01 $ 
+-- > CVS $Date: 2005/11/14 16:03:41 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.1 $
+-- > CVS $Revision: 1.2 $
 --
 -- Commands usable in grammar-writing IDE.
 -----------------------------------------------------------------------------
@@ -57,6 +57,10 @@ execIDECommand c state = case c of
     return $ emptyIDEState env
   IDEAbstract a -> 
     return $ state {ideAbstract = Just a} ---- check a exists or import it
+  IDEConcrete a -> 
+    return $ state {ideCurrentCnc = Just a} ---- check a exists or import it
+  IDELin a -> 
+    return $ state {ideCurrentLin = Just a} ---- check a exists
   IDEEdit s ->
     execEdit s
   IDEShell s ->
-- 
cgit v1.2.3