Carl Eastlund
|
9fbf023d90
|
Took collection path simplification out of this file.
svn: r17729
|
2010-01-19 03:38:55 +00:00 |
|
Carl Eastlund
|
0edd786361
|
Removed more occurrences of old source info representation.
svn: r17724
|
2010-01-18 23:24:34 +00:00 |
|
Carl Eastlund
|
167c9cb1a8
|
Changed contract source locations to perform module resolution in advance.
svn: r17723
|
2010-01-18 23:11:12 +00:00 |
|
Carl Eastlund
|
6ac7fe78e6
|
Ported object contracts to new properties.
svn: r17719
|
2010-01-18 18:32:26 +00:00 |
|
Carl Eastlund
|
1014dd2da4
|
Converted provide.ss to use new contract form and deference variable-reference.
svn: r17716
|
2010-01-18 17:05:06 +00:00 |
|
Carl Eastlund
|
124050d54e
|
Converted current-contract-region to dereference variable-reference.
svn: r17715
|
2010-01-18 17:04:44 +00:00 |
|
Carl Eastlund
|
b0c93342d9
|
Fixed type error in source location conversion.
svn: r17714
|
2010-01-18 17:04:01 +00:00 |
|
Carl Eastlund
|
4d22b7a5f4
|
Allowed path values in blame s-expressions.
svn: r17708
|
2010-01-17 18:50:55 +00:00 |
|
Carl Eastlund
|
4e3874a1c5
|
Moved path pretty-printing into blame module.
svn: r17707
|
2010-01-17 18:50:40 +00:00 |
|
Carl Eastlund
|
00d79083e3
|
Slight changes to new contract protocol.
svn: r17705
|
2010-01-17 18:35:19 +00:00 |
|
Carl Eastlund
|
b24b946155
|
Added explicit checks for saner contract protocol.
svn: r17704
|
2010-01-17 18:02:39 +00:00 |
|
Carl Eastlund
|
bb7bd9de51
|
Typos and type errors in new property stuff.
svn: r17700
|
2010-01-17 07:23:47 +00:00 |
|
Carl Eastlund
|
e408fd464b
|
Propagated guts exports through scheme/contract/base and scheme/contract.
svn: r17698
|
2010-01-17 06:18:13 +00:00 |
|
Carl Eastlund
|
7716e58f61
|
Ported basic-opters.ss to new properties.
svn: r17697
|
2010-01-17 06:12:59 +00:00 |
|
Carl Eastlund
|
336dd1b808
|
Ported ds.ss to new properties.
svn: r17696
|
2010-01-17 06:10:29 +00:00 |
|
Carl Eastlund
|
41bd96f6aa
|
Made blame objects transparent to allow equal?
svn: r17695
|
2010-01-17 06:10:09 +00:00 |
|
Carl Eastlund
|
da89b2146f
|
Reindented.
svn: r17694
|
2010-01-17 05:58:43 +00:00 |
|
Carl Eastlund
|
2ed1f852aa
|
Ported misc.ss to new properties.
svn: r17693
|
2010-01-17 05:44:54 +00:00 |
|
Carl Eastlund
|
41565a3869
|
Ported exists.ss to new properties.
svn: r17692
|
2010-01-17 05:24:00 +00:00 |
|
Carl Eastlund
|
ee944b575a
|
Ported base.ss to new properties.
svn: r17691
|
2010-01-17 05:18:49 +00:00 |
|
Carl Eastlund
|
42b3b8820b
|
Added simplification of collects paths to blame error printing.
svn: r17690
|
2010-01-17 05:18:37 +00:00 |
|
Carl Eastlund
|
18e33c2ce1
|
Exported source->name function.
svn: r17689
|
2010-01-17 05:18:13 +00:00 |
|
Carl Eastlund
|
ed47b31635
|
Updated arrow.ss to new properties.
svn: r17688
|
2010-01-17 04:17:40 +00:00 |
|
Carl Eastlund
|
d10eea83e7
|
Ported opt-guts.ss and opt.ss to use new properties.
svn: r17687
|
2010-01-17 03:54:22 +00:00 |
|
Carl Eastlund
|
1d9b4a79b7
|
Reimplemented guts based on new properties.
svn: r17686
|
2010-01-17 03:36:56 +00:00 |
|
Carl Eastlund
|
05c4296eca
|
Fixed evaluation order.
svn: r17685
|
2010-01-17 03:36:17 +00:00 |
|
Carl Eastlund
|
ff00fefb2d
|
Core implementation of new contract datatypes.
svn: r17684
|
2010-01-17 02:54:55 +00:00 |
|
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 |
|