Commit Graph

29255 Commits

Author SHA1 Message Date
Robby Findler
09d636c545 add a column-width guide; defaults to 102 characters, but disabled 2013-06-10 22:51:26 -05:00
Robby Findler
2b745a914e add some missing pref items docs 2013-06-10 22:51:25 -05:00
J. Ian Johnson
214bc7089b Superficial pattern for wildcard that doesn't bind. 2013-06-10 14:27:56 -04:00
Asumu Takikawa
e25156d67f Remove leftover define/match docs 2013-06-08 00:09:08 -04:00
Vincent St-Amour
36e9f80cf2 Fix dist-specs. 2013-06-07 15:24:22 -04:00
Vincent St-Amour
c070aaecda Fix type of gensym. 2013-06-07 15:24:22 -04:00
Asumu Takikawa
75f0c88feb Improve TR test case 2013-06-07 15:14:18 -04:00
Asumu Takikawa
c8e281a80e Fix union merging
Trying to merge (and thus resolve) applications of struct
types would cause infinite looping on type instantiation
if the struct type used both a union and recursion.

Closes PR 13821
2013-06-07 15:14:18 -04:00
Asumu Takikawa
12e5bc645b Add match*? to unstable/match 2013-06-07 15:14:18 -04:00
Vincent St-Amour
3d6776680c Move the contract profiler to its own collection.
Should become its own package once we split up the collects.

Requested by Eli, to reduce the dependencies of the profiler collection.
2013-06-07 11:01:17 -04:00
Matthew Flatt
633e4a25e8 ffi/unsafe: doc repair
from Клочков Роман
2013-06-06 17:14:08 -06:00
Matthew Flatt
0c235c36c3 doc repair
Fix "style" where it should be "style property".
2013-06-06 17:14:08 -06:00
Andrei Mikhailov
131ce83b32 Add 'no-sidebar style property as a style for the main part of a document
The new style property causes the HTML output to not include an ``on this
page'' margin box.
2013-06-06 17:14:08 -06:00
Matthew Flatt
7953edc79c raco pkg: support single-collection packages
A package directory is in single-collection mode when it has an
"info.rkt" file containing a `single-collection' definition.
The string value of `single-collection' provides the collection's
name.
2013-06-06 17:14:08 -06:00
Vincent St-Amour
6e8c9ed15a Memoize wrapped case-> range contracts.
Fixes failing contract tests.
2013-06-06 18:33:15 -04:00
Vincent St-Amour
d1df869d21 Document procedure-closure-contents-eq?. 2013-06-06 18:33:15 -04:00
Robby Findler
5ea3a1ce6d Add an example to the Redex typesetting docs that discusses how
macros screw up syntax locations and what to do about it

Thanks to Lindsey Kuper for the inspiration to do this
2013-06-06 15:51:44 -05:00
Erik Silkensen
25c982ad37 Add #:reduce argument to traces.
Add a new #:reduce argument to traces (and traces/ps) that defines the
function to use when applying the reduction relation.  This way a
function could selectively display some subset of possible reduction
traces instead of all.
2013-06-06 16:24:45 -04:00
Vincent St-Amour
5e30416110 Fix unsound fxquotient optimization.
Closes PR13827.
2013-06-06 13:20:30 -04:00
Vincent St-Amour
93d4a5d426 Fix unsound unary fixnum subtraction optimization.
Closes PR13826.
2013-06-06 13:01:43 -04:00
Vincent St-Amour
52576243de Add documentation. 2013-06-06 12:40:33 -04:00
Vincent St-Amour
4a72221a9c Return what the profiled code returns. 2013-06-06 11:26:17 -04:00
Vincent St-Amour
a22e1ff218 Print cost breakdown to a file. 2013-06-06 11:26:16 -04:00
Vincent St-Amour
3ce40fbcb5 Simplify rendering. 2013-06-06 11:26:16 -04:00
Vincent St-Amour
32a91c6d63 Add boundary view of contract costs. 2013-06-06 11:26:15 -04:00
Vincent St-Amour
fa63e0311f Factor out dot rendering.
Can't use redex's version because it needs the GUI.
2013-06-06 11:26:15 -04:00
Vincent St-Amour
6bb906fb92 Consider original blames and their swapped versions to be equivalent. 2013-06-06 11:26:15 -04:00
Vincent St-Amour
a5f47f86e5 Render module graph. 2013-06-06 11:26:14 -04:00
Vincent St-Amour
693c88ff54 Display time in milliseconds, not in samples. 2013-06-06 11:26:12 -04:00
Vincent St-Amour
a3f4e45026 Move get-times to utils.rkt, to use it from the contract profiler. 2013-06-06 11:25:53 -04:00
Vincent St-Amour
cd71c77da9 Add a module graph view that shows contract costs per boundary. 2013-06-06 11:25:50 -04:00
Vincent St-Amour
7ceebf7a23 First attempt at a contract profiler.
Breaks down time spent in contracts by contract, callee, etc.

Note: Original version dates from Jan/Feb, but I rewrote the git history.
2013-06-06 11:15:34 -04:00
Vincent St-Amour
2ca31dbd3c Instrumentation for the function, vector and struct contracts.
Allows a profiler to detect when we're checking a contract.
2013-06-06 10:43:17 -04:00
Asumu Takikawa
6014c78a55 Add a few more comments for inference modules 2013-06-05 16:18:22 -04:00
Stephen Chang
0680bb6a3d scribble docs typos 2013-06-05 13:06:08 -04:00
Matthew Flatt
8a350a7dfd fix interaction of shadower, rename trasnformer, and free-id=? 2013-06-05 07:23:08 -06:00
Ryan Culpepper
81b21e4222 make syntax/parse/experimental/template work with lazy stx attrs 2013-06-04 17:10:01 -04:00
Ryan Culpepper
7466b7ec6c added 2d check for #:with right-hand side 2013-06-04 17:10:01 -04:00
Ryan Culpepper
03bd431e1d fix bad syntax error, closes PR 13812 2013-06-04 16:23:15 -04:00
Ryan Culpepper
aff7153494 auto-force attributes in syntax templates 2013-06-04 16:23:14 -04:00
Robby Findler
aaaebe2e41 fix bug in menu label construction
closes PR 13817
2013-06-04 14:38:16 -05:00
Robby Findler
1f22800d51 fix bug introduced in 6b2a4ff5 2013-06-03 08:38:49 -05:00
Robby Findler
54b45607a2 double easter egg timeout since the work it does doubled 2013-06-03 07:46:04 -05:00
Robby Findler
571bb5fb1a adjust DrRacket to still start up if all of the splash-related images
are broken

I don't know if this really closes PR 13794 but DrRacket does now
pass the error given in that PR.
2013-06-02 21:46:21 -05:00
Robby Findler
25955a0c3a dont open the initial window if a window has already
been opened via the application-file-handler

closes PR 13811
2013-06-02 20:39:36 -05:00
Robby Findler
081542da3c fix tl-test.rkt 2013-06-01 16:10:04 -05:00
Robby Findler
a9bfd9c083 add note to HISTORY about the is-a? bug fix 2013-06-01 15:24:00 -05:00
Robby Findler
eb3b200280 remove bogus tests
tests were invalidated by commit 299063d (check syntax doesn't record
that information anymore)
2013-06-01 15:02:47 -05:00
Robby Findler
4b587d4e0d fix responsible 2013-06-01 15:02:47 -05:00
Robby Findler
4c79a33db2 missed a spot in 33b65f5ec 2013-06-01 15:02:47 -05:00