• Simon Peyton Jones's avatar
    Refactor computing dependent type vars · 17eb2419
    Simon Peyton Jones authored
    There should be no change in behaviour here
    
    * Move splitDepVarsOfType(s) from Type to TcType
    
    * Define data type TcType.TcDepVars, document what it means,
      and use it where appropriate, notably in splitDepVarsOfType(s)
    
    * Use it in TcMType.quantifyTyVars and friends
    17eb2419
TcSimplify.hs 86.5 KB