Skip to content
GitLab
Switch branch/tag
Find file BlameHistoryPermalink
  • simonpj's avatar
    [project @ 2005-03-16 09:04:26 by simonpj] · ad626c24
    simonpj authored 
    ----------------------------------
 	Two GADT error-reporting bugs
	----------------------------------

	Merge to STABLE

...missed file...

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

....
    ad626c24