Commit Graph

37761 Commits

Author SHA1 Message Date
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