Robby Findler
a12f47f506
moved the teaching language test suites to their own directory
2010-09-02 15:41:02 -05:00
Jay McCarthy
f272acec5f
Correcting bug discovered by Arjun
2010-09-02 07:04:22 -06:00
Matthew Flatt
962ceb6b63
fix interaction between copy prop and once-used binding elimination
...
in the bytecode compiler, which could cause an expression to be
duplicated
2010-09-01 15:22:32 -06:00
Matthew Flatt
69658697b1
add proxies and rename chaperone properties to proxy properties
...
where a proxy is less constrained in its conversions but more
constrained in where it can be used
2010-08-31 19:15:20 -06:00
Ryan Culpepper
bfb1eed2e9
updated test
2010-08-31 17:15:36 -06:00
Ryan Culpepper
712a8f60e9
updated syntax/parse/exp./splicing, updated honu use
...
fixed stress.rkt
2010-08-31 16:21:44 -06:00
Ryan Culpepper
d7a87c79e0
Merged changes to syntax/parse
...
Changed backtracking algorithm, runtime representations
- syntax classes, ~describe no longer implicitly commit
- ~describe no longer delimits effect of cut
Added keyword & optional args for stxclasses
Added ~do and #:do, ~post, ~commit and #:commit,
~delimit-cut and #:no-delimit-cut
Added syntax/parse/debug, syntax/parse/experimental/*
- expr/c for contracting macro sub-expressions
moved from syntax/parse to syntax/parse/experimental/contract
- syntax class reflection (~reflect, ~splicing-reflect)
- eh-alternative-sets (~eh-var)
- provide-syntax-class/contract
(only for params, not attrs so far)
Changed ~fail to not include POST progress (#:fail still does)
old (~fail _) is now (~post (~fail _))
Made msg argument of ~fail optional
Removed generic "repetition constraint violated" msg
Removed atom-in-list stxclass
Removed unnecessary datum->syntax on cdr of pair pattern
massive improvements to long-list microbenchmarks
Optimization: integrable syntax classes (id, expr, keyword)
need better measurements
Optimization: ad hoc elimination of head/tail choice point
for (EH ... . ()) patterns
Added unstable/wrapc (proc version of expr/c)
2010-08-31 10:55:58 -06:00
Matthew Flatt
76c3c76214
fix yet more ss<->rkt problems that interfered with *SL executables
...
Closes PR 11106
2010-08-30 14:35:18 -06:00
Kevin Tew
bc5d1c2011
Places: added shared-flvector and shared-byte string
2010-08-30 08:50:07 -06:00
Robby Findler
cfa1c9bf43
fixed a bug in the test suite (so that now the language is only changed when needed)
2010-08-30 09:23:34 -05:00
Robby Findler
35de0b22d0
added a test coverage test suite
2010-08-30 09:23:34 -05:00
Robby Findler
ab839f9efd
minor rackety
2010-08-30 09:23:34 -05:00
Robby Findler
eb75edfaa1
renamed drracket test suite
2010-08-30 09:23:33 -05:00
Jay McCarthy
f899e03b59
Moving stress tests
2010-08-30 06:39:12 -06:00
Jay McCarthy
6a43e379e1
Correct test usage of port
2010-08-30 06:39:11 -06:00
John Clements
4d1d1e5b0e
removed new stepper test from automatic testing (until fixed).
2010-08-29 10:38:27 -07:00
Vincent St-Amour
e1fd445fa4
Ignored a rounding error between PPC and x86.
2010-08-29 10:17:56 -04:00
Robby Findler
23739a21d8
fixed indentation
2010-08-29 05:17:41 -05:00
Robby Findler
454f8772ab
unbroke Eli's change
2010-08-29 05:17:41 -05:00
Jay McCarthy
bc15f398f2
Increasing FTP test stability
2010-08-28 18:52:39 -06:00
Jay McCarthy
c24d6f94e7
Supporting empty programs in datalog languages, fixes pr11140
2010-08-28 15:54:38 -06:00
Robby Findler
36c2eea571
an attempt to be more windows friendly
2010-08-28 14:06:01 -05:00
Jay McCarthy
33d7eb40e3
Fixing pr11136 and adding tests and fixing old tests re extension change
2010-08-28 08:30:14 -06:00
John Clements
3b94602e2e
added test case for PR 11120
2010-08-27 16:42:32 -07:00
Vincent St-Amour
b386f01ee4
Improved sandboxing with code from Eli.
2010-08-27 18:18:51 -04:00
Vincent St-Amour
f06c2d4926
Removed obsolete comment.
2010-08-27 18:18:51 -04:00
Vincent St-Amour
9f540bce01
Better way to setup the sandbox input.
2010-08-27 14:43:22 -04:00
Vincent St-Amour
1c9e8e05b0
Cleanup of the test harness.
2010-08-27 13:29:43 -04:00
Vincent St-Amour
7cfba9f02d
Renamed tests directory to make more sense with the new structure.
2010-08-27 13:29:43 -04:00
Vincent St-Amour
ca16ac4db5
Improved logging since it's now used for testing.
2010-08-27 13:29:42 -04:00
Vincent St-Amour
18af26ec9b
Test expected optimizations by comparing optimizer logs instead of expanded code.
2010-08-27 13:29:42 -04:00
Robby Findler
c8e68e5e31
updated the docs to reflect that the various checks return void. Also added in some tests to that effect.
2010-08-27 11:27:29 -05:00
Jay McCarthy
7190d423f7
Fixing pr11125
2010-08-26 17:14:09 -06:00
Jay McCarthy
d4e3946ba2
Adding apply stress test from Will M. Farr
2010-08-26 17:14:09 -06:00
Sam Tobin-Hochstadt
0635fc6d75
Create data/ collection.
...
- Initially populated with queues, skip-lists, and interval-maps from unstable/
- Tests in tests/data, docs in data/scribblings
2010-08-26 18:22:28 -04:00
Vincent St-Amour
46b2a2113a
Use sandboxes instead of duplicate files to test results when optimizing.
2010-08-26 18:08:41 -04:00
Vincent St-Amour
eadc2a7e4c
Exclude directories when testing TR's optimizer.
2010-08-26 17:46:59 -04:00
Vincent St-Amour
ea472a9d57
Added with-asserts, from code from Neil Toronto.
2010-08-26 17:46:58 -04:00
Sam Tobin-Hochstadt
7fc38693ec
Fix tests for new output.
2010-08-26 16:59:12 -04:00
Sam Tobin-Hochstadt
3e4ddde808
Tests for new optimizer additions.
2010-08-26 16:59:12 -04:00
Sam Tobin-Hochstadt
fd2d37a710
Add optimization for `magnitude', fix handling of functions that return floats, not complexes.
2010-08-26 16:59:12 -04:00
Eli Barzilay
8e0f8dd39c
More "~n" -> "\n" changes
2010-08-26 12:11:00 -04:00
Eli Barzilay
7dc4d2e5a6
Change a bunch of "~%" and "~n" in format strings to "\n".
2010-08-25 17:17:01 -04:00
Eli Barzilay
606b7f60dc
Lots of "~e" to "~.s" changes.
2010-08-25 17:17:01 -04:00
Eli Barzilay
e179449d0e
Switch to `racket/base', change some "~e"s to "~.s"s, also reformat and
...
a few minor improvements.
2010-08-25 17:17:01 -04:00
Eli Barzilay
da083f05e8
avoid relying on bash
2010-08-25 17:17:01 -04:00
Kevin Tew
19a00d887e
Places: allow channels in compound data communications
2010-08-25 15:10:15 -06:00
Jay McCarthy
45a8854398
Adding immutable hash operations to ASL
2010-08-25 10:36:36 -06:00
Jay McCarthy
368d711ae2
Optional arguments to hash table constructors in ASL
2010-08-25 10:36:34 -06:00
Sam Tobin-Hochstadt
b08de170bc
Add Futureof' type, types for
future' and `touch'
2010-08-25 10:27:07 -04:00