No I didn't intend to put more in the header, perhaps less. I've added more clarification.
Simon | -----Original Message----- | From: haskell-prime-boun...@haskell.org [mailto:haskell-prime- | boun...@haskell.org] On Behalf Of AntC | Sent: 08 June 2012 02:00 | To: haskell-prime@haskell.org | Subject: Re: TypeFamilies vs. FunctionalDependencies & type-level | recursion | | Simon Peyton-Jones <simonpj@...> writes: | | > | > I have expanded the draft spec on | > http://hackage.haskell.org/trac/ghc/wiki/NewAxioms | | Thanks Simon, that's much clearer. | | By the way, are the examples for the multi- type instance declarations | quite as intended? The heads have no head, as it were. Did you mean, or | is this allowed? | | type instance F [a] where ... | | type instance F (a, b) where ... | | (From a documentation point of view, this shows that the instance groups | are | non-overlapping.) | | > to answer some of the questions on AntC’s discussion page. | > | | (I'd rather you called it just *the* discussion page; I'm doing the ego- | less contributor thing. I must admit that after I got the page started, | I've not had so much time to keep building it.) | | AntC | | | _______________________________________________ | Haskell-prime mailing list | Haskell-prime@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-prime _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
