Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-6680 unsoundness in gadt typing. | Paul Phillips | 2013-10-01 | 1 | -1/+1 |
* | Cull extraneous whitespace. | Paul Phillips | 2013-09-18 | 1 | -2/+2 |
* | Begone t1737... | Hubert Plociniczak | 2011-11-02 | 1 | -2/+2 |
* | int -> Int, etc.. | michelou | 2008-06-10 | 1 | -19/+18 |
* | changled handling of gadts | Martin Odersky | 2006-07-28 | 1 | -0/+26 |