• 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
TcPatSyn.hs 41 KB