Changes between Version 8 and Version 9 of Exceptions/PreciseExceptions


Ignore:
Timestamp:
Mar 22, 2017 9:54:14 PM (2 years ago)
Author:
dfeuer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Exceptions/PreciseExceptions

    v8 v9  
    234234}}}
    235235
     236What about something like `noDuplicate#`? That's a bit weird. It doesn't produce any result,
     237it doesn't have any visible effect, but we're not allowed to discard it. However, we ''are''
     238allowed to be strict in case branches beyond it.
     239
    236240See [[Demand/IO-vs-ST]] for some discussion of why we don't want to use the `IO` hack or allow `has_side_effects` to affect
    237241demand analysis when we're working with strict `ST`.