diff options
| author | aarne <unknown> | 2005-05-09 08:45:23 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-09 08:45:23 +0000 |
| commit | 2805a8ee2cb0f431301b09443709b78699acd671 (patch) | |
| tree | 1a5f0cc327393b88390f9a6f9c32020b33758ccc /examples | |
| parent | 2b059b811db03a53e8e0f8ec1a655e507851a995 (diff) | |
fix in CheckGrammar case exprs
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/gfcc/ResImper.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/gfcc/ResImper.gf b/examples/gfcc/ResImper.gf index 57cdf9434..c3651ae82 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> : Prec * Prec> of { + case <x.p,p> of { <3,4> | <2,3> | <2,4> => paren x.s ; <1,1> | <1,0> | <0,0> => x.s ; <1,_> | <0,_> => paren x.s ; |