• 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
Kind.lhs 5.93 KB