Commit Graph

331 Commits

Author SHA1 Message Date
Eli Barzilay
c979ffa85a small fix, other minor things
svn: r12784
2008-12-12 10:29:28 +00:00
Eli Barzilay
f7c16fc8bb * fix last commit
* when make-module-evaluator gets a path, allow reading that path
  automatically (since that's where the source is)

svn: r12778
2008-12-11 18:34:58 +00:00
Eli Barzilay
baffbeeeb2 close the input after reading
svn: r12775
2008-12-11 18:00:43 +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
Matthew Flatt
66a0c27703 avoid shared mutation of break state across with-handlers procs
svn: r12706
2008-12-04 23:04:33 +00:00
Eli Barzilay
10c9b39bfe removed unused variable
svn: r12675
2008-12-02 14:39:36 +00:00
Eli Barzilay
eb54b1a5b2 * Added `call-in-nested-thread*', and used it to improve
`call-with-limits'; specifically, it can now distinguish killing the
  main thread or shutting down the custodian from an out-of-memory
  error.
* This also makes it possible to have threads created and stay alive
  between evaluations.
* Added tests for this.

svn: r12673
2008-12-02 12:23:35 +00:00
Eli Barzilay
e0917e1a5e * Added `call-in-sandbox-context'.
* Removed `get-namespace' since it's generalized in the above.
* Deal with killing the current thread (or the current custodian) in
  the sandbox code.  (Works only without per-expression limits --
  still need to find a solution for `call-with-limits'.)
* Added tests for this.

svn: r12670
2008-12-02 05:26:45 +00:00
Eli Barzilay
fc920b18bb set-eval-limits requires two arguments
svn: r12669
2008-12-02 00:15:58 +00:00
Eli Barzilay
ab817097b4 * Create string/bytes output port in the user's custodian (at least
try to do so...).
* Add tests for output collection under resources -- some are
  commented since they're not working right, either a bug in this code
  that I don't see, or some problem with memory accounting.
* Clarify in the docs that output collection is still under resource
  limits.

svn: r12667
2008-12-01 22:19:58 +00:00
Eli Barzilay
12467b4ecd better organization for running resource limited code
svn: r12666
2008-12-01 21:28:28 +00:00
Eli Barzilay
0c2410739a cust -> user-cust
svn: r12665
2008-12-01 21:22:53 +00:00
Matthew Flatt
6e9ccd3f43 better checking of case where a local name is used before it is defined (in an int-def context)
svn: r12659
2008-12-01 12:54:16 +00:00
Eli Barzilay
8905cc86e5 Added `sandbox-exit-handler' to control the exit handler
svn: r12654
2008-11-30 21:44:47 +00:00
Matthew Flatt
2c48c2c817 splicing-syntax-parameterize and docs for scheme/splicing
svn: r12600
2008-11-26 21:31:58 +00:00
Matthew Flatt
7a66101d30 remove broken define*-struct
svn: r12590
2008-11-25 18:14:57 +00:00
Matthew Flatt
ed536c002e scheme/package (and more int-def repairs)
svn: r12589
2008-11-25 17:58:21 +00:00
Matthew Flatt
b7addbab82 provide open*-package
svn: r12586
2008-11-25 03:13:06 +00:00
Matthew Flatt
5f3b7e5c6f another int-def binding simplification repair
svn: r12585
2008-11-25 03:08:08 +00:00
Matthew Flatt
a0f91d905e revised internal-definitions context and a basic 'define-package' form
svn: r12579
2008-11-24 19:52:41 +00:00
Eli Barzilay
5b9f0aa322 Implemented a `no-empty-edge-matches' function using the new
`make-regexp-tweaker', which produces a regexp that cannot match an
empty string at the beginning or the end of the input.  This:
* simplies a whole bunch of messy and fragile code
* makes `regexp-split' and friends usable with a pattern like #px"\\b"
  (which previously would match in every position, making it explode
  the string to 1-character strings)
* makes it even closer to what perl does, the only way that we produce
  a different result from perl now is that we don't blindly drop empty
  matches at the end like perl (it *does* keep empty matches in the
  beginning though)
The two tests that demonstrated the difference are now changed, and a
bunch of other tests added.

svn: r12575
2008-11-23 05:40:54 +00:00
Eli Barzilay
ecb39eedee added make-regexp-tweaker (not used yet), and some code reorganization
svn: r12573
2008-11-23 00:17:39 +00:00
Sam Tobin-Hochstadt
4c0c3c0ff8 Fix dynamic context of use of match failure continuations.
svn: r12497
2008-11-18 21:17:36 +00:00
Sam Tobin-Hochstadt
d1fca9c04a Fix PR 9918.
svn: r12480
2008-11-17 23:58:05 +00:00
Matthew Flatt
4dd202b960 ,
svn: r12430
2008-11-13 21:11:48 +00:00
Eli Barzilay
d9b4e619eb add quotes
svn: r12404
2008-11-12 05:37:52 +00:00
Eli Barzilay
b1aee15004 improve bad access error (PR9901)
svn: r12403
2008-11-12 05:36:52 +00:00
Matthew Flatt
4fe1da791c display-list[-to-file] to display-lines[-to-file]
svn: r12402
2008-11-12 03:25:24 +00:00
Matthew Flatt
02277342ac substitute Scheme-implemented map, for-each, andmap, and ormap in scheme/base and mzscheme, since the JIT generates faster code for the common 1- and 2-argument cases
svn: r12393
2008-11-11 22:25:24 +00:00
Matthew Flatt
a6d953b6f5 add port->string, file->string, etc.
svn: r12388
2008-11-11 17:55:14 +00:00
Matthew Flatt
ad75c8aa58 fix problems in lex-rename simplification; other tiny improvements and doc repairs
svn: r12380
2008-11-10 22:50:54 +00:00
Robby Findler
773aaca3ba made mutual recursion work for ->d
svn: r12366
2008-11-09 13:42:46 +00:00
Eli Barzilay
8009a73622 added get-namespace
svn: r12364
2008-11-09 07:35:49 +00:00
Eli Barzilay
f85ab5567c increment line counter only on real inputs (not evaluator messages)
svn: r12363
2008-11-09 07:25:36 +00:00
Robby Findler
2394848555 function contracts now preserve tail recursion
svn: r12360
2008-11-09 02:31:25 +00:00
Sam Tobin-Hochstadt
c4deb8e5e7 Fix handling of wrong size vectors.
Add tests.
Fixes PR9885.

svn: r12334
2008-11-06 20:23:40 +00:00
Matthew Flatt
fadf10cf10 fix problems with template expansion when a pattern variable is used at different depths under a common ellipsis
svn: r12327
2008-11-06 16:21:50 +00:00
Matthew Flatt
37aae202c5 speed up doc build a little; fix bugs related to getting continuation marks from a thread and using the errortrace profiler
svn: r12237
2008-11-04 23:32:44 +00:00
Matthew Flatt
95bedb17fb change contracts to reflect context via #%variable-reference instead of syntax objects; add id-less #%variable-reference form; drop link to unneeded CPort objects in delayed thunks; streamline some modules that tend to show up in deep phases
svn: r12231
2008-11-04 14:24:12 +00:00
Robby Findler
122f8d41dc PR 9852
svn: r12076
2008-10-20 20:08:05 +00:00
Robby Findler
eb7d9be3f0 fixed the contract? predicate so that it recognizes thigns that aren't yet turned into contract structs
svn: r12043
2008-10-15 12:54:37 +00:00
Robby Findler
2ef287f107 added empty as a coerceable value
svn: r12025
2008-10-13 21:09:18 +00:00
Matthew Flatt
ec68bafa9c add eqv hash tables; add hash-update
svn: r12018
2008-10-13 16:21:18 +00:00
Eli Barzilay
98975fc524 move the reader of make-module-evaluator inside the user context jail
svn: r11963
2008-10-07 14:20:18 +00:00
Eli Barzilay
bbceacae84 turn on read-accept-reader in the default-sandbox-reader
svn: r11962
2008-10-07 14:14:59 +00:00
Eli Barzilay
433819df52 Added a #:language argument to `make-module-evaluator' to enforce a
particular language module.

svn: r11954
2008-10-06 21:34:24 +00:00
Eli Barzilay
062152e711 fixed PR9806 and PR9807
svn: r11940
2008-10-05 04:42:48 +00:00
Matthew Flatt
086f3c3b44 fix int-def context binding problems, fix scheme/splicing, change rnrs/base-6 to use scheme/splicing
svn: r11917
2008-09-30 22:03:55 +00:00
Eli Barzilay
d892cb243e * Move the help functionality into the search collection, so it is not
packaged with the mzscheme distribution
* Make scheme/help throw a helpful message if the file is missing

svn: r11896
2008-09-28 20:43:13 +00:00
Eli Barzilay
4efab4f12f removed some unnecessary old autoloading, reformat some stuff
svn: r11886
2008-09-27 02:12:02 +00:00