Commit Graph

31217 Commits

Author SHA1 Message Date
Asumu Takikawa
6a787c963f Simplify fix for PR 14030
Please merge into 6.0
2013-11-20 18:38:39 -05:00
Asumu Takikawa
f292a9c0f2 Fix make-predicate at the top-level
This solves the immediate problem, but more generally the
handling of ignored syntax at the top-level seems very fishy.
There is a complicated protocol involving the top-level
type-checker returning #<void> for cases with no obvious
return type, but it's unclear if it actually works. That
code in tc-toplevel.rkt should be revamped in the future.

Closes PR 14030

Please merge into 6.0
2013-11-20 18:07:51 -05:00
Asumu Takikawa
249427afb4 Add types for remaining in-foo functions
Also fixed `in-directory` type

Please merge into 6.0
2013-11-20 16:12:29 -05:00
Ryan Culpepper
f12cfe185b Post-release version for the v6.0 release 2013-11-20 14:10:06 -05:00
Matthew Flatt
0a2e3ad78b raco setup: quieter output on a build step for user-scope docs 2013-11-20 07:59:35 -07:00
Matthew Flatt
1d8a2516b2 fix problem resizing mutable hash tables
A hash-table size grew based on the number of key slots occupied,
instead of the number of value slots, where the two differ when
keys are added and removed in the table.

Thanks to Ryan for the example.
2013-11-20 07:28:34 -07:00
Ryan Culpepper
975762c25a work around lack of sqlite3_next_stmt on Mac OS X 10.5.* 2013-11-19 22:52:26 -05:00
Matthew Flatt
2f464916a9 fix installation path of "Racket Documentation"
Put it in the user-specific directory when its package is installed
in a user scope.
2013-11-19 18:07:07 -07:00
Matthew Flatt
30af4dfb33 raco pkg remove: fix dependency check in --auto mode 2013-11-19 18:07:07 -07:00
Matthew Flatt
17275e3f37 unix installer: repair .desktop exec path conversion 2013-11-19 18:07:07 -07:00
Matthew Flatt
408031a01d launcher: fix "extreg.rktd" in user's space
Closes PR 14176
2013-11-19 18:07:07 -07:00
Vincent St-Amour
632ce4e30a Fix source syntax recovery. 2013-11-19 18:43:26 -05:00
Vincent St-Amour
fab0d0f955 Fix type printing test. 2013-11-19 18:43:26 -05:00
Robby Findler
8fae6ffecd bring drracket's history file up to date with 6.0 changes 2013-11-19 16:59:51 -06:00
Jay McCarthy
2ae4d3aef4 Fixing GC test 2013-11-19 14:31:34 -07:00
Jay McCarthy
6d3b774be1 Fix props re: samth 2013-11-19 14:27:53 -07:00
Jay McCarthy
d6b68a6633 Turn off test where it is not caught properly 2013-11-19 14:25:13 -07:00
Jay McCarthy
a7c6d5a9a4 Fix test case re: xexpr change 2013-11-19 14:24:22 -07:00
Jay McCarthy
8e2622857f Continue fixing PR14175 by looking at all links files 2013-11-19 14:20:59 -07:00
Jay McCarthy
80ba30eaab Fix PR14175 2013-11-19 13:22:48 -07:00
Vincent St-Amour
49cd879bf8 Only recommend expanding union types.
Closes PR14166.
2013-11-19 14:28:27 -05:00
Vincent St-Amour
8683a2188b Update profile docs to be consistent with output of errortrace mode. 2013-11-19 12:15:35 -05:00
Vincent St-Amour
22def35d68 Show expressions in errortrace profiles, instead of just symbols.
Since profile nodes report the time spent in, e.g., an entire call
expression (including argument evaluation), and not just in the body of
the operator, showing only the operator in the profile is misleading.
2013-11-19 12:15:33 -05:00
Sam Tobin-Hochstadt
d1abf632b1 Allow clients of recover-source-syntax to ask for early traversal. 2013-11-19 12:15:19 -05:00
Sam Tobin-Hochstadt
1e7eb34ba1 Implement statistical errortrace-based profiling.
Add a mode to the profiler to use continuation marks inserted
by the errortrace annotator instead of the runtime.

Split `syntax/source-syntax` out from Typed Racket as a separate package,
and use it to give better names for errortrace stack frames.
Use caching to speed it up substantially when called repeatedly (as
errortrace does).

Also, document (internally) the format used by errortrace marks.
2013-11-19 12:15:17 -05:00
Sam Tobin-Hochstadt
83827577d3 Required identifiers cannot error on use. 2013-11-19 12:06:26 -05:00
Sam Tobin-Hochstadt
dc79012a5c Remove one-armed if handling.
This is no longer possible since #%kernel `if` requires two arms.
2013-11-19 12:06:26 -05:00
Sam Tobin-Hochstadt
05dcb2847c Remove dead code.
Not only is `st-mark-bindings` documented to always return `null`,
but DrRacket does not use `make-st-mark` to insert bindings in the
first place.
2013-11-19 12:06:26 -05:00
Sam Tobin-Hochstadt
4eba6b9d4b Clarify the data definitions used by drracket for stacktraces.
In particular, it is not the same format as errortrace uses internally.
2013-11-19 12:06:26 -05:00
Sam Tobin-Hochstadt
e6ca7e78d0 Make profile-lib a single-collection package. 2013-11-19 12:06:26 -05:00
Sam Tobin-Hochstadt
10a3140ff1 Fix benchmarks to not use collection-path. 2013-11-19 12:06:26 -05:00
Asumu Takikawa
f2ddc66333 Generate channel contracts in TR 2013-11-19 12:02:10 -05:00
Jay McCarthy
b563f0c876 Fixing PR14169 2013-11-19 08:53:59 -07:00
Jay McCarthy
6d06e8c66d Fixing PR14168 2013-11-19 08:53:59 -07:00
Jay McCarthy
dca5888465 Fix PR14167 2013-11-19 08:53:59 -07:00
Matthew Flatt
b64f74bbed racket/gui cocoa: fix for Mac OS X before 10.7
I forgot to guard a NSScreen method called for Retina support
with a version check.
2013-11-19 07:19:25 -07:00
Asumu Takikawa
8323e679eb Add channel contracts 2013-11-19 01:41:05 -05:00
Robby Findler
1b47cf5898 clean up mistakes in 21807d3
- remove bogus test case
- fix bug in collector
- fix bug in test
2013-11-18 21:49:30 -06:00
Robby Findler
d2fd37c251 attempt to add a little more information
to help diagnose this (and related) failures:

http://drdr.racket-lang.org/27793/pkgs/drracket-pkgs/drracket-test/tests/drracket/easter-egg.rkt
2013-11-18 21:49:30 -06:00
Robby Findler
62615f492d quote a name in an error message 2013-11-18 21:49:30 -06:00
Max New
a2021fa634 Fix in-hole enum bug and add test case 2013-11-18 21:12:19 -06:00
Max New
0b663736fb Add redex enum support for cross patterns 2013-11-18 20:14:07 -06:00
Max New
1e6786eedf Clean up preprocess-lang 2013-11-18 20:14:07 -06:00
Robby Findler
21807d3790 add a collector that moves things around (in a dumb kind of a way)
catches the bug fixed in acbc80edd
2013-11-18 19:28:33 -06:00
Robby Findler
f6a200b6c2 remove incorrect comment 2013-11-18 19:28:33 -06:00
Matthew Flatt
a88aa3c428 fix JIT slow path for bitwise-bit-set?
I'm having trouble producing a small test that triggers the bug, but
I'll keep trying.
2013-11-18 17:41:04 -07:00
Vincent St-Amour
eb67abb2ef Add quoting to error message.
Closes PR14160.
2013-11-18 15:32:12 -05:00
Vincent St-Amour
63572cc0f7 Fix line breaks in the docs. 2013-11-18 15:09:33 -05:00
Vincent St-Amour
eb7c7b0d0b Document type generalization. 2013-11-18 15:09:33 -05:00
Vincent St-Amour
def31658f1 Improve message when simplifying type display at the REPL.
Closes PR14159.
2013-11-18 15:09:33 -05:00