tiny fixes

This commit is contained in:
aarne
2005-05-10 13:16:59 +00:00
parent 893ce8605d
commit 7493e31ea7
2 changed files with 5 additions and 5 deletions

View File

@@ -12,7 +12,7 @@ resource ResImper = open Predef in {
{s = f ; p = p ; a = a} ;
usePrec : PrecExp -> Prec -> Str = \x,p ->
case <x.p,p> of {
case <<x.p,p> : Prec * Prec> of {
<3,4> | <2,3> | <2,4> => paren x.s ;
<1,1> | <1,0> | <0,0> => x.s ;
<1,_> | <0,_> => paren x.s ;

View File

@@ -5,9 +5,9 @@
-- Stability : (stable)
-- Portability : (portable)
--
-- > CVS $Date: 2005/05/09 09:28:46 $
-- > CVS $Author: peb $
-- > CVS $Revision: 1.21 $
-- > CVS $Date: 2005/05/10 14:16:59 $
-- > CVS $Author: aarne $
-- > CVS $Revision: 1.22 $
--
-- (Description of the module)
-----------------------------------------------------------------------------
@@ -103,7 +103,7 @@ trees2trms opts sg cn as ts0 info = do
let num = optIntOrN opts flagRawtrees 99999
let (ts01,rest) = splitAt num ts0
if null rest then return ()
else checkWarn ("Warning: only" +++ show num +++ "raw parses out of" +++
else raise ("Warning: only" +++ show num +++ "raw parses out of" +++
show (length ts0) +++
"considered; use -rawtrees=<Int> to see more"
)