Changes between Version 6 and Version 7 of ScopedTypeVariables


Ignore:
Timestamp:
Dec 6, 2005 12:27:03 AM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ScopedTypeVariables

    v6 v7  
    5252create a new scope, pattern bound ones are always in the same scope and 
    5353it is clear from expression type signatures what is a scoped type var. 
     54 
     55(perhaps this text can be cleaned up? what are better terms for let type signature, pattern bound type, and expression type signature?)