Eli Barzilay
|
220801c80c
|
typo in error message
svn: r17526
|
2010-01-07 03:39:33 +00:00 |
|
Sam Tobin-Hochstadt
|
046c21b2ae
|
Make `make-provide/contract-transformer' available. To be used in
Typed Scheme's `provide'.
Signed-Off-By: sstrickl
svn: r17280
|
2009-12-13 03:17:51 +00:00 |
|
Sam Tobin-Hochstadt
|
fde17c1567
|
Provide more information in `hash/c' error messages.
Signed-Off-By: sstrickl
svn: r17279
|
2009-12-13 03:17:05 +00:00 |
|
Robby Findler
|
61da010d5f
|
PR 10636
svn: r17163
|
2009-12-02 17:09:07 +00:00 |
|
Carl Eastlund
|
3b9d254fda
|
Merged changes from branches/cce/plt+contract-tests:
- Added tests for make-proj-contract
- Added tests for opt/c, specifically to track 'positive-position?' blame
- Fixed 'positive-position?' in opt/c (bug 10629)
svn: r17105
|
2009-11-30 04:40:51 +00:00 |
|
Stevie Strickland
|
71eef1bbd8
|
Allow for changing the name on flat contracts via flat-named-contract.
svn: r16928
|
2009-11-20 20:45:45 +00:00 |
|
Robby Findler
|
4ddbe71e2d
|
fixed the comparison contracts so they work right wrt to complex numbers
svn: r16445
|
2009-10-28 16:04:39 +00:00 |
|
Stevie Strickland
|
a7ff1cba83
|
Add definition checks back.
svn: r16377
|
2009-10-19 23:45:06 +00:00 |
|
Stevie Strickland
|
c17885638a
|
* Fix with-contract so that all uncontracted names are automatically exported
* Also allow mutation of contracted names that flow in/out of with-contract.
svn: r16376
|
2009-10-19 23:17:30 +00:00 |
|
Robby Findler
|
7dbd784048
|
PR 10518
svn: r16282
|
2009-10-08 16:32:37 +00:00 |
|
Stevie Strickland
|
636adcc142
|
Refactoring all the private contract stuff into its own playpen.
svn: r16052
|
2009-09-17 20:55:37 +00:00 |
|
Stevie Strickland
|
3805186531
|
Add scheme/contract/base.
svn: r16051
|
2009-09-17 19:52:00 +00:00 |
|