at what stage can we be sure that PredTy's are gone?

[Dimitrios Vytiniotis]

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.

thanks
  d-


  


_______________________________________________
Cvs-ghc mailing list
Cvs-ghc at haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc