Changes between Version 5 and Version 6 of Records


Ignore:
Timestamp:
Sep 15, 2011 9:50:23 AM (4 years ago)
Author:
YitzGale
Comment:

Typo: binging => binding

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v5 v6  
    4343In Haskell, you can look at an occurrence of any identifier `f` or `M.f` and decide where it is bound without thinking about types at all.  Broadly speaking it works like this:
    4444 * For qualified names, `M.f`, find an import that binds `M.f`.
    45  * For unqualified names, `f`, find the innermost binding of `f`; or, if that takes you to top level, look for top level binging of `f` or an import that binds `f`.
     45 * For unqualified names, `f`, find the innermost binding of `f`; or, if that takes you to top level, look for top level binding of `f` or an import that binds `f`.
    4646If there is ambiguity (eg two imports both import something called `f`) then an error is reported.  And that's what happens for the `Record` and `RecordClash` example above.
    4747