Commit Graph

38639 Commits

Author SHA1 Message Date
Robby Findler
43ffd4b6ce start the drracket-tools pkg
pull out the drracket/check-syntax library into this pkg
2014-09-30 21:02:13 -05:00
Asumu Takikawa
994c54c722 Fix embarrassing bug in OO subtyping
Subtyping on objects was unsound due to an attempt to
make the algorithm more clever. This was a good lesson in
the danger of premature optimization.
2014-09-30 21:56:07 -04:00
Burke Fetscher
96714934b6 redex: try harder when checking non-terminals
Unfold non-terminals other than the one we're currently
checking, and follow variable references, when normalizing
patterns for nt checking.
2014-09-30 17:31:08 -05:00
Burke Fetscher
72055d3a3a redex: make the depth-based clause ordering smarter 2014-09-30 17:31:08 -05:00
Vincent St-Amour
08d3345f60 Add Neil's slides. 2014-09-30 16:22:37 -04:00
Ryan Culpepper
5312a4b09f update docs for syntax pattern expanders 2014-09-30 11:05:04 -04:00
Ryan Culpepper
3d5fcaa355 move pattern-expander contracts to outer modules, trim exports
This avoids mysterious errors later in the build process related to
TR and static-contracts. I don't see how the pattern-expander code
could possibly cause the errors that occur, but this commit fixes them.
2014-09-30 11:05:04 -04:00
AlexKnauth
81cc6bf4d0 add pattern-expanders to syntax/parse 2014-09-30 11:05:04 -04:00
Matthew Flatt
89690c6de9 2htdp/universe: adjust world loop to make it a loop
Similar to the server-side problem, but on the client side. In a
game where the server drives the clients with frequent messages
through `on-tick`, per-message growth in the continuation can
matter a lot.
2014-09-29 21:21:47 -06:00
Matthew Flatt
346365f64c 2htdp/universe: adjust universe loop to make it a loop
Neither the body nor handler functions in `with-handlers` are
in tail position with respect to `with-handlers`.
2014-09-29 17:06:15 -06:00
Vincent St-Amour
e6eba83512 Add links to videos, and add links to slides/code in the schedule. 2014-09-29 15:57:11 -04:00
Vincent St-Amour
f07300589a Revert "testing"
This reverts commit 6ccfbec2b9.
2014-09-29 15:42:07 -04:00
Vincent St-Amour
e5fd7e504d Revert "Revert "fix a bug in f669c47c1""
This reverts commit 2e29a18039.

Reverted the wrong commit.
2014-09-29 15:41:51 -04:00
Matthias Felleisen
2e29a18039 Revert "fix a bug in f669c47c1"
This reverts commit 379ed6b46e.

Stupid robby experiment
2014-09-29 12:06:47 -04:00
Matthias Felleisen
6ccfbec2b9 testing 2014-09-29 12:06:47 -04:00
Robby Findler
144fdb2a18 improve magic opening square bracket for for/fold 2014-09-29 09:02:44 -05:00
Matthias Felleisen
34d7c22740 added secret state code for Oliver 2014-09-28 19:26:20 -04:00
Matthias Felleisen
6f3335e062 added history to modified handlers 2014-09-28 19:26:20 -04:00
Matthias Felleisen
2ea8dc01b9 allow universe handlers to return state of universe, not just bundle 2014-09-28 19:26:20 -04:00
Matthias Felleisen
5da9f42319 allow universe handlers to return state of universe, not just bundle 2014-09-28 19:26:20 -04:00
Matthias Felleisen
8cfa68b647 allow universe handlers to return state of universe, nt just bundle 2014-09-28 19:26:20 -04:00
Matthias Felleisen
26d1b52140 moved batch-io test for xexpr at neu to manual mode 2014-09-28 19:26:20 -04:00
Robby Findler
c5220e3030 added for/fold back into the pref defaults for the magic opening
square bracket

(this was a bug in c03c02bc)
2014-09-28 17:14:05 -05:00
Robby Findler
c03c02bccb fix for/fold indentation
inspired by Greg's RacketCon talk

also, Rackety
2014-09-28 15:16:59 -05:00
Matthew Flatt
a41cc0c3c0 DrRacket: drop numpad Enter treatment as force-evaluation
DrRacket's interactions window tried to treat numpad Enter the same
as ctl-Return: send input to the reader, even if an S-expression is
incomplete. Since numpad Enter events were not reported as
'numpad-enter, however, the special treatment didn't take effect.

Meanwhile, it appears that some keyboard configurations report a
numpad Enter event when NumLock is on and the regular Enter key
is pressed, and that's probably not what a user wants. And
numpad Enter has never been reported differently from regular
Enter on Windows.

So, it's simpler and more consistent to just treat numpad Enter
and regular Enter the same.
2014-09-28 08:41:05 -06:00
Matthew Flatt
7d388a0795 racket/gui: fix reporting of numpad Enter as 'numpad-enter
On Unix and Mac OS X, the key has long been reported as #\u3,
even though the documentation says 'numpad-enter.

A more compatible change would be to adjust the documentation and
also change DrRacket and the framework to recognize #\u3 instead
of 'numpad-enter. But there doesn't seem to be a good reason to
treat #\u3 as "numpad Enter" --- particularly as opposed to treating
it as "Ctl-C" --- other than ancient Mac history.

On Windows, numpad Enter continues to be reported as #\return,
since Windows event handling doesn't naturally or easily distinguish
the two keys.
2014-09-28 08:39:42 -06:00
Matthew Flatt
cf7c013477 Windows: fix handling of junctions as links
On Windows, a "soft link" or "junction" is different from a
"symbolic link". The current Windows documentation is
incomplete in that it describes the behavior of GetFileAttributesEx
for a symbolic link, but not for a junction, and I guessed wrong.
For consistency, junctions need to be treated like symbolic links.
2014-09-27 20:45:13 -06:00
Matthew Flatt
2eb943e0de racket/place: fix nested-place termination 2014-09-26 06:41:41 -06:00
Robby Findler
a9c0c8bccd add hash/c stronger
also, bring down below 102 columns
2014-09-25 17:42:43 -05:00
Matthew Flatt
3ad2cb83bb racket/gui Windows: rely on patched Cairo instead of workaround 2014-09-25 16:17:29 -06:00
Matthew Flatt
116e06407b racket/draw Windows: patch Cairo for clipped DC surface creation 2014-09-25 16:17:29 -06:00
Vincent St-Amour
9b4533bc3b More accurate captions. 2014-09-25 17:22:42 -04:00
Vincent St-Amour
bce53b3245 Add slides to the RacketCon website. 2014-09-25 17:22:42 -04:00
Vincent St-Amour
d7b018a5f4 Fix set docs.
Closes PR 14749.
2014-09-25 17:22:42 -04:00
Matthew Flatt
a85a2d4392 racket/gui: use cairo_paint() to copy buffer to screen
Following 54e42664df, use cairo_paint() instead of cairo_fill()
to copy offscreen content onscreen, just in case it's faster.
2014-09-25 14:00:00 -06:00
Matthew Flatt
641fa5f744 racket/gui win32: enable clipping-problem workaround for 32-bit mode
The specialization to Win64 to work around a Cairo clipping
problem probably had more to do with the version of Cairo,
instead of the variant of Windows, since both variants need the
workarounds after a Cairo upgrade.
2014-09-25 14:00:00 -06:00
Matthew Flatt
722d4858aa make installer: prevent pollution from local to catalog-based build 2014-09-25 14:00:00 -06:00
Matthew Flatt
5f6cb187b2 meta/pkg-push: note on cleaning out old package builds
I didn't implement an automatic clean-up, since this service is
going away soon, hopefully.
2014-09-25 14:00:00 -06:00
Matthias Felleisen
84f2c8e524 Jack Clay: use concatenate instead of juxtapose, better for students 2014-09-24 19:34:04 -04:00
Robby Findler
a41ba9d37f add stronger for parametric->/c
(and test cases for stronger with new-∀/c)
2014-09-24 16:53:35 -05:00
Robby Findler
1f1479c7be add stronger to implementation?/c and subclass?/c
also, bring down below 102 cols
2014-09-24 16:53:25 -05:00
Robby Findler
9e3a9d17d5 add stronger to is-a?/c 2014-09-24 16:53:25 -05:00
Robby Findler
748e3ef7cc add stronger to syntax/c 2014-09-24 16:53:25 -05:00
Matthew Flatt
8ea68c743f racket/gui Unix: avoid startup output 2014-09-24 08:40:53 -06:00
Matthew Flatt
6b969d46cb racket/draw: constrain font-map repair to Windows
Adjust changes in 6bfad43429 to avoid creating more font maps than
necessary, especially on platforms other than Windows.
2014-09-24 08:40:53 -06:00
Matthew Flatt
9bd33a6911 racket/draw: remove Pango bug-repair hack for Windows
Bug reported as 649293 is apparently fixed, so the hack is
no longer needed.
2014-09-24 08:40:53 -06:00
Matthew Flatt
40f0682075 racket/gui win32: try to make pan gestures work
A pan gesture is turned into a WM_{H.V}SCROLL event in a
way that `racket/gui` did not recognize as a change to the
scrollbar. I'm not sure that this change fixes the problem,
but it seems worth a try.
2014-09-24 08:40:52 -06:00
Matthew Flatt
9ee2bd9b60 racket/draw: fix font metrics versus transformations
For a font with 'aligned hinting, the font map caches metric
information that depends on the destination transformation,
at least on Windows. Make the font-map cache sensitive to the
destination's current transformation.

This bug was exposed by support for DPI-aware GUIs on Windows,
but the problem was more general.
2014-09-24 08:40:52 -06:00
Matthew Flatt
ed92e271e8 racket/draw: compensate for roundoff in Windows GUI scaling
Roundoff can place a child of a container so that it's position plus
width extend beyond the container's width. For some controls, that
looks especially bad. Approximate precise scaling by having those
control sizes round down, instead of up, while leaving other kinds
of controls alone.
2014-09-24 08:40:52 -06:00
Matthew Flatt
58e24e18a2 racket/gui win32: fix measurement of message% content
Strip away "&" before measuring.
2014-09-24 08:40:52 -06:00