diff options
| author | Adam Gundry <adam@well-typed.com> | 2014-10-18 17:29:12 +0100 |
|---|---|---|
| committer | Adam Gundry <adam@well-typed.com> | 2014-10-21 09:58:59 +0100 |
| commit | c975175efcf733062c2e3fb1821dbf72f466b031 (patch) | |
| tree | c5b1a1e777c856d04d7a706f82cda53fd351ef4e /testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr | |
| parent | 1942fd6a8414d5664f3c9f6d1e6e39ca5265ef21 (diff) | |
| download | haskell-wip/orf-new.tar.gz | |
ghc: implement OverloadedRecordFieldswip/orf-new
This fully implements the new ORF extension, developed during the Google
Summer of Code 2013, and as described on the wiki:
https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields
This also updates the Haddock submodule.
Diffstat (limited to 'testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr')
| -rw-r--r-- | testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr new file mode 100644 index 0000000000..51b83134ed --- /dev/null +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr @@ -0,0 +1,20 @@ + +overloadedrecfldsfail09.hs:6:15: + Illegal type instance declaration for ‘FldTy’ + (Use -XOverloadedRecordFields instead.) + In the type instance declaration for ‘FldTy’ + +overloadedrecfldsfail09.hs:7:15: + Illegal type instance declaration for ‘UpdTy’ + (Use -XOverloadedRecordFields instead.) + In the type instance declaration for ‘UpdTy’ + +overloadedrecfldsfail09.hs:8:10: + Illegal instance declaration for ‘Has Int "foo" Int’ + The class is abstract, manual instances are not permitted. + In the instance declaration for ‘Has Int "foo" Int’ + +overloadedrecfldsfail09.hs:9:10: + Illegal instance declaration for ‘Upd Int "foo" Int’ + The class is abstract, manual instances are not permitted. + In the instance declaration for ‘Upd Int "foo" Int’ |