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
|
888045dcf9
|
Replaced make-proj-contract with simple-contract in tests.
svn: r17737
|
2010-01-19 05:31:18 +00:00 |
|
Carl Eastlund
|
e94bef6938
|
Updated more contracts in the mzlib collection.
svn: r17736
|
2010-01-19 04:57:47 +00:00 |
|
Carl Eastlund
|
5606c590bd
|
Updated quote-syntax to quote-srcloc in mzlib unit contracts.
svn: r17735
|
2010-01-19 04:57:33 +00:00 |
|
Carl Eastlund
|
4b739b5f62
|
Removed obsolete build-src-loc-string
svn: r17734
|
2010-01-19 03:43:00 +00:00 |
|
Carl Eastlund
|
722fae41a8
|
Ported more code to new contract tools.
svn: r17733
|
2010-01-19 03:42:45 +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
|
d57b5fff61
|
Made source-location->string shorten collection paths.
svn: r17728
|
2010-01-19 03:38:14 +00:00 |
|
Carl Eastlund
|
2bad47fd0f
|
Ported more code to use new contract bindings.
svn: r17727
|
2010-01-19 01:01:28 +00:00 |
|
Carl Eastlund
|
a03454ec69
|
Replaced make-proj-contract in poly/c
svn: r17726
|
2010-01-19 00:21:43 +00:00 |
|
Carl Eastlund
|
9e540043bc
|
Updated local-expand of contract forms in require/contract.
svn: r17725
|
2010-01-19 00:20:54 +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
|
f346bc7f1a
|
Added a module for statically computing source locations and module paths.
svn: r17722
|
2010-01-18 23:10:10 +00:00 |
|
Carl Eastlund
|
54d5b0ac7f
|
Updated predicate list in scheme/exists/lang based on contract library changes.
svn: r17721
|
2010-01-18 18:53:06 +00:00 |
|
Carl Eastlund
|
2a5f883a4c
|
Updated contracts in XML collection.
svn: r17720
|
2010-01-18 18:49:39 +00:00 |
|
Carl Eastlund
|
6ac7fe78e6
|
Ported object contracts to new properties.
svn: r17719
|
2010-01-18 18:32:26 +00:00 |
|
Carl Eastlund
|
7763a4079a
|
Ported mzlib units to new contract system.
svn: r17718
|
2010-01-18 18:26:02 +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 |
|
Eli Barzilay
|
d8b7906fd5
|
f9 build moves to f12
svn: r17713
|
2010-01-18 06:11:51 +00:00 |
|
Eli Barzilay
|
b1abbab3ff
|
update version numbers for the v4.2.4 release
svn: r17711
|
2010-01-18 06:08:24 +00:00 |
|
Robby Findler
|
ea92d688e8
|
work on the porting guide
svn: r17709
|
2010-01-18 02:01:30 +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
|
19873777e1
|
Set srcloc processing to use syntax-source-module if possible.
svn: r17706
|
2010-01-17 18:50:11 +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 |
|
Robby Findler
|
5af38568a5
|
removed my broken attempt to fix the test; this is (I believe) an actual bug in the library
svn: r17703
|
2010-01-17 13:53:44 +00:00 |
|
Robby Findler
|
10b6388a05
|
svn: r17702
|
2010-01-17 13:43:09 +00:00 |
|
Eli Barzilay
|
01a05c2ddf
|
Welcome to a new PLT day.
svn: r17701
|
2010-01-17 08:50:47 +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
|
1f969b8831
|
Ported a lot of mzlib contracts to new properties.
svn: r17699
|
2010-01-17 07:07:06 +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 |
|