
On Tue, Jan 31, 2006 at 09:52:22AM -0000, Simon Marlow wrote:
There's a choice about whether a newtype should be exported with 'newtype T' or 'data T', or either.
I would think it would be 'type T' since the category should identify the namespace of what you are trying to export rather than what it is. you certainly don't want to have to change import (data T) to import (newtype T) when the implementation changes :) the namespaces I can think of are class,type,value,kind,method,field though, probably class,type,value and kind will be the only useful ones. and 'value' could be the default if nothing is specified. I like the idea of doing this too because it also gives a place to attach other extensions to, like 'closed class Foo' if we decide we like closed classes. John -- John Meacham - ⑆repetae.net⑆john⑈