Commit fad3991b authored by simonpj's avatar simonpj
Browse files

[project @ 2000-06-22 14:41:29 by simonpj]

*** MERGE WITH 4.07 ***

* ParseIface.y should reject newtypes with no
  definition:
	newtype T a ;
  The rest of the compiler falls over if it sees such a thing.
parent 41cd7a86
......@@ -468,9 +468,8 @@ constr : src_loc ex_stuff data_name batypes { mk_con_decl $3 $2 (VanillaCon $
| src_loc ex_stuff data_name '{' fields1 '}' { mk_con_decl $3 $2 (RecCon $5) $1 }
-- We use "data_fs" so as to include ()
newtype_constr :: { [RdrNameConDecl] {- Empty if handwritten abstract -} }
newtype_constr : { [] }
| src_loc '=' ex_stuff data_name atype { [mk_con_decl $4 $3 (NewCon $5 Nothing) $1] }
newtype_constr :: { [RdrNameConDecl] {- Not allowed to be empty -} }
newtype_constr : src_loc '=' ex_stuff data_name atype { [mk_con_decl $4 $3 (NewCon $5 Nothing) $1] }
| src_loc '=' ex_stuff data_name '{' var_name '::' atype '}'
{ [mk_con_decl $4 $3 (NewCon $8 (Just $6)) $1] }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment