at what stage can we be sure that PredTy's are gone?
dimitris at microsoft.com
Thu Feb 17 10:37:21 CET 2011
Sorry, I missed the full thread but the following:
> 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?
is not accurate (currently!). What happens instead is that
(+>) t1 t2 t3
is represented as:
forall _:(t1 ~ t2). t3
So, it'just a forall type, that quantifies over an unused variable, whose kind is an EqPred type.
Cvs-ghc mailing list
Cvs-ghc at haskell.org
More information about the Cvs-ghc