Mike Sperber
17c4cb9254
Two more (hopefully last) renamings "Vertrag" -> "Signatur"
...
(i.e. "contract" -> "signature" in German)
2010-10-18 13:30:34 +02:00
Mike Sperber
43d097cc05
Don't annoy the user with test-engine summaries.
...
Make sure the test-engine summary is only printed when there's
something new to say.
2010-10-18 10:10:27 +02:00
Mike Sperber
0821f694af
Made sperber responsible for `test-engine-tests.rkt'.
2010-10-18 10:00:49 +02:00
Mike Sperber
32455894bc
Unbreak the test-engine-test.rkt test suite.
...
- signatures are only in ASL now
- the error messages for the DMdA languages are different
2010-10-18 09:37:48 +02:00
Mike Sperber
2a418b9cf0
For DMdA, follow Robby's fix for htpd-langs.ss.
...
Namely, don't set an uncaught-exception-handler.
2010-10-18 09:36:17 +02:00
John Clements
bb160fbc04
r/exact-integer?/fixnum/
2010-10-17 21:17:23 -07:00
John Clements
9f7eeee570
exr -> expr
2010-10-17 21:17:22 -07:00
Matthew Flatt
9f959f247e
fix quotability annotation on HtDP-language structs
...
Merge to 5.0.2
2010-10-17 19:32:17 -07:00
Matthew Flatt
bb799ee9ee
fix problem with recursive prints in custom printers
...
Merge to 5.0.2
2010-10-17 19:32:17 -07:00
Robby Findler
0614da5992
adjusted the recently opened menu items code so that it does not create all of the menu items as often
2010-10-17 10:25:08 -05:00
Matthew Flatt
68079d738d
fix 3m problem with --disable-jit and --disable-futures
...
Merge to 5.0.2
2010-10-17 08:53:44 -06:00
Matthew Flatt
aaeb21e0cc
fix --disable-jit plus --disable-futures
...
Merge to 5.0.2
2010-10-17 08:51:32 -06:00
Matthew Flatt
51f20afd0b
initialize `make-flvector' result with default 0.0s
...
Merge to 5.0.2
2010-10-17 06:35:09 -06:00
Eli Barzilay
f1982b6683
New Racket version 5.0.2.1.
2010-10-17 03:50:14 -04:00
Robby Findler
93260c7dd0
fixed mangled test case
2010-10-16 22:24:16 -05:00
Matthew Flatt
caa747e5c6
fix an interaction of `dynamic-wind' pre thunks and composable continuations
...
Merge to 5.0.2
2010-10-16 19:44:33 -06:00
Ryan Culpepper
23d1721ad3
Post-release version for the v5.0.2 release
2010-10-16 18:49:12 -06:00
Robby Findler
ccdea59949
added a failing test case; fixing this one isn't simple, but hopefully will also lead to good performance improvements (for some models at least)
2010-10-16 16:29:17 -05:00
Robby Findler
99d85159b6
adjusted define-metafunction/extension so that it recompiles the old cases in the new language
2010-10-16 16:29:15 -05:00
Robby Findler
e875f262d9
added a test case to be sure that the extension's clauses come before the original clauses in an extended metafunction
2010-10-16 16:29:15 -05:00
Jay McCarthy
fae28f1bb3
Disable stress
2010-10-15 13:44:34 -06:00
Jay McCarthy
e6b2965d39
Re-enabling tests
2010-10-15 13:08:39 -06:00
Jay McCarthy
05dc137ca0
Fixing srcloc on module expressions because srclocs come from the cons
2010-10-15 13:08:39 -06:00
Jay McCarthy
4528c7657a
Fixing mutator test printing modulo line numbers
2010-10-15 13:08:38 -06:00
Jay McCarthy
f6fbc85d1b
Adding test printing tests
2010-10-15 13:08:38 -06:00
Jay McCarthy
e8ceade2a5
Little stress tests
2010-10-15 13:08:38 -06:00
Mike Sperber
39541c51b5
Add `tech-equal?'.
...
This refuses to work on inexact numbers and procedures. Use it in
`check-expect' & friends.
2010-10-15 15:26:24 +02:00
Robby Findler
1d0ebeae62
added a check to avoid creating a new bitmap struct (so caching works better when you flip images that are not scaled)
2010-10-14 14:05:12 -05:00
Sam Tobin-Hochstadt
4311a5e5d6
disable this file too
2010-10-14 14:55:51 -04:00
Sam Tobin-Hochstadt
a826b8462e
disable this file since it doesn't terminate
2010-10-14 14:54:11 -04:00
Vincent St-Amour
12a5454b14
Removed logging when no optimization actually happens.
2010-10-14 14:13:06 -04:00
Eli Barzilay
42e76eaaf4
Encode any text instead of going through a pretty-printer.
2010-10-14 13:46:51 -04:00
Eli Barzilay
dc25ef2d26
Pub links for byu and calpoly.
2010-10-14 13:46:50 -04:00
Robby Findler
dac011bc9f
move the signature coverage test to ASL since signatures are now only in ASL
2010-10-14 11:45:04 -05:00
Sam Tobin-Hochstadt
c7eb46b1b3
Fix props
2010-10-14 12:21:28 -04:00
Sam Tobin-Hochstadt
24bddafa82
Add type for `compose'
2010-10-14 11:44:14 -04:00
Robby Findler
61188f3e44
adjusted to new error messages
2010-10-14 10:06:26 -05:00
Robby Findler
345707b4bc
adjusted props so Matthias is notified for teaching language related tests
2010-10-14 10:06:26 -05:00
Vincent St-Amour
3f5ea8a5be
Fixed a test to reflect implicit let in cond instead of implicit begin.
2010-10-14 10:53:43 -04:00
Robby Findler
2f01da7450
props
2010-10-14 07:27:40 -05:00
Robby Findler
c2d7f58e65
Rackety
2010-10-13 17:44:20 -05:00
Robby Findler
2652237559
fixed a bug in extended languages & the _ check
2010-10-13 17:44:19 -05:00
Robby Findler
3e9858b001
added an argument to open-input-text-editor so that it can lock (and unlock) the editor when editing would not be allowed.
2010-10-13 15:55:17 -05:00
Robby Findler
fc22d10b49
fixed typos
2010-10-13 15:55:17 -05:00
Robby Findler
c785235af4
made the pretty big and r5rs drracket languages use the new read-accept-lang parameter to disable #lang in the REPL
2010-10-13 15:55:17 -05:00
Robby Findler
798e35bb4c
fixed a bug in the test suite so that test errors are now (all) reported to stderr instead of stdout
...
also added a test suite for teh 'language in the source' language
2010-10-13 15:55:17 -05:00
Robby Findler
0998934e1e
only require mred/mred, not all of scheme/gui (which includes
...
mred/mred but also lots of stuff from the scheme library)
2010-10-13 15:55:16 -05:00
Robby Findler
8032705cf9
The call to display-results depends on the value of the current-namespace
...
parameter. Specifically, it is expected to be a namespace that has the GUI
bindings available. Unfortunately, during the dynamic extent of the
uncaught-exception-handler when a syntax error is raised, this may not be
the case because you get a phase 1 namespace, not a phase 0 one.
So, move the call to display-results to the code that runs the student language
programs and out of the uncaught exception handler.
2010-10-13 15:55:16 -05:00
Robby Findler
e2958e0605
don't catch break exceptions
2010-10-13 15:55:16 -05:00
Robby Findler
2de8b978ba
move read-accept-lang parameter setting to the right place
2010-10-13 15:55:16 -05:00
