Commit Graph

37761 Commits

Author SHA1 Message Date
Burke Fetscher
2ba4e97fa1 redex: add typed generators to the benchmark
- change delim-cont to generate a store as well
- add version of rvm that works with #:satisfying
- add version of list-machine that works with #:satisfying
- new rewrites for the above
- infrastructure to wire all of this together
2014-10-07 17:42:57 -05:00
Asumu Takikawa
f271d3b167 Adjust tc-utils too for new DrRacket protocol 2014-10-07 00:02:30 -04:00
Robby Findler
220805a6bf improve the way tooltips line things up
In particular, when a single tooltip entry has a string like:

  "wwww\n  ii"

then be sure to line up the first "i" underneath the third "w".
2014-10-06 22:12:27 -05:00
Robby Findler
8784bd984f adjust the tooltip check syntax property to insist
on the syntax object itself to identify the source,
instead of just handing over the source
2014-10-06 21:19:12 -05:00
Robby Findler
2b48e6c08a update the redex unix bitmap expected results for recent change 2014-10-06 20:16:11 -05:00
Asumu Takikawa
693355710f Add TR tooltips for type errors as well.
Adjust type tooltips to only show if there isn't a type
error on that syntax location.
2014-10-06 18:56:53 -04:00
Robby Findler
230fb91f38 fix rendering of metafunctions that use ∪, ∨, etc in the range contract 2014-10-06 17:06:47 -05:00
Neil Toronto
1e99637bf8 Added get-current-gl-context, tests (also for make-gl-bitmap), and docs 2014-10-06 16:37:06 -04:00
Asumu Takikawa
e301519a7e Add type tooltip information in TR modules
This lets DrRacket show types for expressions that
are typechecked.
2014-10-06 14:07:28 -04:00
Robby Findler
cf9a6d50e2 don't hide the tooltip frame before moving it under linux 2014-10-05 21:56:56 -05:00
Robby Findler
53aeb85759 fix editing error
closes PR 14764
2014-10-05 15:43:45 -05:00
Robby Findler
0c8834d567 make 2htdp/image's equality function ignore baselines
also some Rackety and spelling

related to PR 14760
2014-10-05 07:17:44 -05:00
Robby Findler
0f058d8cf2 require only original-enough? syntax for require annotations 2014-10-04 16:57:18 -05:00
Robby Findler
a50eeb458f add show-content as a simple way to get started with the
drracket/check-syntax library
2014-10-04 16:18:53 -05:00
Robby Findler
d46b097bc8 fix syntax error check in 'bitmap'
closes PR 14763
2014-10-04 09:29:42 -05:00
Neil Toronto
c89434d56b Add more XSync to clear the queue to avoid crashes with repeated use 2014-10-04 06:22:41 -04:00
Robby Findler
ed13d40b6f move the module browser into the drracket-tool-lib pkg
for lighter-weight reuse
2014-10-03 22:12:53 -05:00
Robby Findler
f68f329564 fix bug in 144fdb2a 2014-10-03 21:55:21 -05:00
Robby Findler
868140d91c use a new strategy for computing the baseline for the various beside functions
Instead of just taking the maximum  value of any of the baselines in the
beside case, look for the largest difference between the bottom and
the baseline and take the location of that image's baseline as the combined
baseline. If the differences are equal, take the one that is furthest away
from the top

closes PR 14760
2014-10-03 15:54:02 -05:00
Neil Toronto
36ff6d5dbb Added support for core OpenGL profiles in Linux (see set-legacy?) 2014-10-03 16:15:41 -04:00
Vincent St-Amour
b93b75706e Change prose about RacketCon videos. 2014-10-03 16:06:58 -04:00
Ryan Culpepper
f2c7218670 db: stick to ASCII for pg generated names 2014-10-03 13:07:39 -04:00
Neil Toronto
c50969d60e Use gl-config% multisample size as an upper bound instead of a lower bound 2014-10-03 13:01:57 -04:00
Robby Findler
c64a509f8a disable this file in 'raco test' 2014-10-03 10:14:58 -05:00
Matthew Flatt
9d864b1182 fix UDP improvement for Windows 2014-10-03 06:44:47 -06:00
Robby Findler
01300a7988 new unix bitmaps for redex tests to sate drdr
thanks, Jay
2014-10-03 06:48:21 -05:00
Robby Findler
6f7a633f8b remove equality to make the program easier to read
(in consultation with Jay)
2014-10-02 20:14:07 -05:00
Robby Findler
eb2db158a8 add support for macro-specified tooltips to check syntax 2014-10-02 18:47:14 -05:00
Robby Findler
2ed59fc066 add author and toc 2014-10-02 18:47:14 -05:00
Robby Findler
7e4deac707 fix a bug that disabled check syntax's tooltips
bug was introduced in august 2013
2014-10-02 18:47:14 -05:00
Robby Findler
ec82209950 remove 'print' mode from the Pretty Big language
it was buggy and fixing the bug makes it identical to write
mode, so instead of that, lets just make there not be a print mode

also, minor edits and Rackety
2014-10-02 18:47:13 -05:00
Robby Findler
33e49d0aa2 remove tests that combine outline mode with
pixel checking, as the behavior doesn't seem to be
guaranteed

also, rackety
2014-10-02 18:47:13 -05:00
Neil Toronto
6d7006e7bc Only ask for multisampling of GLX 1.4 or higher; make getting context atomic 2014-10-02 17:58:50 -04:00
Vincent St-Amour
c563b2920c John's slides. 2014-10-02 13:56:32 -04:00
Matthew Flatt
341a218ea5 racket/gui Cocoa: fix test for 10.9 2014-10-02 11:33:38 -06:00
Matthew Flatt
2a387aceea racket/network: improve UDP support
Generalize `udp-send-to`, etc., to try each possibility of
a resolved address (instead of just the first one) like
`udp-connect!` does. This matters, for example, when using
"localhost" as an address, when the machine resolves "locahost"
to both "127.0.0.1" and "::1", and when the socket is created
for the second one that would be tried.

Also, detect and discard asynchronous ICMP errors.
2014-10-02 11:33:38 -06:00
Matthias Felleisen
549776eaad more Rackety, useless exn msg 2014-10-02 12:14:12 -04:00
Matthias Felleisen
98e9bc7f9c Racket-y 2014-10-02 12:14:12 -04:00
Vincent St-Amour
0c633d91e1 Add Fogus's slides. 2014-10-02 11:40:40 -04:00
Neil Toronto
4c95f3da0d Added warning about GLX choosing indirect rendering 2014-10-01 22:51:03 -04:00
Neil Toronto
c601b82f04 Remove dependence on libgtkgl; fix indirect rendering problem
The right way to render to pixmaps is to create a GLX pixmap wrapper
and render to *that*. Almost nobody does this - including libgtkgl -
and it's almost never a problem. But it causes crashes on my system
in indirect rendering mode.

This commit changes three things.

 1. OpenGL on Linux no longer requires libgtkgl, only libGL, which
    comes preinstalled on many (most? almost all?) systems.

 2. Rendering to pixmaps is done properly, via a GLX pixmap wrapper.

 3. Direct rendering is done whenever possible, even for pixmaps.
2014-10-01 22:51:03 -04:00
Robby Findler
7aa4c94b9b fix some random generators broken when refactoring things to improve contract-stronger? 2014-10-01 21:44:02 -05:00
Matthew Flatt
b946d4639e JIT: fix allocation of letrec-bound closure over unboxed flonums
The closure could be allocated as uninitialized memory with the
expectation that it would be filled right away, but boxing values
to put in the closure could expose the uninitialized memory to
the GC. Fix the problem by boxing before allocating closures.
2014-10-01 13:13:37 -06:00
Matthew Flatt
b336194cf4 racket/gui Cocoa: disable App Nap; switch to GUI mode more lazily
On 10.9 and later, `racket/gui` now disables App Nap. Otherwise, a
program like

 #lang racket/base
 (require racket/class
          racket/gui/base)

 (define T 0.05)

 (let loop ([prev (current-inexact-milliseconds)])
   (sleep T)
   (define now (current-inexact-milliseconds))
   (define delta (- now prev))
   (when (delta . > . (* 2000 T))
     (printf "long wait ~a at ~a\n" delta now))
   (loop now))

will start to report a wait of more than 10 seconds, as App Nap
puts the process to sleep.

Relatedly, when `racket/gui` is started via plain `racket` (as opposed
to GRacket), then it starts in "accessory" mode instead of "regular"
mode, which means that the application does not appear in the dock
or have a menu bar. As soon as a frame is shown or a root menu bar
is created, the application is promoted to "regular" mode. This works
in 10.7 and later.
2014-10-01 13:13:37 -06:00
Asumu Takikawa
0a71fe1d28 Fix types for eq/eqv/equal-hash-code
Thanks to this SO question:
  http://stackoverflow.com/questions/26130215
2014-10-01 13:53:18 -04:00
Ryan Culpepper
b2c6022989 syntax/parse: support pvar:literal patterns 2014-10-01 10:39:56 -04:00
Ryan Culpepper
e1e2e7e5da syntax/parse: conventions have lowest priority 2014-10-01 10:39:56 -04:00
Ryan Culpepper
462bf4b399 syntax/parse: fix docs typos and mistakes
closes PR 14675, closes PR 14674
2014-10-01 10:39:56 -04:00
Ryan Culpepper
ee65681a90 syntax/parse: literals shadow pattern forms etc
closes PR 14750
2014-10-01 10:39:56 -04:00
Ryan Culpepper
2d2f5dc333 tests for SSL server-side SNI
thanks to Jay Kominek
2014-10-01 10:39:56 -04:00