Changes between Version 8 and Version 9 of Records/NameSpacing


Ignore:
Timestamp:
Jan 8, 2012 12:12:38 PM (2 years ago)
Author:
GregWeber
Comment:

updated manual

Legend:

Unmodified
Added
Removed
Modified
  • Records/NameSpacing

    v8 v9  
    11See [wiki:Records] for the bigger picture. This is a proposal to solve the records name-spacing issue with simple name-spacing and simple type resolution.  
    22 
    3 This approach is an attempt to port the records solution in [http://code.google.com/p/frege/ Frege], a haskell-like language on the JVM. Please read Sections 3.2 (primary expressions) and 4.2.1 (Algebraic Data type Declaration - Constructors with labeled fields) of the [http://code.google.com/p/frege/downloads/detail?name=Language-202.pdf Frege user manual] 
     3This approach is an attempt to port the records solution in [http://code.google.com/p/frege/ Frege], a haskell-like language on the JVM. Please read Sections 3.2 (primary expressions) and 4.2.1 (Algebraic Data type Declaration - Constructors with labeled fields) of the [http://code.google.com/p/frege/downloads/detail?name=Language-411.pdf Frege user manual] 
    44 
    55Many thanks to the Frege author, Ingo Wechsung for explaining his implementation and exploring this implementation territory for us.