Changes between Initial Version and Version 1 of Ticket #13331


Ignore:
Timestamp:
Feb 24, 2017 5:31:16 AM (3 years ago)
Author:
dfeuer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13331 – Description

    initial v1  
    7474}}}
    7575
    76 does exactly the same thing. The only ''simple'' way I found to avoid that is to remove the bang patterns, which really ''shouldn't'' work, but does. This, however, is prohibited by the required semantics—we must be strict in the key even if comparison is not. The only fix I've found thus far is truly disgusting, and seems to work at least partly by mistake:
     76does exactly the same thing. The only ''simple'' way I found to avoid that is to remove the bang patterns, which really ''shouldn't'' work, but does. This, however, is prohibited by the desired semantics—I believe we want to be strict in the key even if comparison is not. In any case, that really shouldn't be causing trouble and it is. The only fix I've found thus far is truly disgusting, and seems to work at least partly by mistake:
    7777
    7878{{{#!hs