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 |
|
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 |
|
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 |
|
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 |
|
Robby Findler
|
4189297063
|
added in missing require
svn: r17676
|
2010-01-16 20:06:27 +00:00 |
|
Robby Findler
|
7d34a9ecd5
|
fixed path problem
svn: r17675
|
2010-01-16 17:28:31 +00:00 |
|
Matthew Flatt
|
2dcfe69763
|
fix doc typo
svn: r17673
|
2010-01-16 14:23:16 +00:00 |
|
Eli Barzilay
|
8a190a4ab4
|
Welcome to a new PLT day.
svn: r17671
|
2010-01-16 08:50:45 +00:00 |
|
Robby Findler
|
ddf0b4ec01
|
added finer control over pens
svn: r17670
|
2010-01-16 02:03:54 +00:00 |
|
Jon Rafkind
|
b3d41faa68
|
parse function calls and definitions
svn: r17669
|
2010-01-15 21:44:56 +00:00 |
|
Ryan Culpepper
|
6eb51f9402
|
macro-stepper: yet another local-expansion fix
svn: r17668
|
2010-01-15 21:33:36 +00:00 |
|
Matthew Flatt
|
f2e60c97a7
|
drop native stack traces from continuations; they're expensive to compute, not actually used, and could be computed on demand
svn: r17667
|
2010-01-15 20:57:52 +00:00 |
|
Ryan Culpepper
|
9a2408f267
|
macro-debugger: fixed module & local-expansion bug
svn: r17666
|
2010-01-15 20:13:09 +00:00 |
|
Sam Tobin-Hochstadt
|
3fc133a0b8
|
Correct typing for `or'.
svn: r17665
|
2010-01-15 19:39:46 +00:00 |
|
Matthew Flatt
|
5f3b90943b
|
JIT fast path for setting global/module variable; repair fix for PR 10693
svn: r17663
|
2010-01-15 14:02:57 +00:00 |
|
Eli Barzilay
|
59ba9df1c8
|
Welcome to a new PLT day.
svn: r17662
|
2010-01-15 08:50:52 +00:00 |
|
Sam Tobin-Hochstadt
|
5e1b355e32
|
Syntax for predicates with non-empty paths
svn: r17660
|
2010-01-14 23:17:56 +00:00 |
|
Sam Tobin-Hochstadt
|
d69c96cf06
|
update to the final version of this code
svn: r17658
|
2010-01-14 22:09:31 +00:00 |
|
Sam Tobin-Hochstadt
|
104adf9c62
|
Types for the other `check-expect'-style forms.
svn: r17657
|
2010-01-14 21:24:47 +00:00 |
|
Matthew Flatt
|
e90853cccd
|
rewind part of inlining algorithm that could help somewhat with higher-order functions that contain internal loops, but it can also make other code much worse
svn: r17656
|
2010-01-14 21:20:49 +00:00 |
|
Kevin Tew
|
24d2dbf65e
|
fix GC medium objects allocation size accounting
svn: r17655
|
2010-01-14 20:18:43 +00:00 |
|
Sam Tobin-Hochstadt
|
1ab2a41092
|
Paths for first' and rest'
svn: r17654
|
2010-01-14 20:00:37 +00:00 |
|
Sam Tobin-Hochstadt
|
33592b4f6c
|
Typecheck `or' correctly.
svn: r17653
|
2010-01-14 19:53:28 +00:00 |
|
Robby Findler
|
902dfc17ae
|
a few cleanups to the porting guide
svn: r17652
|
2010-01-14 18:39:23 +00:00 |
|
Matthew Flatt
|
857c3bbb17
|
fix GC double counting of big gen0 pages
svn: r17651
|
2010-01-14 18:09:41 +00:00 |
|