Vincent St-Amour
6c08632f35
Fix TR optimizer test.
2014-02-11 14:06:21 -05:00
Vincent St-Amour
1e591a5124
Make flvectors and fxvectors subtypes of sequences.
2014-02-11 14:06:21 -05:00
Matthew Flatt
9ca0aa5225
scribble/manual: delay expressions that require collection-based files
...
This changed make `(require scribble/manual)` work in an executable,
although actually rendering documents requires the "scribble"
collection.
2014-02-11 10:07:03 -07:00
Vincent St-Amour
e2254414d2
Simplify types for flvector and fxvector operations.
2014-02-11 10:28:50 -05:00
Vincent St-Amour
8e32e6e44c
Make flvectors and fxvectors sequences.
2014-02-11 10:27:33 -05:00
Matthew Flatt
2f469a06cd
scribble/html: add 'index flag in url-roots
...
This flag can be used to make "file://..."-rendered pages easier
to inspect.
2014-02-11 05:50:04 -07:00
Matthew Flatt
964e9d128f
scribble/text: fix contract and docs on with-writer
2014-02-11 05:50:04 -07:00
Asumu Takikawa
11bfdce685
Add in-flvector, in-fxvector to TR base environment
2014-02-11 01:28:31 -05:00
Asumu Takikawa
6791b322ec
Add FxVector type to Typed Racket
...
The `for` forms for fxvectors are future work
2014-02-11 01:23:19 -05:00
Asumu Takikawa
2b9b16b165
Add an ignore-table for TR's optimizer
...
This allows the typechecker to tell the optimizer or
other downstream analyses what expressions to ignore
because they contain non-typechecked code.
Use it to fix handling of `send`
2014-02-10 23:57:58 -05:00
Asumu Takikawa
c72228dee8
Refactor type-table
...
Move the provides to the top following the style guide and
add a purpose statement for the module
2014-02-10 23:57:57 -05:00
Matthew Flatt
b9ed6f465e
restore "getting started" link
...
This change adjusts the meaning of the 'getting-started document
category, which was formerly omitted from the start page. Now,
it means a document that is listed at the beginning and at the same
level as other documents.
(Didn't just revert to the old approach to the "getting started"
entry, because it doesn't work right when "racket-index" is installed
without "racket-doc".)
Closes PR 14348
2014-02-10 12:26:43 -07:00
Robby Findler
33c006bd4f
fix careless error
2014-02-10 13:19:13 -06:00
Robby Findler
fe6b217433
adjust test/spec-passed so that tests continue when exns are raised
...
(as these usually indicate failing test cases)
2014-02-10 10:57:46 -06:00
Robby Findler
418f1d015d
try to explain enumerator mismatch bug more carefully
2014-02-10 10:57:42 -06:00
Matthew Flatt
ca3757367d
fix checking of attempt to impersonte non-struct via mutator
2014-02-10 06:49:26 -07:00
Matthew Flatt
dc0653383f
racket/gui: change some eq? to object=?
...
Some places in the editor API accept an object as an argument
where the object's identity is relevant. In that case, `object=?`
must be used instead of `eq?` to work right with contracts.
2014-02-10 06:25:32 -07:00
Matthew Flatt
2bd8c2d8ed
racket/gui: change pasteboard to put location info in snips
...
Use the field in a `snip%` that is otherwise used by a `text%` owner
to store line information. Reusing the field avoids the need for
an `eq?`-based hash table of snips.
2014-02-10 06:25:32 -07:00
Matthew Flatt
70d91b5516
racket/snip and racket/gui: remove leftover ~ methods
...
The `~` methods on snip and editor-related classes are not documented
or called from anywhere. They corresponded to destructor methods back
when the classes were ported from C++.
2014-02-10 06:25:32 -07:00
Max New
09f05678a5
Update redex enumeration docs
2014-02-10 06:55:07 -06:00
Max New
1b1dc9cfb8
Redex Enumerator support for mismatch patterns
2014-02-10 06:55:07 -06:00
Max New
3b2b1fb977
Use disjoint sum in redex production enumerators
2014-02-10 06:55:07 -06:00
Asumu Takikawa
71a20b9b0b
Add doc examples for define/contract
2014-02-09 11:14:50 -05:00
Asumu Takikawa
a84f11f970
Minor wording fix in Guide
2014-02-09 11:14:50 -05:00
Matthew Flatt
416b680d74
scribble/text: add outputable/c and contract checks
...
The `outputable/c` contract is currently just an alias for
`any/c`, however, because checking the contract seems to be
too expensive.
2014-02-09 06:39:39 -07:00
Robby Findler
eebabe35ce
check context closure language requirements properly
...
closes PR 14346
2014-02-08 22:50:57 -06:00
Robby Findler
5cbca3741f
edit define/contract boundary discussion
2014-02-08 21:16:30 -06:00
Robby Findler
4d12021dbf
disable the new class/c implementation for now
...
the new implementation doesn't provide eq? guarantees
as often as the old one does, so hold off on this until
we can sort that out. Thanks to drdr for pointing out
the problem:
http://drdr.racket-lang.org/28156/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-save-file.rkt
2014-02-08 20:42:37 -06:00
Asumu Takikawa
d37158bd76
Add initial prose for define/contract in the Guide
...
This commit adds a few sections that explain some of
the subtleties of nested contract boundaries.
2014-02-08 21:28:45 -05:00
Robby Findler
f26279bfa2
fix bugs in the interaction between subclasses and external class/c contracts
2014-02-08 12:39:02 -06:00
Robby Findler
788ec1d87d
fix interaction of mixins and contracted classes
2014-02-08 09:09:49 -06:00
Asumu Takikawa
72ef0a9323
Add other future/place primitives to TR base-env
...
Also fixed the type of `place-dead-evt`.
2014-02-08 09:49:11 -05:00
Asumu Takikawa
50711f7a6e
Adjust prose in how-to-doc section of Scribble docs
2014-02-08 09:49:11 -05:00
Matthew Flatt
f1521de96b
scribblings/html/resource: allow #f renderer for URL conversion
2014-02-07 22:36:01 -07:00
Matthew Flatt
8a14fbd5b1
raco pkg: fix strip of package without "info.rkt"
2014-02-07 22:36:01 -07:00
Matthew Flatt
0ad3a6a7f6
split "scribble-html-lib" package out of "scribble-lib" package
2014-02-07 22:36:01 -07:00
Matthew Flatt
ce31b5965c
Scribble docs: split preprocessor variants into a separate manual
2014-02-07 22:36:01 -07:00
Robby Findler
a1293d4284
add forgotten file
2014-02-07 23:17:46 -06:00
Robby Findler
e47c0efa1f
change class/c to keep a vector of wrapper methods, not a hash table
...
this change is mostly motivated by improving how generics work on
contracted objects.
Also fix dynamic-send
TR's optimizer seems to get angry at the new send expansion, so
disable optimizations auto-language.rkt and insert-large-letters.rkt
(for now)
2014-02-07 22:18:56 -06:00
Vincent St-Amour
615f2150de
Report unspecialized comparisons.
...
Slower than specialized comparisons, and make futures block.
2014-02-07 16:26:51 -05:00
Ryan Culpepper
ed5a4ff619
improve error message for bad attribute values
...
closes PR 14340
2014-02-06 23:28:52 -05:00
Asumu Takikawa
8133559442
Fix doc contract for list-box%
2014-02-06 17:24:47 -05:00
Vincent St-Amour
32133df12b
Fix TR optimizer tests for new source locations.
2014-02-06 15:54:57 -05:00
Vincent St-Amour
741a11a1b7
Fix for to propagate source locations in more cases.
...
Thanks to Tobias Hammer for the patch.
Closes PR 14343.
2014-02-06 15:54:26 -05:00
Vincent St-Amour
a2204a0740
Expose missing blame parties to the contract profiler.
...
Done by pairing up incomplete blame objects with the missing blame party
before attaching it to the continuation mark. Other approaches were
explored (having a separate mark for each, imperatively updating blame
objects to add missing blame parties, etc.), but pairing had the least
overhead.
2014-02-06 15:01:29 -05:00
Vincent St-Amour
11732128b3
Check for incomplete blame information and error.
2014-02-06 15:01:29 -05:00
Vincent St-Amour
7d45129fca
Fix get-custom-snapshots to conform to the docs.
2014-02-06 15:01:28 -05:00
Matthew Flatt
01ca493389
scribble-{doc,lib}: fix package dependencies
2014-02-06 05:47:56 -07:00
Matthew Flatt
f943d37d7d
scribble/html: first cut at documentation
2014-02-05 21:58:48 -07:00
Matthew Flatt
cdb5c9dfdb
scribble/text: finish documentation
2014-02-05 21:54:14 -07:00
