Fix Trac #2701: make deriving check better for unlifted args
authorsimonpj@microsoft.com <unknown>
Sat, 25 Oct 2008 17:12:11 +0000 (17:12 +0000)
committersimonpj@microsoft.com <unknown>
Sat, 25 Oct 2008 17:12:11 +0000 (17:12 +0000)
commit6b1a6f305f801a1e2a90c3b513e76e7c2d221499
tree992633230b6c48150accba134edfb37c5d787820
parent2896564599896f78bddf881e70165b1b299a815c
Fix Trac #2701: make deriving check better for unlifted args

Getting the automatic deriving mechanism to work really smoothly
is surprisingly hard.  I keep finding myself in TcDeriv!

Anyway, this is a nice clean fix to Trac #2701.
compiler/typecheck/TcDeriv.lhs
compiler/typecheck/TcGenDeriv.lhs