diff options
Diffstat (limited to 'src/GF/Compile/ShellState.hs')
| -rw-r--r-- | src/GF/Compile/ShellState.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Compile/ShellState.hs b/src/GF/Compile/ShellState.hs index e1e64e85c..4b1e5a8f3 100644 --- a/src/GF/Compile/ShellState.hs +++ b/src/GF/Compile/ShellState.hs @@ -122,7 +122,8 @@ updateShellState opts sh ((_,sgr,gr),rts) = do a' = ifNull Nothing (return . head) $ allAbstracts cgr0 abstr0 <- case abstract sh of Just a -> do - -- test that abstract is compatible + -- test that abstract is compatible --- unsafe exception for old? + --- if True oElem showOld opts then return () else testErr (maybe True (a==) a') ("expected abstract" +++ P.prt a) return $ Just a _ -> return a' |