Skip to content
  • Simon Peyton Jones's avatar
    Renaming and comments in CorePrep · 623b8e44
    Simon Peyton Jones authored
    In particular I renamed
      'triv' to 'arg'
      CpeTriv to CpeArg
    in Note [CorePrep invariants], with knock on consequences.
    
    This is groundwork for the fix to Trac #11158
    623b8e44