Export lists in modules

[John Meacham]

On Wed, Feb 22, 2006 at 12:07:44PM +0000, Malcolm Wallace wrote:
> At the moment, only one type signature is permitted per entity (except
> for FFI foreign exports, where the exported signature may be more
> specific than the definitional signature).  My proposal is that the
> normal export list can have signatures /in addition to/ the definitional
> signature, but that if there are thus two signatures for an entity, they
> must be identical.  This is to prevent the case where one modifies the
> definition of the function, making it more general, but forgets to
> modify the corresponding export.

Another reason we might want to allow both is for scoped type variables.
We should probably only allow type variables in the definitional
signature to scope over the body of the function since it just doesn't
feel right for something in the export list to scope over the body of a
function in the module.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈