Fix #12064 by making IfaceClass typechecking more lazy.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Sun, 15 May 2016 23:13:51 +0000 (16:13 -0700)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Thu, 9 Jun 2016 04:27:17 +0000 (21:27 -0700)
commit8f6d292746217f1fa9f645ff8d191943af1c5771
treec65e35a151df7358257b0578781704a6fd9f6252
parentd7933cbc28f4f094eba3d128bc147920f68c965b
Fix #12064 by making IfaceClass typechecking more lazy.

Summary:
Comes with a test based off of prog006.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate

Reviewers: simonpj, austin, bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2221

GHC Trac Issues: #12064
compiler/iface/TcIface.hs
compiler/typecheck/TcRnDriver.hs
testsuite/tests/typecheck/should_compile/T12064.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/T12064.hs-boot [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/T12064a.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T