Changes between Version 7 and Version 8 of Records/DeclaredOverloadedRecordFields/COmpareSORF
- Timestamp:
- 02/20/12 20:06:28 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Records/DeclaredOverloadedRecordFields/COmpareSORF
v7 v8 96 96 {{{ 97 97 e { x = True } :: r{ x :: Bool} => r 98 e { x = True } ===> set (undefined :: Proxy_x) True e -- desugarred call 98 99 }}} 99 100
