log

age author description
Mon, 24 Jan 2011 15:44:15 +0000 mcimadamore 6943278: spurious error message for inference and type-variable with erroneous bound