Changes between Version 7 and Version 8 of Records/SyntaxDirectedNameResolution
- Timestamp:
- 02/27/12 16:11:01 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Records/SyntaxDirectedNameResolution
v7 v8 49 49 -- Type of 'record' must already be known: 50 50 (#b.#a) :: Outer.Outer -> Int 51 -- Due to the definition of (.) and its returntype being known:51 -- Due to the definition of (.) and its 2nd argument type being known: 52 52 #a :: Outer.Outer -> b 53 53 -- New "# Resolution" rule: The first argument is in module Outer, so 54 54 -- resolve to Outer.a, and now we know the full type of Outer.a: 55 55 Outer.a :: Outer.Outer -> Inner.Inner 56 -- Due to the definition of (.) and its returntype being known:56 -- Due to the definition of (.) and its 1st argument type being known: 57 57 #b :: Inner.Inner -> c 58 58 -- # Resolution:
