Changes between Version 7 and Version 8 of Records/DeclaredOverloadedRecordFields/COmpareSORF

Timestamp:

02/20/12 20:06:28 (15 months ago)

Author:

guest

Comment:

--

Records/DeclaredOverloadedRecordFields/COmpareSORF

@@ -96 +96 @@
 {{{
    e { x = True } :: r{ x :: Bool} => r
+   e { x = True } ===> set (undefined :: Proxy_x) True e            -- desugarred call
 }}}