What should be the preferred way of declaring completely abstract
types, without any meaningful representation known anywhere, for use
as a tag only (of the Ptr type from some new Foreign library)?

1. data CFile = CFile
   GHC -Wall warns that I don't use the data constructor anywhere.
   Right, this is what I indend to do, I don't want to export it,
   and I don't want this warning.

2. newtype CFile = CFile CFile
   This is really without any non-bottom representation. The problem
   is as the previous one.

3. data CFile
   This syntax is not currently supported. Would it make sense?

4. ???

-- 
 __("<    Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/              GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                  W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-


Reply via email to