at what stage can we be sure that PredTy's are gone?
megacz at cs.berkeley.edu
Thu Feb 17 02:35:32 CET 2011
Roman Leshchinskiy <rl at cse.unsw.edu.au> writes:
> However, coreView from types/Type.lhs expands one level of a type to
> the representation.
Ah, that worked perfectly. Thank you!
> But note that equality predicates as also PredTys and they aren't
> removed by coreView.
I see. Could you help me correlate EqPred with the System FC1 (Appendix
C) paper? I've been working from the assumption that
FunTy (EqPred t1 t2) t3
corresponds to the following
(+>) t1 t2 t3
from the System FC (1) paper, Figure 7. Is that correct?
More information about the Cvs-ghc