Commit Graph

31614 Commits

Author SHA1 Message Date
Asumu Takikawa
c8554e2489 Fix keyword function type conversion in TR
Makes rest arguments work properly and handles
keywords passed in by sorted order.
2014-01-28 00:13:43 -05:00
Asumu Takikawa
b9493ab142 Fix parsing for keyword & rest arg function types
Closes PR 14309
2014-01-28 00:13:12 -05:00
Asumu Takikawa
fd0431986e Doc fixes to Inside guide
Fix a documented type and make a definition link for
SCHEME_PRIM_CLOSURE_ELS.
2014-01-27 13:37:36 -05:00
Eric Dobson
4e9d15306c Fix type of parameter? to correctly account for variance.
Closes PR 14315.
2014-01-27 08:51:10 -08:00
Eric Dobson
2016ab1c2f Add rough draft of docs for Top/Bot to quiet DrDr. 2014-01-27 08:36:35 -08:00
Matthew Flatt
b07fa81950 unix: fix gracket-based launcher creation
The launcher was always create assuming a specific relative path
from the "bin" drectory to the "lib" directory, but that relative
path changes in a Unix-style install.
2014-01-27 08:20:58 -07:00
Matthew Flatt
e96d592735 expt: avoid undefined integer overflow in fixnum implementation
Also, extend fixnum fast path to work more often in 64-bit mode.

More review would be appreciated to help ensure that the revised
implementation avoids undefined behavior in C.
2014-01-26 21:02:28 -07:00
Matthew Flatt
58b898bc13 fix in-directory for a non-#f argument, not inline for clause
Closes PR 14312
2014-01-26 19:15:03 -07:00
Robby Findler
23d583fe0d add default-equiv and some examples in docs 2014-01-26 19:58:15 -06:00
Matthew Flatt
13b1d0733a racket/gui cocoa: fix atomicity of refresh
Atomicity was accidentally turned off in ca0418d47d.

For whatever reason, this bug seems to cause lots of trouble with
32-bit Mac OS X and not as much for 64-bit Mac OS X.
2014-01-26 18:38:40 -07:00
Matthew Flatt
bc018585ac avoid a malloc(0)
This is unlikely to fix any problems, but I think malloc(0) is not
specified by C99.
2014-01-26 18:38:40 -07:00
Matthew Flatt
791ec4cfb1 recognize "1.0.1e" for openssl libraries 2014-01-26 18:38:40 -07:00
Matthias Felleisen
4579cfbe72 how to run tests 2014-01-26 18:03:03 -05:00
Matthias Felleisen
25537f7daf test: added equiv predicate 2014-01-26 18:03:03 -05:00
Matthias Felleisen
22681c5639 doc: added equiv predicate 2014-01-26 18:03:02 -05:00
Matthias Felleisen
6da7f382fc code: added equiv predicate 2014-01-26 18:03:02 -05:00
Robby Findler
b020b8aee7 up timeout for test-htdp.rkt
Judging from how the length of the transcript before the timeout kicks in,
the timeout is happening around 75% of the way down. So give it a bit more
time than that.
2014-01-25 22:00:21 -06:00
Robby Findler
a89ac52215 fix (hopefully) the Move Tab Left and Move Tab Right shortcut keybindings 2014-01-25 21:42:01 -06:00
Robby Findler
90a9b951b7 fix test for new default ordering of main & test modules in drracket 2014-01-25 21:42:01 -06:00
Eric Dobson
7fabf5f3fc Make parse type use literal-syntax-classes.
Fixes arrows in check-syntax.
Adds actual bindings for Top and Bot filters.
Make tests give more info on failure, and change test to not use Number.
2014-01-25 17:48:20 -08:00
Eric Dobson
597ab590b4 Split out implementation of define-literal-syntax-class. 2014-01-25 16:03:11 -08:00
Eric Dobson
c04ad0bb8d Cleanup parse-type.
Add syntax class for @ and !.
Add use literal sets.
Make full-latent cleaner.
2014-01-25 16:03:10 -08:00
Asumu Takikawa
8f0c298b6d Minor fix for REPL type printing
The old code worked, but triggered a contract
violation when contracts were enabled.
2014-01-25 12:29:33 -05:00
Asumu Takikawa
59bdb6c9a8 Improve type inference for ValuesDots types
Add more precise types for `call-with-input-string`
that take advantage of the improved inference.

Closes PR 14050
2014-01-25 12:29:32 -05:00
Ryan Culpepper
6b60862c4f v5.92 installers info 2014-01-25 11:43:20 -05:00
Matthew Flatt
28fbd2dde2 DrRacket: add support for icon files, etc. for created executables 2014-01-25 08:53:05 -07:00
Ryan Culpepper
ae6fc3f47f add symlink to releases dir 2014-01-24 21:35:23 -05:00
Ryan Culpepper
4c7a3b91ee add link to planet from community page 2014-01-24 21:35:23 -05:00
Ryan Culpepper
caed4a0444 change all versions download page to accommodate racket-minimal distro
Change from fixed 2 options (Racket, Textual) to flexible
(Racket, alternatives).
2014-01-24 21:35:23 -05:00
Ryan Culpepper
9aeadbe65e handle new installer info lines 2014-01-24 21:35:23 -05:00
Ryan Culpepper
202dc90d96 create download page for (version, distro) only when installers exist
Previously, created every page in (all-versions X all-distros).
2014-01-24 21:35:22 -05:00
Ryan Culpepper
04fee37767 update license link to LGPL 3 2014-01-24 21:35:22 -05:00
Asumu Takikawa
4c7d902d8f Allow typecheck tests to specify a failure regexp.
The regexp checks against the exception error message.
I'm adding this because it will be useful for unit
tests for type-checking classes.
2014-01-24 11:25:15 -05:00
Matthew Flatt
6c25579b6b configure test for powl(), which is used for extflonums 2014-01-24 07:18:30 -07:00
Matthew Flatt
81ef1c876b on BSDs, avoid seconds->date conversion that won't fit
On FreeBSD and related systems, calling localtime() on an out-of-range
value (e.g., where the year doesn't fit in 32 bits) still returns a
tm pointer, instead or returning NULL for an error. To avoid this
problem, restrict the argument to 51 bits (which seems like a lot
of bits, but is still confortably away from the overflow point).

Closes PR 14305
2014-01-24 07:18:13 -07:00
Matthew Flatt
018af7e809 remove redundant comparison
Closes PR 14296
2014-01-24 07:11:53 -07:00
Asumu Takikawa
f32a42f2f4 Fix a printing bug for some type results 2014-01-24 00:42:30 -05:00
Asumu Takikawa
8ad0e6b52a Fix debug printing mode for pretty-printed types
Previously, pretty-printing for types would override the
debug mode by bypassing normal printing. Instead, switch
the `pretty-format-type` function to a debug version when
in debug mode.
2014-01-24 00:42:30 -05:00
Robby Findler
6509c8be20 run-collapsed doesn't work with WXME mode 2014-01-23 21:37:24 -06:00
Asumu Takikawa
120ce62bbb Allow other kinds of for clauses in for/hash:
Closes PR 14306
2014-01-23 12:14:48 -05:00
Robby Findler
6484eed468 fix contract test case 2014-01-22 21:35:49 -06:00
Matthew Flatt
8a9a592c3c racket/gui win32: fix handling of @2x bitmaps
Closes PR 14310
2014-01-22 20:19:29 -07:00
Matthew Flatt
392ea2e91d scribble: ++args for passing command-line arguments to documents 2014-01-22 20:04:13 -07:00
Asumu Takikawa
6b954be2c7 Make TR tests pass with contracts on again 2014-01-21 21:21:43 -05:00
Asumu Takikawa
1b458c97d7 Update TR mutation error message to new format 2014-01-21 21:21:43 -05:00
Asumu Takikawa
00387001dc Export type-mismatch and use pretty-printing
Previously, the internal `expected-but-got` handled the
pretty-printing but it makes more sense to do it in
`type-mismatch` since it's useful for other modules.
2014-01-21 21:21:43 -05:00
Asumu Takikawa
a1b79f0bd2 Fix type printer test
Forgot to change the test string for commit
b5bc363916
2014-01-21 20:22:39 -05:00
Asumu Takikawa
b0213b7ebe Add doc examples for other TR REPL commands 2014-01-21 18:53:25 -05:00
Asumu Takikawa
b5bc363916 Use pretty-printing for all TR REPL commands 2014-01-21 18:52:45 -05:00
Eli Barzilay
c61a549840 2013 -> 2014 2014-01-21 15:02:21 -05:00