Expand Note [Non-trivial definitional equality]
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 24 Feb 2016 19:41:37 +0000 (14:41 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 15 Mar 2016 01:44:17 +0000 (21:44 -0400)
commit6c768fcf0d6749bf5029baf6b7f99271b48b1037
tree8cebdf3cdfcd929b1f829061079a58728d75ca57
parent972730cc42a419b8cd148abaa927e03415da3a68
Expand Note [Non-trivial definitional equality]

This adapts the text from D1944.

[skip ci]
compiler/types/TyCoRep.hs