@haskell.org
| Subject: Re: Type families difference between 7.0.4 and 7.2.1
|
| sorry, I accidentally sent my reply to Brandon to the wrong address,
| not this list.
|
| On Tue, Aug 16, 2011 at 4:56 PM, Dan Doel dan.d...@gmail.com wrote:
| ...
| I don't really understand why it would be impossible
(I'm adding glasgow-haskell-users to this; if I'm remembering incorrectly
someone should correct me, if not then the namespace bit should be at least
mentioned if not filed as a bug.)
On Tue, Aug 16, 2011 at 00:44, Luite Stegeman stege...@gmail.com wrote:
On Tue, Aug 16, 2011 at 6:33 AM,
Classes are not always exported from a module. Only instances are. It
is even possible to export methods of a class that isn't itself
exported, making it impossible to write the types for them explicitly
(GHC will infer qualified types that you can't legally write given the
imports).
I don't
sorry, I accidentally sent my reply to Brandon to the wrong address,
not this list.
On Tue, Aug 16, 2011 at 4:56 PM, Dan Doel dan.d...@gmail.com wrote:
...
I don't really understand why it would be impossible not to export a
data family, given that (instances I understand). And of course, you
On Mon, Aug 15, 2011 at 08:12, Luite Stegeman stege...@gmail.com wrote:
-- C.hs
{-# LANGUAGE TypeFamilies #-}
module C where
class C1 a where
data F a :: *
I believe this is supposed to be syntactic sugar for a data family, so 7.0.4
is wrong. (I also think it was a known deficiency.)