Asumu Takikawa
|
8d0c352dcc
|
Add a custom object contract for use in TR
This corresponds to the more strict object contracts
from the OOPSLA paper. Also use `object/c-opaque` in
TR contract generation
|
2015-03-04 16:26:35 -05:00 |
|
Asumu Takikawa
|
e2fd3b6653
|
Enable opaque class contracts in TR
|
2015-03-04 13:28:06 -05:00 |
|
Asumu Takikawa
|
ec15f58542
|
Basic support for contract gen for PolyRow types
Currently only supports the typed export side. The other
way needs contract features that haven't been merged yet.
|
2015-02-27 15:19:30 -05:00 |
|
Asumu Takikawa
|
6a855f664c
|
Reorganize type->contract for polymorphic methods
|
2015-02-27 13:37:07 -05:00 |
|
Asumu Takikawa
|
643c20afdb
|
Add missing contract generation error cases
Functions with dotted values or AnyValues in the return type
aren't yet supported for contract generation.
Related to PR 14894
|
2014-12-27 05:31:46 -05:00 |
|
Vincent St-Amour
|
134f793ccc
|
Reduce directory nesting for tests.
|
2014-12-16 10:07:25 -05:00 |
|