Commit Graph

27919 Commits

Author SHA1 Message Date
Matthew Flatt
09d4aa3d79 Scribble: add scribble/book' and scribble/report' languages
These languages set the default class for Latex rendering, and also
adjust Latex commands so that top-level sections are chapters, etc.
2013-02-01 10:15:53 -08:00
Matthew Flatt
c0c2eda628 Scribble: add 'grouper and 'hidden-number part style properties
Also, clean up documentation and implementation of 'unnumbered and
'hidden.
2013-02-01 10:15:53 -08:00
Eli Barzilay
86bff2fa13 v5.3.2 installers info 2013-01-31 22:56:35 -05:00
Robby Findler
8aadc03719 more close paren adjustment repairs 2013-01-31 21:11:11 -06:00
Matthew Flatt
6f99bfb801 More: clarify how to use DrRacket instead of plain `racket' 2013-01-31 15:37:36 -08:00
Danny Yoo
74a0252b24 Fix typo. 2013-01-31 14:27:22 -07:00
Robby Findler
219f9dc358 fix close paren correction code 2013-01-31 15:07:20 -06:00
Robby Findler
9d10a33e43 make the online check syntax error message font
size match the user's preferred font size

(useful in a classroom / talk setting)
2013-01-31 11:23:21 -06:00
Robby Findler
74c97cfc90 Rackety 2013-01-31 11:23:20 -06:00
Robby Findler
a3cde5fb42 adjust check syntax so it highlights all identifiers with the same
binding site (with a green/yellow bubble) when the mouse moves over
any one of them

This change comes about because of the recent fixes to the
interactivity wrt to the rename menu. Basically, in order to fix the
bug (but still preserve the interactivity optimization), check syntax
changed from sending the information "here is a place to offer a
rename for these identifiers" to "here is a set of identifiers that
are all free-identifier=?" (the difference being that the latter does
not imply you got them all (which enables the optimization) and that
the information is slightly less rename-menu specific (which enables
the change in this commit))
2013-01-31 10:58:04 -06:00
Robby Findler
b4ec1de386 unbreak drr 2013-01-30 21:48:22 -06:00
Robby Findler
f9f6c4c3a1 fix some bugs in union-find
(thanks to random testing)
2013-01-30 20:47:55 -06:00
Robby Findler
afb61944db bring back the syncheck:add-rename-menu method in a way
that preserves backwards compatibility for the
drracket/check-syntax library
2013-01-30 20:47:55 -06:00
Robby Findler
dc4a74ddf3 fix bug in commit 4c4161ce2b 2013-01-30 15:11:28 -06:00
Matthew Flatt
6f2ff6af49 web page: videos link and other small changes 2013-01-30 11:11:07 -07:00
Robby Findler
4c4161ce2b guard a call to invalidate-bitmap-cache in
check syntax so it only happens when something
would draw differently
2013-01-30 11:54:47 -06:00
Robby Findler
5a55f64444 fix the random property; sadly still doesn't find the bug Danny found 2013-01-29 19:24:54 -06:00
Robby Findler
8013ccf60e improvements to union find suggested by Sam and Danny 2013-01-29 19:02:57 -06:00
Robby Findler
f0450d716b fixes the responsiveness optimization disabled in
c8bee5acf7
2013-01-29 19:02:32 -06:00
Matthew Flatt
ffb4b34494 another repair for extflonum support 2013-01-29 16:55:20 -07:00
Robby Findler
33747ec9ab added union-find to the data collection 2013-01-29 15:48:41 -06:00
Vincent St-Amour
5efaa004f0 Fix test for invalid fixnum quotient optimization.
The test depended on fixnum width, which is not portable.
2013-01-29 16:15:00 -05:00
Vincent St-Amour
0bc60a77c8 Improve type of exact? and exact->inexact.
Adapted from a pull request by Eric Dobson.
2013-01-29 12:35:29 -05:00
Vincent St-Amour
32b3dfc528 Fix type of quotient on fixnums.
Closes PR13466.
2013-01-29 12:35:29 -05:00
Robby Findler
32529d89c0 adjust randomized racket machine tests to print to
stderr on failure and to not print anything on success
2013-01-29 06:57:07 -06:00
Matthew Flatt
28493dcc88 repairs to extflonum changes 2013-01-29 05:53:30 -07:00
Matthew Flatt
74986a42e3 fix to use compiled startup code 2013-01-29 05:53:30 -07:00
Eric Dobson
10655a8373 Fix syntax/c. Closes PR13447. 2013-01-29 06:34:51 -06:00
Eli Barzilay
113077dc70 New Racket version 5.3.2.3. 2013-01-29 03:30:18 -05:00
Michael Filonenko
17b8092641 extflonums
An extflonum is like a flonum, but with 80-bit precision and
not a number in the sense of `number?': only operations such as
`extfl+' work on extflonums, and only on platforms where extflonums
can be implemented by hardware without interefering with flonums
(i.e., on platforms where SSE instructions are used for
double-precision floats).

[Patch provided by Michael Filonenko and revised by Matthew.]

The compiler tracks information about bindings that are known to
hold extflonums, but the JIT does not yet exploit this information
to unbox them (except as intermediate results).
2013-01-28 18:17:06 -07:00
Neil Toronto
aed3b39546 Added flexp2', fllog2', `fllogb'; refactored and documented flonum testing
Note: With this refactoring, `math/utils' no longer depends on `rackunit'.

* (flexp2 x) computes (flexpt 2.0 x) but in about 1/3 the time for integer
  `x' using a lookup table. Written for exact argument reduction in `fllog2'
  after discovering that (flexpt 2.0 x) was the main performance bottleneck.

* (fllog2 x) computes (/ (fllog x) (fllog 2.0)) with near perfect accuracy.
  Invented an algorithm to compute it with at least 8 extra bits before
  final rounding; quite pleased with the result. Needed `fllog2' to ensure
  (fllogb 2.0 x) would be exact when `x' is a power of two.

* (fllogb b x) computes (/ (fllog x) (fllog b)) with better accuracy, and
  also handles limit values in a way that's consistent with the mathematical
  limits. When those are ambiguous, it's consistent with `flexpt', which
  follows IEEE 754 and C99. Otherwise returns +nan.0. See docs for details.

* `bflogb' is currently just for testing `fllogb'.

* Refactored FPU testing and documented it. So far, the only documented way
  to do it is by calling `test-floating-point', which runs a comprehensive
  deterministic+randomized suite of tests and returns a list representing
  failed tests. I'll document individual tests after I document flonum
  expansions and result/error functions like `fl+/error'.

* Added `fllog2' and `fllogb' to the flonum tests.
2013-01-28 17:44:33 -07:00
chrdimo
e0a7329d86 Merge branch 'master' of pltgit:plt 2013-01-28 19:36:45 -05:00
chrdimo
7223c503f2 adding docs entry for blame update 2013-01-28 19:36:36 -05:00
chrdimo
b00810360b fixing backwards compatibility problems for blame-positive and blame-negative 2013-01-28 16:56:32 -05:00
chrdimo
5348a4d2de fixing docs and tests for maybe/c (old option/c) 2013-01-28 16:55:33 -05:00
Eric Dobson
3c02bb1abb Type check with expected type when checking recursive loops.
Closes PR12678.
2013-01-28 16:03:01 -05:00
Eric Dobson
13ff5883fe Do not update subtype and resolve caches when subtyping.
Closes PR13412.
2013-01-28 15:35:56 -05:00
Robby Findler
c8bee5acf7 disable a broken responsiveness optimization 2013-01-28 10:30:46 -06:00
chrdimo
5808b0c4a0 adding option contracts in unstable 2013-01-28 01:09:05 -05:00
chrdimo
5231e15a78 renaming unstable/contract's option/c to maybe/c 2013-01-28 01:08:17 -05:00
chrdimo
17e419e700 support for multiple blame parties 2013-01-28 01:07:03 -05:00
Robby Findler
3e5a9ca3cd unbreak check syntax
get-current-tab may not be the right tab to replay the trace,
now that online expansion runs other tabs when the current tab
is up to date.
2013-01-27 07:31:34 -06:00
Sam Tobin-Hochstadt
295bb1e85e Switch to pkg.racket-lang.org. 2013-01-26 15:59:33 -05:00
Stephen Chang
15d41a787e add examples for make-struct-info in docs 2013-01-26 14:06:04 -05:00
Robby Findler
2d2b3bee2f fix a bug in executable creation
The code used eq? to check to see if a given language was in
an list of allowed-to-create-executables languages. But the
language object was passing thru TR and so eq? didn't hold and
thus the check was buggy.
2013-01-26 10:47:59 -06:00
Robby Findler
aaf4a2e16d adjust find-next-outer-paren to avoid editing the buffer
related to PR 13454
2013-01-26 09:05:28 -06:00
Robby Findler
54fad8546a an attempt to change get-close-paren to not edit the buffer
related to PR 13454
2013-01-26 08:08:34 -06:00
Robby Findler
f90eb33d67 only when when there is something to undo
They hypothesis behind this change is that the undo is
undoing an edit that came before, not the temporary edit
that appears in insert-close-paren. So, when there are
no edits happening (ie when fixup? is #f) then don't
undo. This is only a hypothesis because we were not able
to find a small code sequence, outside of DrRacket to
cause the bad behavior, so possibly there is really more
going on here.

Thanks to Nadeem Abdul Hamid for finding this fix.

Closes PR 13454
2013-01-26 07:49:14 -06:00
Robby Findler
e43583c444 make sure the framework tests run with the proper environment 2013-01-26 07:49:14 -06:00
Robby Findler
88404f3b1f adjust dists to move picts into the mr distributions
This move moves a library from the plt distribution into the
mr distribution, which is a direction we do not generally
like to go, but the pict library is more core than slideshow
and the dependency that triggered this change is that the
2htdp/image library now interoperates with picts (hopefully
2htdp/universe will also work with them at some point).

So this teases out the pict part of slideshow (mostly,
but not completely the texpict collection) and moves only
that part to the mr distribution.
2013-01-25 19:07:50 -06:00