Skip to content
Snippets Groups Projects
Commit e6612ed1 authored by Simon Marlow's avatar Simon Marlow
Browse files

[project @ 2000-06-01 08:51:46 by simonmar]

allow infix constructors to be declared with prefix notation, eg

	data T a b = (:^:) a b
parent 46faadc3
No related branches found
No related tags found
No related merge requests found
{-
-----------------------------------------------------------------------------
$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 }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment