suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
31,085 Commits 17 Branches 54 Tags 278 MiB
8aa5f4a83a
Commit Graph

31085 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
8aa5f4a83a fix/expand/improve docs on "config.rktd" 
Merge to v6.0
 2013-11-22 07:26:42 -07:00
Asumu Takikawa
0f8ee73814 Improve type of negate 
Now for functions with simple filters, it'll negate the
filters so that, e.g., (negate string?) can be used with
occurrence typing.

Please merge to v6.0
 2013-11-21 22:53:04 -05:00
Asumu Takikawa
d29256eeb2 Caveat section on macros/phase-1+ code in TR 
Please merge to v6.0
 2013-11-21 22:53:04 -05:00
Asumu Takikawa
9da8203c9c TR: Prevent internal error on begin-for-syntax 
Closes PR 13878

Please merge to v6.0
 2013-11-21 22:53:04 -05:00
Matthew Flatt
9213d1aa79 configure: add fallback when checking for ar 2013-11-21 20:24:32 -07:00
Matthew Flatt
79f3fd5e64 raco setup: fix a read-only use on the docindex database 
Merge to v6.0
 2013-11-21 06:59:48 -07:00
Matthew Flatt
9bb5dda4f5 raco setup: fix exit code on doc error 2013-11-21 06:44:38 -07:00
Eric Dobson
2fd6a05d46 Improve comments and change name for unboxable-funs. 2013-11-20 23:46:36 -08:00
Eric Dobson
69f690f4b9 Move more call-site optimization structure into the syntax class. 2013-11-20 23:43:59 -08:00
Eric Dobson
af6bc6e8e2 Make unboxed let-bindings only log their clause. 2013-11-20 23:43:57 -08:00
Eric Dobson
74ce1ea748 Make new syntax class for all clauses. 2013-11-20 23:39:10 -08:00
Eric Dobson
3681fe8105 Make standard syntax class so that clauses are in order. 2013-11-20 23:39:10 -08:00
Eric Dobson
6d84fe3cf2 Add more syntax classes for let-clauses. 2013-11-20 23:32:23 -08:00
Eric Dobson
3e37e94000 Add benchmarks to TR test dependencies. 2013-11-20 23:13:39 -08:00
Eric Dobson
cbe1b53279 Correctly typecheck all subelements of vector literals. 
Closes PR 14184.
 2013-11-20 21:25:28 -08:00
Matthew Flatt
53ce3b7b96 raco pkg config: show all by default 
Also, better help, checking, and error reporting on arguments.

Related to PR 14180

Merge to v6.0
 2013-11-20 17:52:41 -07:00
Matthew Flatt
ecaa6576a3 raco pkg {install,update,...}: propagate setup exit code 
Also, when `raco setup` reports an error, print a message to
say that the package install/update/... completed anyway.

Merge to v6.0
 2013-11-20 17:52:40 -07:00
Asumu Takikawa
7e1b3c306d Fix provide: when it's after the definition 
Closes PR 11172

Please merge into 6.0
 2013-11-20 18:42:28 -05:00
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