Eli Barzilay
|
3e0638e9ab
|
Welcome to a new PLT day.
svn: r2487
|
2006-03-23 09:20:02 +00:00 |
|
Robby Findler
|
8617ca8fcd
|
defeats the inlining optimization by making procedure bodies big in order to do lazy contract checking
svn: r2486
|
2006-03-22 21:12:53 +00:00 |
|
Robby Findler
|
ab80f98943
|
added another contract-greater test
svn: r2483
|
2006-03-22 15:22:09 +00:00 |
|
Robby Findler
|
f21648204e
|
made this always type in the definitions window
svn: r2482
|
2006-03-22 14:53:29 +00:00 |
|
Matthew Flatt
|
c71a318810
|
re-arrange imports to save .zo space
svn: r2481
|
2006-03-22 14:11:28 +00:00 |
|
Eli Barzilay
|
9adf79fed4
|
Welcome to a new PLT day.
svn: r2480
|
2006-03-22 09:20:02 +00:00 |
|
Matthew Flatt
|
d2737c73a4
|
replace same-closure with procedure-closure-contents-eq?
svn: r2476
|
2006-03-21 15:28:59 +00:00 |
|
Robby Findler
|
ed9d988cd8
|
uri-codec-unit changed internally to only remap ascii chars and to automatically escape (ala utf-8) other bytes
svn: r2475
|
2006-03-21 14:57:51 +00:00 |
|
Eli Barzilay
|
1f056dbc47
|
Welcome to a new PLT day.
svn: r2474
|
2006-03-21 09:20:02 +00:00 |
|
Robby Findler
|
e2d053bac1
|
PR 7976 fixed
svn: r2473
|
2006-03-21 02:11:14 +00:00 |
|
Matthew Flatt
|
8c3234f112
|
fix define-syntaxes to not assume that the variable bucket has flags
svn: r2472
|
2006-03-21 00:18:54 +00:00 |
|
Matthew Flatt
|
0158970c1a
|
notes for 301.11
svn: r2470
|
2006-03-20 20:40:03 +00:00 |
|
Matthew Flatt
|
693e173dd4
|
301.11
svn: r2469
|
2006-03-20 20:35:36 +00:00 |
|
Matthew Flatt
|
6a4dccff65
|
tweak for 301.11 inlining
svn: r2468
|
2006-03-20 20:33:43 +00:00 |
|
Matthew Flatt
|
6b7e973056
|
new tests for 301.11
svn: r2467
|
2006-03-20 20:33:22 +00:00 |
|
Eli Barzilay
|
dc63516c39
|
Welcome to a new PLT day.
svn: r2465
|
2006-03-20 09:20:02 +00:00 |
|
Robby Findler
|
820d3b311f
|
svn: r2462
|
2006-03-19 14:53:40 +00:00 |
|
Eli Barzilay
|
cb729cf4ca
|
Welcome to a new PLT day.
svn: r2460
|
2006-03-19 09:20:18 +00:00 |
|
Robby Findler
|
bb9b8eb90e
|
finished lazy data structure contracts
svn: r2458
|
2006-03-19 00:03:48 +00:00 |
|
Robby Findler
|
4bf37100d9
|
accidentally committed a change to this file. this is reverting it back
svn: r2453
|
2006-03-18 05:34:37 +00:00 |
|
Robby Findler
|
d8217b9d27
|
added first stages of improvments to contract library to support lazy structure contracts. not yet complete, but contract system is in working order, so committing
svn: r2452
|
2006-03-18 05:33:08 +00:00 |
|
John Clements
|
812a6cb4fe
|
added example-parser.ss
svn: r2448
|
2006-03-17 20:58:55 +00:00 |
|
Eli Barzilay
|
82237795a0
|
Welcome to a new PLT day.
svn: r2447
|
2006-03-17 09:20:02 +00:00 |
|
Kathy Gray
|
165779f4b1
|
Corrected cast to String bug, punctuation and spelling errors in some error messages
svn: r2445
|
2006-03-16 19:55:51 +00:00 |
|
Eli Barzilay
|
56f6cc0211
|
Welcome to a new PLT day.
svn: r2441
|
2006-03-16 09:20:01 +00:00 |
|
Eli Barzilay
|
208a463112
|
patched version from Jens (PR7824)
svn: r2440
|
2006-03-16 06:31:54 +00:00 |
|
Jacob Matthews
|
6cef2e9230
|
added tests for planet, fixed some bugs in moddep's planet handling
svn: r2433
|
2006-03-15 16:59:57 +00:00 |
|
Eli Barzilay
|
575136e426
|
Welcome to a new PLT day.
svn: r2429
|
2006-03-15 09:20:02 +00:00 |
|
Matthew Flatt
|
c3002840c2
|
restored libscheme COPYING
svn: r2426
|
2006-03-14 15:26:46 +00:00 |
|
Eli Barzilay
|
cf7db4956f
|
Welcome to a new PLT day.
svn: r2425
|
2006-03-14 09:20:07 +00:00 |
|
Matthew Flatt
|
1c10a636cb
|
fix 'lib' path collapsing to always use Unix style
svn: r2422
|
2006-03-13 20:19:05 +00:00 |
|
Eli Barzilay
|
e9b3b863d8
|
Welcome to a new PLT day.
svn: r2420
|
2006-03-13 09:20:02 +00:00 |
|
Matthew Flatt
|
3c6aaf97c0
|
test syntax pattern match on vectors
svn: r2419
|
2006-03-12 16:16:37 +00:00 |
|
Matthew Flatt
|
7b968839e8
|
Lauri's patch to syntax pattern match on vectors
svn: r2418
|
2006-03-12 16:16:07 +00:00 |
|
Eli Barzilay
|
dbed916752
|
Welcome to a new PLT day.
svn: r2417
|
2006-03-12 09:20:02 +00:00 |
|
Matthew Flatt
|
fa34048e30
|
typo in x86 Darwin support
svn: r2416
|
2006-03-11 13:27:27 +00:00 |
|
Eli Barzilay
|
354b9128fc
|
Welcome to a new PLT day.
svn: r2415
|
2006-03-11 09:20:02 +00:00 |
|
John Clements
|
289e076893
|
added preliminary acl2 support
svn: r2414
|
2006-03-11 00:21:19 +00:00 |
|
Jacob Matthews
|
566bcba4d5
|
extended collapse-module-path to handle planet
svn: r2412
|
2006-03-10 16:29:44 +00:00 |
|
Jacob Matthews
|
4a8811c6b0
|
fix drscheme-stopping contract problem
svn: r2410
|
2006-03-10 14:57:05 +00:00 |
|
Eli Barzilay
|
27415ae0bc
|
Welcome to a new PLT day.
svn: r2408
|
2006-03-10 09:20:01 +00:00 |
|
Matthew Flatt
|
17670dd89d
|
moddep contracts and testing
svn: r2407
|
2006-03-10 03:35:23 +00:00 |
|
Matthew Flatt
|
9379eec0e9
|
fix bug with --force warning
svn: r2403
|
2006-03-09 22:07:17 +00:00 |
|
Matthew Flatt
|
2543ebd5a8
|
fix runstack global register on arithmtic slow path
svn: r2402
|
2006-03-09 20:14:41 +00:00 |
|
Robby Findler
|
eb09d5483a
|
updated based on latest email to plt-scheme
svn: r2401
|
2006-03-09 17:32:49 +00:00 |
|
Matthew Flatt
|
bde760a0c2
|
NetBSD config fixes
svn: r2400
|
2006-03-09 14:26:47 +00:00 |
|
Eli Barzilay
|
01d074baf3
|
Welcome to a new PLT day.
svn: r2399
|
2006-03-09 09:20:02 +00:00 |
|
Robby Findler
|
9ddd7d429b
|
fixed bug in c:c;c:l, PR 7944
svn: r2398
|
2006-03-09 00:29:55 +00:00 |
|
Robby Findler
|
4a78a1d1ee
|
svn: r2397
|
2006-03-08 23:04:54 +00:00 |
|
Robby Findler
|
c2c31213d2
|
svn: r2396
|
2006-03-08 22:13:17 +00:00 |
|