• Simon Peyton Jones's avatar
    Tidy up FunDeps.oclose · ecddaca1
    Simon Peyton Jones authored
    It turned out that FunDeps.oclose was unused. So
    * Remove oclose
    * Rename oclose1 to oclose
    * Move growThetaTyVars to FunDeps (from TcMType),
      because the comments treat it with oclose
    * Move quantifyPred to TcSimplify (from TcMType),
      because it seemed orphaned
TcBinds.lhs 58.1 KB