Make view patterns right-associate
authorsimonpj@microsoft.com <unknown>
Wed, 6 Jan 2010 16:06:42 +0000 (16:06 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 6 Jan 2010 16:06:42 +0000 (16:06 +0000)
So that you can write

   f (v1 -> v2 -> pat)

compiler/parser/Parser.y.pp

index 5243c08..e7c991b 100644 (file)
@@ -1417,7 +1417,7 @@ texp :: { LHsExpr RdrName }
        | qopm infixexp       { LL $ SectionR $1 $2 }
 
        -- View patterns get parenthesized above
-       | exp '->' exp   { LL $ EViewPat $1 $3 }
+       | exp '->' texp   { LL $ EViewPat $1 $3 }
 
 -- Always at least one comma
 tup_exprs :: { [HsTupArg RdrName] }