Can you tell me what is the best way to create new (empty) datatypes? We need 
those for the meta-information. Basically, a user-defined datatype
data A a = A0 | A1 a (A a)

gives rise to compiler-generated datatypes
data D_A
data C_A0
data C_A1
data S_A0_0
data S_A1_0
data S_A1_1

I suggest you add a new result [TyCon] to tcDeriv for the new TyCons.  Make 
them with BuildTyCl.buildAlgTyCon.

Simon
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to