Using blacklist of places not to cover, rather than reverse-engineer deriving.
authorandy@galois.com <unknown>
Sat, 9 Jun 2007 00:00:21 +0000 (00:00 +0000)
committerandy@galois.com <unknown>
Sat, 9 Jun 2007 00:00:21 +0000 (00:00 +0000)
commit6ebfe518116d1c97a9d46013271f359decea2d15
treeb6048ce552eaec4a58f5f5a43d3655650546ecf3
parent7a77f1b7a336d07749145d25763ccb587de17df1
Using blacklist of places not to cover, rather than reverse-engineer deriving.
compiler/deSugar/Coverage.lhs
compiler/deSugar/Desugar.lhs