Skip to content
Find file Blame History Permalink
  • Simon Peyton Jones's avatar
    [project @ 2005-03-15 15:40:23 by simonpj] · b462d6a6
    Simon Peyton Jones authored 
    ----------------------------------
 	Two GADT error-reporting bugs
	----------------------------------

	Merge to STABLE

1.  Bug in kind-checking for GADTs; turned out to be in
    isOpenTypeKind on KindVars

2.  Missed check for the return type for GADTs
    b462d6a6