RHS of a type instance must be a tau type
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Jun 2007 04:59:31 +0000 (04:59 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Jun 2007 04:59:31 +0000 (04:59 +0000)

No differences found