Carl Eastlund
|
fe40d3e888
|
Merged changes from trunk.
svn: r18007
|
2010-02-06 19:23:24 +00:00 |
|
Eli Barzilay
|
c88a5a6856
|
A bunch of additional typos
svn: r17976
|
2010-02-05 03:21:52 +00:00 |
|
Carl Eastlund
|
2e64069d14
|
Re-disabled legacy (contract ...) form.
svn: r17960
|
2010-02-03 17:08:26 +00:00 |
|
Carl Eastlund
|
1d4cdbeb45
|
Exports from scheme/contract/private/blame: removed constructor; fixed confusing selector names.
svn: r17909
|
2010-01-31 03:03:30 +00:00 |
|
Carl Eastlund
|
d5329eb2a6
|
Make contract form more permissive; import make-blame.
svn: r17908
|
2010-01-31 01:48:08 +00:00 |
|
Carl Eastlund
|
bf308563d2
|
Hide make-blame; remove blame-positive and blame-negative; make blame objects transparent (but allow equal?).
svn: r17907
|
2010-01-31 01:47:48 +00:00 |
|
Carl Eastlund
|
f8df3608d4
|
Hide "make-blame" from normal export.
svn: r17906
|
2010-01-31 01:47:07 +00:00 |
|
Carl Eastlund
|
0e697067cb
|
Uniformly "unpack" contract blame party names.
svn: r17904
|
2010-01-31 00:30:00 +00:00 |
|
Carl Eastlund
|
29b628cb0a
|
Fixed legacy projections to allow 4 or 5 arguments.
svn: r17903
|
2010-01-31 00:29:37 +00:00 |
|
Carl Eastlund
|
7d577d9d02
|
Removed an unnecessary require.
svn: r17901
|
2010-01-30 21:45:52 +00:00 |
|
Carl Eastlund
|
2772ffccba
|
Restored legacy functions for custom contracts.
svn: r17900
|
2010-01-30 21:14:27 +00:00 |
|
Carl Eastlund
|
7f58c26709
|
Replaced uses of quote-srcloc with quote-syntax.
svn: r17757
|
2010-01-19 23:25:07 +00:00 |
|
Carl Eastlund
|
791178a549
|
Fixed printing of blame error messages to use display and write appropriately.
svn: r17753
|
2010-01-19 09:28:28 +00:00 |
|
Carl Eastlund
|
51983e3829
|
Fixed simple-contract stronger check.
svn: r17752
|
2010-01-19 09:28:08 +00:00 |
|
Carl Eastlund
|
6a0469b680
|
Fixed detection of printable contracts in dependent struct contracts.
svn: r17751
|
2010-01-19 09:27:51 +00:00 |
|
Carl Eastlund
|
9506494416
|
Fixed a shadowed name
svn: r17743
|
2010-01-19 07:28:06 +00:00 |
|
Carl Eastlund
|
d01e61508f
|
Fixed a blame assignment typo.
svn: r17741
|
2010-01-19 07:14:00 +00:00 |
|
Carl Eastlund
|
5d7774e7b2
|
Fixed test for procedure?, which now recognizes flat contracts, and typo for contract-projection.
svn: r17738
|
2010-01-19 05:59:47 +00:00 |
|
Carl Eastlund
|
4b739b5f62
|
Removed obsolete build-src-loc-string
svn: r17734
|
2010-01-19 03:43:00 +00:00 |
|
Carl Eastlund
|
3921e16aa1
|
Updated lingering use of old src-info format.
svn: r17732
|
2010-01-19 03:41:30 +00:00 |
|
Carl Eastlund
|
4de3ee3a9e
|
Re-enabled 4-argument contract macro, and added more output to misuse messages.
svn: r17731
|
2010-01-19 03:41:03 +00:00 |
|
Carl Eastlund
|
2f2068356c
|
Replaced mistaken #f with srcloc.
svn: r17730
|
2010-01-19 03:39:28 +00:00 |
|
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 |
|