Stevie Strickland
a30d1aa9a3
Syncing
...
svn: r12768
2008-12-10 19:02:08 +00:00
John Clements
965cbb00e2
fixed test/exn
...
svn: r12767
2008-12-10 19:00:29 +00:00
Stevie Strickland
138a3554e2
Don't use the contract pretty printer when we try to see if we can single
...
line the contract error.
svn: r12766
2008-12-10 18:56:13 +00:00
Stevie Strickland
8bc883d1cb
Last changes, everything works up to here.
...
svn: r12765
2008-12-10 18:51:40 +00:00
Jay McCarthy
02147ef4f3
Fixing regression
...
svn: r12764
2008-12-10 17:22:43 +00:00
Stevie Strickland
56854a84bd
I'd like a better way of handling export contracts (some of the work that
...
should be doable at compile time is being done at run time), but at least
this works for now and gives us a chance to play around with it.
svn: r12763
2008-12-10 17:19:39 +00:00
Jay McCarthy
247d9fb5fe
Doc request
...
svn: r12762
2008-12-10 16:37:18 +00:00
Eli Barzilay
004759505b
Welcome to a new PLT day.
...
svn: r12761
2008-12-10 08:50:11 +00:00
Stevie Strickland
90ad3f9221
Do the let so that (hopefully) the contract errors will get reported on the
...
identifier. With a small change in scheme/contract, it does, but even with
this, it doesn't seem to. How odd.
svn: r12760
2008-12-09 23:16:48 +00:00
Stevie Strickland
a9be78545d
Add contracts to unit imports and values imported via
...
define-values/invoke-unit. We still need contracts on unit exports,
and we might want to do the stuff here in a cleaner fashion (particularly
for define-values/invoke-unit).
svn: r12759
2008-12-09 22:14:11 +00:00
Matthew Flatt
56ffc62ee2
when embedding source modules for an executable, includes any needed reader modules
...
svn: r12758
2008-12-09 22:07:28 +00:00
Matthew Flatt
149d3a24cb
handle symbol module path as extra path
...
svn: r12757
2008-12-09 21:57:50 +00:00
Stevie Strickland
61b66c0d9c
Syncing.
...
svn: r12756
2008-12-09 20:07:43 +00:00
Robby Findler
41d0609ad2
uses system-position-ok-before-cancel? now
...
svn: r12754
2008-12-09 18:06:03 +00:00
Matthew Flatt
5eb22cfa8d
add jit_bomulr_l for PPC
...
svn: r12753
2008-12-09 15:57:34 +00:00
Matthew Flatt
e004ae390b
record modules loaded by the planet reader via current-reader-guard
...
svn: r12752
2008-12-09 11:37:57 +00:00
Eli Barzilay
8b3f58c371
Welcome to a new PLT day.
...
svn: r12751
2008-12-09 08:50:10 +00:00
Eli Barzilay
169c69a0bc
if the path is empty, use /
...
svn: r12750
2008-12-09 02:39:45 +00:00
Sam Tobin-Hochstadt
da7b6978ee
Update typed collection to use struct inheritance.
...
svn: r12747
2008-12-08 20:48:25 +00:00
Sam Tobin-Hochstadt
08fa300d14
Make inference work in subtype tests.
...
Add test for top-arr.
svn: r12746
2008-12-08 18:26:58 +00:00
Sam Tobin-Hochstadt
ea0873adb2
Handle top-arr in infer. Add convenience binding for function top.
...
svn: r12745
2008-12-08 18:24:33 +00:00
Stevie Strickland
bf5dddbd13
Adding current unit contract work over here.
...
svn: r12743
2008-12-08 17:06:53 +00:00
Sam Tobin-Hochstadt
8c4789a627
Initialize `infer' for env-lang.
...
svn: r12740
2008-12-08 16:54:13 +00:00
Matthew Flatt
4d8469b6cf
inline fixnum multiplication
...
svn: r12731
2008-12-08 13:36:24 +00:00
Eli Barzilay
104fa42d97
Welcome to a new PLT day.
...
svn: r12730
2008-12-08 08:50:13 +00:00
Sam Tobin-Hochstadt
587ca08466
Don't fail early here.
...
svn: r12729
2008-12-08 03:37:24 +00:00
Eli Barzilay
eaa896f3fa
set svn:eol-style
...
svn: r12728
2008-12-08 03:31:13 +00:00
Sam Tobin-Hochstadt
dd8e878cb4
Fix time-apply, add test
...
svn: r12727
2008-12-08 03:12:38 +00:00
Sam Tobin-Hochstadt
238b248ad5
Add `current-continuation-marks'
...
Add some exns
Test require substructs
svn: r12726
2008-12-08 03:10:12 +00:00
Matthew Flatt
ffab3dd835
add Waddell99 citation
...
svn: r12725
2008-12-08 00:07:42 +00:00
Matthew Flatt
bd48d376aa
extra '((lambda' check in bytecode optimizer
...
svn: r12724
2008-12-07 23:15:28 +00:00
Matthew Flatt
d8c28545ea
fix decompiler for recent .zo change
...
svn: r12722
2008-12-07 19:07:47 +00:00
Eli Barzilay
4bd58d9473
Welcome to a new PLT day.
...
svn: r12718
2008-12-07 08:50:11 +00:00
Matthew Flatt
014bd392da
save a few instructions on mark-stack operations
...
svn: r12716
2008-12-06 17:31:18 +00:00
Eli Barzilay
bf8816007a
Welcome to a new PLT day.
...
svn: r12715
2008-12-06 08:50:13 +00:00
Matthew Flatt
89d0801d7a
change quote-syntax to include a certificate for the enclosing module, enable certificate checking of phase-1 bindings, and fix some other problems with certificates
...
svn: r12714
2008-12-05 22:45:04 +00:00
Eli Barzilay
15ee54b301
Welcome to a new PLT day.
...
svn: r12710
2008-12-05 08:50:12 +00:00
Sam Tobin-Hochstadt
e6eb482de4
Enable require-typed-struct with substructures.
...
Fixes PR 9053.
Move test to succeed.
Add some new bindings.
svn: r12709
2008-12-05 00:25:02 +00:00
Matthew Flatt
66a0c27703
avoid shared mutation of break state across with-handlers procs
...
svn: r12706
2008-12-04 23:04:33 +00:00
Matthew Flatt
e1126a66ed
some gc-related tests
...
svn: r12705
2008-12-04 23:04:10 +00:00
Ryan Culpepper
c47cbb564a
macro stepper: reorg. lifting error checking
...
svn: r12703
2008-12-04 21:35:42 +00:00
Matthew Flatt
6dabd5cb31
fix potential problem with checking accessible module-bound ids; avoid unnecessary pagemap update in GC
...
svn: r12702
2008-12-04 20:47:10 +00:00
Matthias Felleisen
34ba6054da
run-simulation does not support recordings
...
svn: r12694
2008-12-04 14:40:36 +00:00
Ryan Culpepper
ac293ce4c7
macro stepper: small reorg.
...
svn: r12693
2008-12-03 22:24:13 +00:00
Matthew Flatt
97fafb6ce4
get rid of port-position tests on custom textual ports
...
svn: r12692
2008-12-03 21:29:06 +00:00
Matthew Flatt
8162eda54f
fix buggy new test
...
svn: r12691
2008-12-03 20:56:50 +00:00
Matthew Flatt
c55d305eab
more consistent form for a test
...
svn: r12690
2008-12-03 20:01:33 +00:00
Matthew Flatt
142fd53e90
R6RS test suite: no BOM -> big-endian output
...
svn: r12689
2008-12-03 20:00:13 +00:00
Matthew Flatt
1f2ebbb58e
R6RS test suite corrections from Kent
...
svn: r12688
2008-12-03 19:47:29 +00:00
Eli Barzilay
ba00b59ddc
Welcome to a new PLT day.
...
svn: r12686
2008-12-03 08:50:13 +00:00
