Matthew Flatt
9d6cb8e50e
setup/pack: fix internal and contract errors
...
Part of the contract-error fix is an implementation change, and part
is a documentation change.
Closes PR 12904
2012-08-10 07:49:17 -06:00
Matthew Flatt
5f120373f1
atan: fix result for two inexact-zero arguments
...
Closes PR 12936
2012-08-10 07:49:16 -06:00
Robby Findler
40e5b63bbc
allow identifiers as names, not just strings
2012-08-09 15:28:42 -05:00
Robby Findler
0bd661d620
fix up the bitmap tests for linux
2012-08-08 22:32:43 -05:00
Robby Findler
97e3f56bf2
adjust bitmap tests to test judgment form labels (and fix expected result under mac os x)
2012-08-08 22:05:43 -05:00
Robby Findler
0369342bfe
added names to clauses in define-judgment-form and added
...
judgment-form-cases to use the names to control typesetting
2012-08-08 21:34:28 -05:00
Vincent St-Amour
a190ecfb7b
Fic generics docs.
...
Closes PR 12988.
2012-08-08 17:26:55 -04:00
Vincent St-Amour
452d83069b
Fix typo in the raco make docs.
...
Closes PR 12986.
2012-08-08 17:26:55 -04:00
Vincent St-Amour
9ea180e98c
Profiler doc typo.
2012-08-08 17:26:54 -04:00
James Swaine
a3a55de00a
Don't wait for future log messages if futures are disabled (future-visualizer)
2012-08-08 12:01:58 -05:00
Burke Fetscher
29661cc675
add #:lang keyword to term, which checks that underscored symbols agree with patterns in the provided language...changed most internal uses of term to use this form
2012-08-08 11:09:01 -05:00
Matthew Flatt
d5024f0f20
win64 racket/gui: another work around for Cairo clipping issues
...
Cairo doesn't seem to deal correctly with an HDC produced
by BeginPaint() that has a clipping region. The problem affects
only Win64. Work around the problem by drawing to a separate
HDC and copying to/from the screen. (To see the problem before
this patch, draw the DrRacket window to the edge of the screen
and back, and observe tha the toolbar doesn't update correctly.)
This change could affect performance, but it should mostly
be limited to refresh when a window moves.
2012-08-08 09:56:44 -06:00
James Swaine
dc6411c48c
Fix futures-enabled? to use the correct #ifdef check
2012-08-07 20:48:04 -05:00
Vincent St-Amour
75efede59b
Refactoring.
2012-08-07 16:33:31 -04:00
Vincent St-Amour
674c71103b
Add :query-type/args.
...
Shows return type for a given function with given argument types.
2012-08-07 16:33:31 -04:00
Vincent St-Amour
d87339d414
:query-result-type -> :query-type/result
...
Result type is given, not asked for.
2012-08-07 16:31:52 -04:00
Vincent St-Amour
28c85dfd25
Add a separate "Exploring Types" section to the TR reference.
2012-08-07 16:31:52 -04:00
Vincent St-Amour
e3ffd5f85c
Document zsh completion along with bash completion.
2012-08-07 16:31:52 -04:00
Vincent St-Amour
4b30d052b0
Allow multi-line printing of case-> types.
...
Currently only used in :print-type. Everywhere else, types are pruned.
2012-08-07 16:31:52 -04:00
Vincent St-Amour
34ee1d2603
Use type aliases when printing full types.
...
Reduces the printout size significantly.
2012-08-07 16:31:51 -04:00
Sam Tobin-Hochstadt
7eaae20f41
Add back some special cases.
2012-08-07 15:51:02 -04:00
Eric Dobson
21598297a7
Removed *Un from abbrev.rkt, replaced it with Un from union.rkt.
2012-08-07 15:50:50 -04:00
Eric Dobson
9ed360bb5e
Removed convenience.rkt from typed racket.
2012-08-07 15:50:50 -04:00
Eric Dobson
56fd9e6321
Rearange type code, so that abbrev.rkt can depend on union.rkt.
...
Split out base-abbrev.rkt so that subtype is not dependent on abbrev.rkt.
Remove unused code in numeric-tower.rkt so that it is now a dependent of
abbrev.rkt, which allows the body of convenience.rkt to be merged back in.
Remove special casing for union.rkt and extraneous subtyping checks.
Remove union-maker.
2012-08-07 15:50:50 -04:00
Eric Dobson
6dbc054e41
Replaced references to abbrev.rkt with convenience.rkt.
...
Skipped this for subtype.rkt, because of a require loop caused by
lazy-require.
2012-08-07 15:50:50 -04:00
Robby Findler
708228d959
fix double separator problem on windows
2012-08-07 14:20:54 -05:00
Robby Findler
e65cbdecf0
Rackety
2012-08-07 13:03:45 -05:00
Robby Findler
4a19ab40e8
add check for adjacent separators into tests
2012-08-07 12:51:52 -05:00
Robby Findler
2256ca39ea
raise minimum memory limit in DrRacket to 8 megabytes
2012-08-07 12:12:56 -05:00
Robby Findler
94a448413e
add some highlighting to the line numbers to show where
...
the insertion point currently is
closes PR 12976
2012-08-07 12:12:45 -05:00
Matthew Flatt
d194fa6245
fix `regexp-match' variants given a long string and an output port
2012-08-07 05:21:33 -06:00
Eli Barzilay
08b271d34c
v5.3 stuff
2012-08-07 00:10:01 -04:00
Robby Findler
b5f9751369
add some highlighting to the line numbers to show where
...
the insertion point currently is
closes PR 12976
2012-08-06 22:24:59 -05:00
Robby Findler
b16843a908
add a find-from-selection menu item that grabs the selection and puts
...
it directly into the find window
related to PR 12978
2012-08-06 18:00:57 -05:00
Matthew Flatt
0bd53a3549
compiler/zo-marshal: repair mashaling of import info in syntax
2012-08-06 15:32:27 -06:00
Matthew Flatt
699659840a
turn off debugging info
2012-08-06 15:03:37 -06:00
Matthew Flatt
02318ebcb3
fix test to work with relative executable path
2012-08-06 14:27:29 -06:00
Matthew Flatt
13d7a37eb6
re-align expt' and
flexpt' to match C99 pow() spec
...
Also, improve precision of some complex results to avoid
excessive `+nan.0's.
Closes PR 12935
2012-08-06 13:00:36 -06:00
Vincent St-Amour
7494fccc4c
Control number of attempts for TR random testing from the command line.
2012-08-06 12:48:41 -04:00
Eric Dobson
b95dba9f19
Fix documentation on integer-sqrt/remainder. Closes PR 12971
2012-08-06 12:31:07 -04:00
Eric Dobson
e6d4fb2ee2
Fill hole in recursive type soundness. Fixes PR 11372.
2012-08-06 12:31:07 -04:00
Eric Dobson
9f453676d1
Add support for creating contracts of heterogenous vectors
2012-08-06 12:31:07 -04:00
Eric Dobson
f090698542
Fix type of integer-sqrt and add type for integer-sqrt/remainder.
2012-08-06 12:31:07 -04:00
Robby Findler
8a0b6549a5
adjust the contract error messages to follow the error message
...
conventions in 9.2.1 of the reference (altho the messages do
not yet do the extra level of indenting when a field is too
long, nor are there any field names ending in ...)
Also, fix the docs for the #:stronger argument to
make-contract, make-chaperone-contract, and make-flat-contract
2012-08-05 20:09:09 -05:00
Robby Findler
34618708a6
give up on a (small) part of the repl test.
...
Specifically, it seems like about 20% of the time (in drdr),
running the program
(let l()(l))
in DrRacket and then clicking the break button results in a state
where DrRacket's focus is not in the definitions window. I can't seem
to make this happen on my own machine and I'm not sure if this a
race-condition in the test suite or a real bug in DrRacket but it
seems minor enough (given all of the other focus-based testing that is
happening in this (and related) test suites) that I'm just going to
give up on this particular test.
2012-08-05 08:14:58 -05:00
Eli Barzilay
0963d44707
New Racket version 5.3.0.17.
2012-08-05 03:30:15 -04:00
Matthew Flatt
932de7536e
use MZ_IS_NAN() instead of non-portable isnan()
2012-08-04 20:49:09 -06:00
Neil Toronto
a70aca3176
Fixed off-by-epsilon error; addresses issue with plateaus in contour-intervals and contour-intervals3d reported by Doug Williams
...
Please merge into release
2012-08-04 11:25:33 -06:00
Matthew Flatt
579e5d3c87
bump version to reflect accumulated repairs
2012-08-04 10:20:18 -06:00
Matthew Flatt
7c9e6d7193
improve port progress-evt guarantees; fix for `read-bytes-evt' et al.
...
A progress evt from a close input port must be initially ready,
and the primitive `peek-bytes-avail!' checks a progress evt
before checking whether the port is closed.
These changes resolve a race in `read-bytes-evt' and related evt
constructors.
2012-08-04 10:19:55 -06:00