diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-22 00:09:10 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:31 +0100 |
| commit | 08e592eb55c4f4f86fe824e572517be7e44b2cb8 (patch) | |
| tree | 7f6738f269fca5679f6130bb12f77022c1106880 /html-test/src/GADTRecords.hs | |
| parent | aec90be7b95b2116e3c436b91b7c35aec026f6cc (diff) | |
Fix type renamer bug with incorrect names being generated.
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions