diff options
| author | aarne <unknown> | 2004-09-08 11:36:53 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-08 11:36:53 +0000 |
| commit | 318379f73a4f6beae40687e7122ac476abe526f1 (patch) | |
| tree | 716f6209e4109e535024c0ea506ee037fdba7288 /src/GF/Shell.hs | |
| parent | 51c9afa5c8025971d8080fa271a0e8486b9effde (diff) | |
type check cc command
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 5 |
1 files changed, 4 insertions, 1 deletions
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 |