compiler/types/Coercion.lhs · 459fb7bcb36bea9798486b74098e800b1d55139f · Glasgow Haskell Compiler / GHC · GitLab

Aug 03, 2011
459fb7bc
isCoVarType should look at the *representation* type, · 459fb7bc
Simon Peyton Jones authored Aug 03, 2011
```
rather than using isPredTy!  In Core land, a PredTy
and its representation type are synonymous.
```
459fb7bc
isCoVarType should look at the *representation* type,
Simon Peyton Jones authored Aug 03, 2011
```
rather than using isPredTy!  In Core land, a PredTy
and its representation type are synonymous.
```