diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2013-08-27 06:59:12 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2013-08-27 06:59:12 +0100 |
| commit | ac04da29b1a2bfb7139b7e9d0d2b88ea397a3bcc (patch) | |
| tree | 607a4b495f7c6801c8b724a6214af818e9850b2e /html-test/ref/mini_GADTRecords.html | |
| parent | c298f6041c1dabff3d049b9fe7610b71fb3ff396 (diff) | |
Fix ticket #247.
I do the same thing that the XHTML backend does: give these no special
treatment and just act as if they are regular functions.
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions