[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Type arrow erratum



Kevin writes: 

     type 	->	type -> btype 
		|       btype 

this should be 

     type 	->	btype -> type
		|       btype

-- Mikael R.