Matthew Flatt
3801fc0432
scribble: fix image metrics in HTML output for exact fractions
...
Avoid generating sizes such as `1003790/1581`.
2014-08-05 16:00:18 +01:00
Robby Findler
a9ce8bfd65
modernize stlc.rkt and eliminate ellipses so that well-typed generation works
2014-08-05 01:55:41 -05:00
Mike Sperber
106cd16d35
Synch German string constants with latest.
2014-08-03 20:17:02 +02:00
Robby Findler
e0351c07fc
a little more extra info for drdr
2014-08-02 19:27:28 -05:00
Asumu Takikawa
d3057da2ac
Use blueboxes cache in xrepl
2014-08-02 14:22:01 -04:00
Ryan Culpepper
7ba6c663cd
v6.1 announcement text
2014-08-02 13:33:29 -04:00
Ryan Culpepper
7608125543
v6.1 installers info
2014-08-02 11:19:51 -04:00
Robby Findler
b77731617c
add a will-executor example
2014-08-02 09:11:27 -05:00
Robby Findler
484f512965
add a little more info in the syntax check printouts for drdr
2014-08-02 09:11:27 -05:00
Matthias Felleisen
1bf4bf1872
signatures broke a while back and nobody uses then in *SL
2014-08-02 09:10:24 -04:00
Asumu Takikawa
ac93668a20
Show blueboxes info in xrepl with ,describe
2014-08-02 08:26:49 -04:00
Robby Findler
4315018ace
change a hash so it doesn't map from syntax objects directly, but
...
instead constructs a suitable key
2014-08-02 06:22:28 -05:00
Robby Findler
bc5ab79910
add some debugging output to try to figure out what's different about drdr
...
when running the check syntax tests
2014-08-02 02:31:58 -05:00
Robby Findler
cad8331141
use scribble/blueboxes
2014-08-02 01:52:44 -05:00
Robby Findler
24ecd04563
add a scribble/blueboxes library to get the content of the
...
blueboxes in unstyled form
(moved from DrRacket here)
2014-08-02 01:52:44 -05:00
Matthias Felleisen
e4c6d76269
bring back structure type w/o re-enabling broken signatures
2014-08-01 22:58:03 -04:00
Matthias Felleisen
6782f7a85f
I broke this test; I am not sure why it worked in the first place -- to be checked
2014-08-01 21:42:39 -04:00
Matthias Felleisen
42426272c2
disabled signatures instead of allowing renaming because they are not working anyway (?)
2014-08-01 21:17:40 -04:00
Matthias Felleisen
1d227b5a6d
some Racket-y, mostly focused on 102
2014-08-01 13:54:13 -04:00
Matthias Felleisen
8a0cdb83de
improved syntax check for check-satisfied
2014-08-01 10:08:21 -04:00
Matthias Felleisen
e430753b6c
some Racket-y (102); arrows and renaming for define-struct in teaching languages; need to find and run lang tests
2014-08-01 09:00:51 -04:00
Matthew Flatt
a57734d7ae
racket/gui cocoa: revive make-gl-bitmap
for Mac OS X 10.7 and up
...
Port from AppleGL to CoreGL, and implement offscreen drawing through
a framebuffer instead of CGLSetOffScreen() for 10.7 and later.
2014-07-31 14:47:30 +01:00
Matthew Flatt
efd7593097
meta/pkg-build: minor repair to status messages
2014-07-31 10:28:19 +01:00
Matthew Flatt
30d30ce74c
win32: fix 32-bit get-seconds
2014-07-31 09:53:07 +01:00
Robby Findler
459a8cbe71
fix link to drracket docs
2014-07-31 01:34:41 -05:00
Sam Tobin-Hochstadt
6a62717b8d
Shorten strings shown in C-S-o
2014-07-30 17:00:40 -07:00
Sam Tobin-Hochstadt
c24a864986
Remove long lines in typecheck-tests.rkt
2014-07-30 16:07:20 -07:00
Sam Tobin-Hochstadt
5bda93dfd5
Don't allow nullary functions under Any
to be called.
...
Closes PR 14173.
2014-07-30 16:07:19 -07:00
Sam Tobin-Hochstadt
9eaae1f93e
Close holes in what values can be thrown.
...
- Don't allow 3d-syntax in the exprs field of `exn:fail:syntax`
- Don't allow throwing arbitrary higher-order values
2014-07-30 16:07:19 -07:00
Asumu Takikawa
597c62949b
Fix typo for syntax-shift-phase-level docs
...
Closes PR 14665
2014-07-30 14:46:29 -04:00
Asumu Takikawa
c140308603
Export editor stream base classes in TR GUI
2014-07-30 14:46:29 -04:00
Matthias Felleisen
dc7a3da60f
clean up doc
...
it is still worrisome that I am documenting something from here that students should never, ever see
2014-07-30 13:21:24 -04:00
Matthias Felleisen
92ac062511
clean up requires
2014-07-30 13:20:46 -04:00
Matthias Felleisen
6a18525eba
how to add a new check- feature to test-engine
2014-07-30 11:26:13 -04:00
Matthias Felleisen
eb8fb04baa
check-satisfied: the basic functionality, the display in repl and test suite gui, plus the communication among these modules; missing: language constant
2014-07-30 11:26:13 -04:00
Matthias Felleisen
08f32b1a6e
check-satisfied: added tests for test success and failure; todo (in general): error message checks
2014-07-30 11:26:12 -04:00
Matthias Felleisen
fd99525638
check-satisfied: added feature to the htdp languages
2014-07-30 11:26:12 -04:00
Matthias Felleisen
ecfafe6312
check-satisfied: documentation for both htdp-langs and test-engine
2014-07-30 11:26:12 -04:00
Matthew Flatt
5d57311897
increase timeout for "teachpack.rkt" test
...
The test now runs concurrently with other GUI tests, so it competes
more for various resources.
2014-07-30 13:03:41 +01:00
Matthew Flatt
dc271e8347
racket/port: enable buffering for peeking-input-port
2014-07-30 11:49:04 +01:00
Matthew Flatt
9d17a35539
fix expand
on a module
containing lifts from expression
...
Another attempt at the bug that b95baa1d25
was intended to fix.
2014-07-30 10:33:52 +01:00
Matthew Flatt
b95baa1d25
fix expand
on a module
containing a #%declare
form
2014-07-30 08:49:28 +01:00
Matthew Flatt
21f78ecd14
fix problem with (continuation-marks <thread>)
...
A thread can be swapped out while it's in transition between a
mandling of the mark-stack position and recovering from C-stack
overflow. Fix up that case.
2014-07-30 07:20:45 +01:00
Matthew Flatt
f3a8883331
fix switch of gracket
-based DrDr tests
...
Forgot the `*`, so the tests were not run.
2014-07-30 06:38:15 +01:00
Matthew Flatt
807b909e73
allow expand
on cross-phase-persistent modules
...
Previoulsy, `expand` mode explicitly disallowed cross-phase declaration
in commit 2e652fc2b3
. I'm not sure why, and that commit has no test
case that fails when the restriction is removed, so my best guess is
that it was a debugging strategy that I forgot to undo.
2014-07-30 06:30:44 +01:00
Matthew Flatt
30a354c820
scribble: recognize 'exact-chars even when a style name is #f
...
Patch from Tero Hasu.
2014-07-30 05:27:37 +01:00
Matthew Flatt
99acf8c8f1
meta/tests/unix-installer: disable for DrDr
...
The test is meant to be run manually at release time.
2014-07-30 05:27:37 +01:00
Matthew Flatt
e99c897b90
switch gracket
-based DrDr tests to raco test -m --fresh-user
...
Various GUI (especially DrRacket) tests have used `(gracket *)` as
a signal that the tests must be serialized, but those tests can run
concurrently if run with a different "home" directory (as determined
by the `PLTUSERHOME` environment variable).
Change those test to use `raco test -m --fresh-user`, instead,
which runs the test with a fresh home directory.
2014-07-30 05:27:37 +01:00
Robby Findler
ee533c898c
extend 'open collection path' menu item to support local files,
...
when the dialog's content starts with an open quote, ala a require
2014-07-29 21:16:45 -05:00
Asumu Takikawa
565fb07064
Fix typo in GUI type
2014-07-29 17:03:56 -04:00