Commit Graph

34190 Commits

Author SHA1 Message Date
Robby Findler
e02b6968e6 adjust docs for drracket/check-syntax so the example
doesn't include paths directly into the plt tree

please include on the release branch.

(cherry picked from commit bbd9c432b6)
2014-10-21 10:33:45 -04:00
AlexKnauth
5e49c94102 add types for Stx-Null, Stx-Pairof, and Stx-Listof
(cherry picked from commit 92f5b37ae2)
2014-10-21 10:33:40 -04:00
AlexKnauth
7ecc848176 add comments about (Syntaxof Syntax-E)
(cherry picked from commit 3d88e7c663)
2014-10-21 10:33:37 -04:00
AlexKnauth
233d5cbe0b test types for typed/syntax/stx
(cherry picked from commit 4c22029f06)
2014-10-21 10:33:33 -04:00
AlexKnauth
b87b669bc8 fix types of stx->list, stx-car, etc.
(cherry picked from commit 56faac79c4)
2014-10-21 10:33:28 -04:00
Robby Findler
a75b4de4f3 update Redex HISTORY.txt
please include in the 6.1.1 release

(cherry picked from commit b19f5a34ee)
2014-10-21 10:33:25 -04:00
Robby Findler
0b588cd779 update history for 6.1.1
please include in the release

(cherry picked from commit b3110feabd)
2014-10-21 10:33:21 -04:00
Matthew Flatt
c0ddedb16a note v6.1.1 in Racket "HISTORY.txt"
Merge to v6.1.1

(cherry picked from commit 3a3ffe1efa)
2014-10-21 10:33:15 -04:00
Vincent St-Amour
1ac11089d8 Update TR history.
Please merge to 6.1.1.

(cherry picked from commit 66e5a246c4)
2014-10-21 10:33:11 -04:00
Robby Findler
a96ca29576 unbreak redex pdf docs build
please include in the release

(cherry picked from commit 098d17b524)
2014-10-21 10:33:07 -04:00
Robby Findler
c326c21b73 fix "redex-doc" dependencies
(cherry picked from commit d3950e1f09)
2014-10-15 22:15:23 -04:00
Matthew Flatt
5daba5bf73 fix "redex-doc" dependencies
(cherry picked from commit 0a9cf6dc34)
2014-10-15 22:15:16 -04:00
Asumu Takikawa
e285d00983 Fix printing of * in -> types
(cherry picked from commit 38af459049)
2014-10-15 19:36:10 -04:00
Eli Barzilay
91036cea81 Random improvement.
The thing that caught my eye is the missing `#:cache-keys?' which should
really be there.  But not too important.

(cherry picked from commit eaa6f85054)
2014-10-15 19:36:04 -04:00
Eli Barzilay
dc4f4f8ee9 Add `type-output-sexpr-tweaker'.
Sounds like a bad name, but I don't have anything better.  It's not some
"current-...-print" thing since it works on the sexpr that is intended
to be pretty-printed.  So I went with the above.

(cherry picked from commit 3c98d08690)
2014-10-15 19:35:58 -04:00
Eli Barzilay
3e31a65e88 Get rid of `special-dots-printing?'.
Asumu said that he doesn't know of any other clients of this parameter
besides my class code.

(cherry picked from commit 0eed0f6e0e)
2014-10-15 19:35:52 -04:00
Eli Barzilay
c541afcac8 Get rid of some unused code.
Looks like some aborted attempt at abstraction, which is no longer used.

(cherry picked from commit 2e6b82ab8e)
2014-10-15 19:35:40 -04:00
Matthew Flatt
02f935d759 ffi/unsafe: fix make-sized-byte-string on a #f argument
In particular, a #f argument can make sense if the length is 0.
Technically, a byte string's byte array is supposed to be nul-terminated,
but many uses of byte strings get away without that terminator. I've
adjust the documentation to note that `bytes-copy` will work with a
non-terminated byte string.

Merge to v6.1.1

(cherry picked from commit 1cc86d3cea)
2014-10-15 19:30:54 -04:00
Robby Findler
774a4bf179 add a description of the bugs in the benchmark to the documentation
please include in the release

(cherry picked from commit ef76c273ea)
2014-10-15 19:30:44 -04:00
Matthew Flatt
40f95e9649 macro expander: fix an internal hash-table traversal bug
This bug could result in weird "cannot re-define a constant: lifted.0.2"
errors, or probably even worse collsisions of definitions, but I think
only in a namespace created from `module->namespace`.

So far, I haven't been able to create a reasonably small test,
because so many things have to line up in just the right way.

Merge to v6.1.1

(cherry picked from commit d4ad0a20e4)
2014-10-15 19:30:06 -04:00
Matthew Flatt
ed331313e2 fix allocation bug in equal? on deeply nested values
Based on the core file, this bug seems likely responsible for the
`raco setup` crash on DrDr for push 29346.

Merge to v6.1.1

(cherry picked from commit 7e984c6009)
2014-10-15 19:29:54 -04:00
Matthew Flatt
81b077221b add missing "x86_64-linux-natipkg" dependency
Merge to v6.1.1

(cherry picked from commit 079ea21dab)
2014-10-15 19:29:43 -04:00
Ryan Culpepper
76e51865d4 Alpha version number for the v6.1.1 release 2014-10-08 14:39:35 -04:00
Burke Fetscher
ac855bcd9a add missing file from previous push 2014-10-08 11:51:45 -05:00
Burke Fetscher
566f3fbbf4 redex: fix distribution cache in search 2014-10-08 11:46:24 -05:00
Vincent St-Amour
290329e5fa Use bytes consistently in regexmatch.
Inconsistency found by Tobias Pape, see GH issue #792.
2014-10-08 12:00:04 -04:00
Matthew Flatt
f0bd4e6d71 distro-build: "detail" label rendering on download page 2014-10-08 06:25:51 -06:00
Matthew Flatt
40f5ec070a configure: add --enable-natipkg and 64-bit Linux native libraries
The `--enable-natipkg` configuration option adds "-natipkg" to the
platform library subpath. The suffix is intended to trigger the
installation of packages that supply native libraries for supported
platforms (where 64-bit Linux is the supported platform, for now, for
main-distribution packages), instead of relying on libraries installed
via the OS's package manager.

The intended client for "-natipkg" is the package-build service, where
installing packages via the OS package manager would require network
access and either trust or constrained installations. The build
machine is intentionally disconnected from the network and can only
access Racket packages, so repackaging native libraries as Racket
packages makes those libraries accessible.

A disadvantage of this approach to installing native libraries is that
it creates work for implementers of packages that access native
libraries. Those implementers will have to supply packages for 64-bit
Linux versions of native libraries to the degree needed to build and
(eventually) test the package. An advantage of the approach is that it
requires no changes to the package system; it will be cheap to replace
this approach if we find a better way to deal with native libraries
and/or OS packages in the package-build service.
2014-10-08 05:19:33 -06:00
Asumu Takikawa
e50e2eaa57 Fix type for read-bitmap
Closes PR 14729
2014-10-08 01:57:22 -04:00
Burke Fetscher
10d957be1e fix redex benchmark dependencies 2014-10-07 21:56:04 -05:00
Burke Fetscher
b1ca4340c5 fix delim-cont tests 2014-10-07 20:31:24 -05:00
Burke Fetscher
2ba4e97fa1 redex: add typed generators to the benchmark
- change delim-cont to generate a store as well
- add version of rvm that works with #:satisfying
- add version of list-machine that works with #:satisfying
- new rewrites for the above
- infrastructure to wire all of this together
2014-10-07 17:42:57 -05:00
Asumu Takikawa
f271d3b167 Adjust tc-utils too for new DrRacket protocol 2014-10-07 00:02:30 -04:00
Robby Findler
220805a6bf improve the way tooltips line things up
In particular, when a single tooltip entry has a string like:

  "wwww\n  ii"

then be sure to line up the first "i" underneath the third "w".
2014-10-06 22:12:27 -05:00
Robby Findler
8784bd984f adjust the tooltip check syntax property to insist
on the syntax object itself to identify the source,
instead of just handing over the source
2014-10-06 21:19:12 -05:00
Robby Findler
2b48e6c08a update the redex unix bitmap expected results for recent change 2014-10-06 20:16:11 -05:00
Asumu Takikawa
693355710f Add TR tooltips for type errors as well.
Adjust type tooltips to only show if there isn't a type
error on that syntax location.
2014-10-06 18:56:53 -04:00
Robby Findler
230fb91f38 fix rendering of metafunctions that use ∪, ∨, etc in the range contract 2014-10-06 17:06:47 -05:00
Neil Toronto
1e99637bf8 Added get-current-gl-context, tests (also for make-gl-bitmap), and docs 2014-10-06 16:37:06 -04:00
Asumu Takikawa
e301519a7e Add type tooltip information in TR modules
This lets DrRacket show types for expressions that
are typechecked.
2014-10-06 14:07:28 -04:00
Robby Findler
cf9a6d50e2 don't hide the tooltip frame before moving it under linux 2014-10-05 21:56:56 -05:00
Robby Findler
53aeb85759 fix editing error
closes PR 14764
2014-10-05 15:43:45 -05:00
Robby Findler
0c8834d567 make 2htdp/image's equality function ignore baselines
also some Rackety and spelling

related to PR 14760
2014-10-05 07:17:44 -05:00
Robby Findler
0f058d8cf2 require only original-enough? syntax for require annotations 2014-10-04 16:57:18 -05:00
Robby Findler
a50eeb458f add show-content as a simple way to get started with the
drracket/check-syntax library
2014-10-04 16:18:53 -05:00
Robby Findler
d46b097bc8 fix syntax error check in 'bitmap'
closes PR 14763
2014-10-04 09:29:42 -05:00
Neil Toronto
c89434d56b Add more XSync to clear the queue to avoid crashes with repeated use 2014-10-04 06:22:41 -04:00
Robby Findler
ed13d40b6f move the module browser into the drracket-tool-lib pkg
for lighter-weight reuse
2014-10-03 22:12:53 -05:00
Robby Findler
f68f329564 fix bug in 144fdb2a 2014-10-03 21:55:21 -05:00
Robby Findler
868140d91c use a new strategy for computing the baseline for the various beside functions
Instead of just taking the maximum  value of any of the baselines in the
beside case, look for the largest difference between the bottom and
the baseline and take the location of that image's baseline as the combined
baseline. If the differences are equal, take the one that is furthest away
from the top

closes PR 14760
2014-10-03 15:54:02 -05:00