Skip to content
  • Simon Peyton Jones's avatar
    Make sure rule LHSs are simplified · 3cadf440
    Simon Peyton Jones authored
    SpecConstr was generating a rule LHS with nested casts,
    which the simplifier then optimised away.  Result: unbound
    template variables.
    
    Easily fixed.  See Note [SpecConstr call patterns]
    3cadf440