[project @ 2000-06-01 08:51:46 by simonmar]
authorsimonmar <unknown>
Thu, 1 Jun 2000 08:51:46 +0000 (08:51 +0000)
committersimonmar <unknown>
Thu, 1 Jun 2000 08:51:46 +0000 (08:51 +0000)
allow infix constructors to be declared with prefix notation, eg

data T a b = (:^:) a b

ghc/compiler/parser/Parser.y

index 51bd67a..9279e44 100644 (file)
@@ -1,6 +1,6 @@
 {-
 -----------------------------------------------------------------------------
-$Id: Parser.y,v 1.31 2000/05/25 12:41:17 simonpj Exp $
+$Id: Parser.y,v 1.32 2000/06/01 08:51:46 simonmar Exp $
 
 Haskell grammar.
 
@@ -607,6 +607,7 @@ scontype :: { (RdrName, [RdrNameBangType]) }
 scontype1 :: { (RdrName, [RdrNameBangType]) }
        : btype '!' atype               {% splitForConApp $1 [Banged $3] }
        | scontype1 satype              { (fst $1, snd $1 ++ [$2] ) }
+        | '(' consym ')'               { ($2,[]) }
 
 satype :: { RdrNameBangType }
        : atype                         { Unbanged $1 }