diff options
| author | aarne <unknown> | 2005-05-10 13:16:59 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-10 13:16:59 +0000 |
| commit | 41657fed460ddc959db9d2a4c6000c77b5c82f3c (patch) | |
| tree | bae6114d0def046d2152c24232c89a4e0776ede4 | |
| parent | 6f3229f087b0655d28b6a39fcd9b9b4174d38137 (diff) | |
tiny fixes
| -rw-r--r-- | examples/gfcc/ResImper.gf | 2 | ||||
| -rw-r--r-- | src/GF/UseGrammar/Parsing.hs | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/examples/gfcc/ResImper.gf b/examples/gfcc/ResImper.gf index c3651ae82..57cdf9434 100644 --- a/examples/gfcc/ResImper.gf +++ b/examples/gfcc/ResImper.gf @@ -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 ; diff --git a/src/GF/UseGrammar/Parsing.hs b/src/GF/UseGrammar/Parsing.hs index cee11cbe1..82e9297a6 100644 --- a/src/GF/UseGrammar/Parsing.hs +++ b/src/GF/UseGrammar/Parsing.hs @@ -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" ) |