• 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
    ecddaca1
TcBinds.lhs 58.1 KB