Kill inaccessible-branch complaints in record update
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 8 Feb 2017 16:12:36 +0000 (16:12 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 8 Feb 2017 16:18:14 +0000 (16:18 +0000)
commit3cfef763ab6ccd23f72604e5ee2f027a4b6ce043
treeefc865f693cad0c11bdf45df0cc1a9b556022a24
parent9f3c1e67e5731124e499a420df52397b652876c8
Kill inaccessible-branch complaints in record update

Trac #12957 (the original case in the Description) showed a record
update that yielded an "inaccessible code" warning. This should not
happen; it's just some redundant code generated by the desugarer (later
pruned away) and it's not the user's fault.

This patch suppresses the warning.  See Check.hs
Note [Inaccessible warnings for record updates]
compiler/deSugar/Check.hs
testsuite/tests/pmcheck/should_compile/T12957a.hs [new file with mode: 0644]
testsuite/tests/pmcheck/should_compile/all.T