Changes between Version 3 and Version 4 of Design/TypeNaming


Ignore:
Timestamp:
Sep 24, 2008 1:53:01 AM (6 years ago)
Author:
nr
Comment:

comment on taking a bigger step toward signatures in place of export lists

Legend:

Unmodified
Added
Removed
Modified
  • Design/TypeNaming

    v3 v4  
    136136baby step towards the export list becoming a proper module signature. 
    137137 
     138''As you might imagine, if we're going to start tinkering with export lists, I'd like to push as far as possible in the direction of signatures.  To me, this means (a) Let's not try to make signatures stand independently, but let's do try to change dramatically the format of the export list; (b) the material in the export list should be completely sufficient to know the types, kinds, sorts, classes, instances, and fixities of the things exported; (c) when complete information is available in the export list, it should not be necessary to duplicate the information in the module body.  For example, it should be possible to migrate a type signature from the body to a "new-style" export list.  ---Norman Ramsey''' 
     139 
    138140=== Proposal 2: disambiguation in types === 
    139141