Changes between Version 7 and Version 8 of Records/SyntaxDirectedNameResolution


Ignore:
Timestamp:
Feb 28, 2012 12:11:01 AM (3 years ago)
Author:
elaforge
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/SyntaxDirectedNameResolution

    v7 v8  
    4949-- Type of 'record' must already be known:
    5050(#b.#a) :: Outer.Outer -> Int
    51 -- Due to the definition of (.) and its return type being known:
     51-- Due to the definition of (.) and its 2nd argument type being known:
    5252#a :: Outer.Outer -> b
    5353-- New "# Resolution" rule: The first argument is in module Outer, so
    5454-- resolve to Outer.a, and now we know the full type of Outer.a:
    5555Outer.a :: Outer.Outer -> Inner.Inner
    56 -- Due to the definition of (.) and its return type being known:
     56-- Due to the definition of (.) and its 1st argument type being known:
    5757#b :: Inner.Inner -> c
    5858-- # Resolution: