From 357c2fa4cfa1bd5ea8815ff40fd14319fe00ab61 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 13 Oct 2004 11:47:24 +0000 Subject: update highlights; fix cat warning bug --- src/GF/Shell.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 1b8a8520d..2b7a66701 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -250,7 +250,7 @@ execC co@(comm, opts0) sa@((st,(h,_)),a) = checkOptions st co >> case comm of let c0 = firstAbsCat os gro c <- GrammarToCanon.redQIdent c0 lang <- maybeErr "no concrete" $ languageOfOptState os st - t <- Look.lookupLincat cgr $ CMacros.redirectIdent lang c + t <- return $ errVal CMacros.defLinType $ Look.lookupLincat cgr $ CMacros.redirectIdent lang c return $ if CMacros.isDiscontinuousCType t then (putStrLn ("Warning: discontinuous category" +++ prt_ c)) else (return ()) -- cgit v1.2.3