From 318379f73a4f6beae40687e7122ac476abe526f1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 8 Sep 2004 11:36:53 +0000
Subject: type check cc command

---
 src/GF/Shell.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs
index 27ceb19e0..294160a82 100644
--- a/src/GF/Shell.hs
+++ b/src/GF/Shell.hs
@@ -5,6 +5,7 @@ import Str
 import qualified Grammar as G
 import qualified Ident as I
 import qualified Compute as Co
+import qualified CheckGrammar as Ch
 import qualified Lookup as L
 import qualified GFC
 import qualified Look
@@ -169,7 +170,9 @@ execC co@(comm, opts0) sa@((st,(h,_)),a) = checkOptions st co >> case comm of
            maybe (resourceOfShellState st) (return . I.identC) $ -- topmost res
              getOptVal opts useResource             -- flag -res=m
     justOutput (putStrLn (err id (prt . stripTerm) (
-                string2srcTerm src m t >>= Co.computeConcrete src))) sa
+                string2srcTerm src m t >>= 
+                Ch.justCheckLTerm src  >>=
+                Co.computeConcrete src))) sa
   CShowOpers t -> do
     m <- return $
          maybe (I.identC "?") id $  -- meaningful if no opers in t 
-- 
cgit v1.2.3