diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 00:32:17 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 17:58:40 +0100 |
| commit | 1ee7e9a058f035926ef9d37ef58af409e0c3c998 (patch) | |
| tree | e4daa1193f58b714e559ae4cd0303b610488e093 /html-test/ref/Bug85.html | |
| parent | f84ddf06c9daf86a2e15bf44cf877ce2324967cf (diff) | |
Use -fprint-unicode-syntax when --use-unicode is enabled
This allows GHC to render `*` as its Unicode representation, among other
things.
Diffstat (limited to 'html-test/ref/Bug85.html')
0 files changed, 0 insertions, 0 deletions