Skip to content
  • Simon Peyton Jones's avatar
    Make SpecConstr work again · a496c6a2
    Simon Peyton Jones authored
    In a typo I'd written env instead of env', and as a result RULES are
    practically guaranteed not to work in a recursive group.  This pretty
    much kills SpecConstr in its tracks!
    
    Well done Kenny Lu for spotting this.  The fix is easy.
    
    Merge into 6.8 please.
    
    
    a496c6a2