| Commit | Date | |
|---|---|---|
| 2009-04-03 21:43:00 | Tree | |
|
[r4868]
by
dlsmith
DynamicJava: Cleaned up type inference implementation; added inference support for union types and disjunctive constraints. |
2009-04-02 16:53:27 | Tree |
|
[r4867]
by
dlsmith
PLT Utilities: Added a static Option.unwrap method which supports a default value with a different type than that of the Option. |
2009-04-02 14:44:09 | Tree |
|
[r4866]
by
mgricken
Asking DrJava to quit had to occur in the event thread to M src/edu/rice/cs/drjava/ui/NewVersionPopup.java |
2009-04-02 05:49:04 | Tree |
| 2009-04-02 04:19:37 | Tree | |
| 2009-04-02 04:18:04 | Tree | |
| 2009-04-02 04:15:42 | Tree | |
| 2009-04-02 03:56:06 | Tree | |
|
[r4861]
by
dlsmith
PLT Utilities: Added CollectUtil.composeMaxLists and composeMinLists as an optimized special case of maxList and minList. |
2009-04-01 17:58:16 | Tree |
|
[r4860]
by
dlsmith
DynamicJava: Upgraded ASTGen. Improved implementation of subtyping and meet/join, supporting the union/intersection distribution rule. |
2009-04-01 15:14:56 | Tree |