Skip to content
  • Simon Peyton Jones's avatar
    Improve CPR behavior for strict constructors · 0696fc6d
    Simon Peyton Jones authored
    When working on Trac #10482 I noticed that we could give constructor
    arguments the CPR property if they are use strictly.
    
    This is documented carefully in
        Note [CPR in a product case alternative]
    and also
        Note [Initial CPR for strict binders]
    
    There are a bunch of intersting examples in
        Note [CPR examples]
    which I have added to the test suite as T10482a.
    
    I also added a test for #10482 itself.
    0696fc6d