Changes between Version 1 and Version 2 of SyntaxFreeTypeDirectedNameResolution


Ignore:
Timestamp:
Jun 1, 2016 11:06:50 PM (3 years ago)
Author:
AntC
Comment:

AntC: added links/comparison to other discussions.

Legend:

Unmodified
Added
Removed
Modified
  • SyntaxFreeTypeDirectedNameResolution

    v1 v2  
    4646* ORF allows polymorphism and duplicate definitions in the same module, but only works for record selectors.
    4747* TDNR only allows the compiler to qualify bear names, makes no changes to the type system, and applies to all names.
     48
     49  AntC: This section should also compare to https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields.
     50  See the discussion starting https://mail.haskell.org/pipermail/glasgow-haskell-users/2016-May/026225.html.