Changes between Version 15 and Version 16 of FixingExceptions


Ignore:
Timestamp:
Jan 31, 2019 10:22:28 AM (7 months ago)
Author:
sgraf
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FixingExceptions

    v15 v16  
    22
    33As of Jan 2019, this is rather obsolete. #14998 figured out that we don't really need the whole `ExnStr` business and that the benefits of making `catch#` `strictApply1Dmd` in its argument doesn't bring any performance benefits.
    4 There probably still are some good ideas on this page, just ignore the bits about `ExnStr`. Joining the demand types of the two arguments to `catch#` like two alts of a case sounds reasonable, for example. SG
     4There probably still are some good ideas on this page, just ignore the bits about `ExnStr`. Joining the demand types of the two arguments to `catch#` like two alts of a case sounds reasonable, for example, but I'm not sold there are actual benefits in doing so. SG
    55
    66== Fixing demand analysis for exceptions ==