Changes between Initial Version and Version 1 of Ticket #14295


Ignore:
Timestamp:
Sep 27, 2017 8:55:13 PM (2 years ago)
Author:
dfeuer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14295 – Description

    initial v1  
    1 I don't know how important this is in practice, but it smells pretty silly.
     1I don't know how important this is in practice, but it looks unfortunate.
    22
    33Suppose I write
     
    2222}}}
    2323
    24 That seems pretty silly! We know that `tagToEnum#` is applied to `Bool`, so we can transform this to something like
     24That seems pretty bad! We know that `tagToEnum#` is applied to `Bool`, so we can transform this to something like
    2525
    2626{{{#!hs