22 Aug
2006
22 Aug
'06
11:24 a.m.
Brian Hulley wrote:
Bulat Ziganshin wrote:
f :: Num a => a -> Int write as f :: Num -> Int
so, while this proposal is rather minor, i think that it is Good thing
I wouldn't like it because I'd like to eventually make the class namespace separate from the tycon namespace...
Apologies for that phrasing. I should have said: "I'd like to eventually find myself living in some mode of existence wherein ClassCons and TyCons no longer share the same namespace." Also apologies for these multiple posts... ;-) Brian.