Commit Graph

37761 Commits

Author SHA1 Message Date
Max New
d4b5d1897e Fix prime-splitting list/e bug 2014-10-15 22:27:04 -04:00
Max New
01f8ff5eb8 use available library function
Missed this earlier
2014-10-15 21:59:55 -04:00
Max New
b48710bab3 list/e splits arg list using prime factorization of length
Possible performance benefits
2014-10-15 21:12:20 -04:00
Robby Findler
d3950e1f09 fix "redex-doc" dependencies 2014-10-15 06:53:36 -05:00
Matthew Flatt
0a9cf6dc34 fix "redex-doc" dependencies 2014-10-15 05:22:00 -06:00
Matthew Flatt
5650e8fc03 reorganize pkg/lib implementation
Split the module into several (smaller) modules.
2014-10-14 17:37:05 -06:00
Matthew Flatt
1cc86d3cea 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
2014-10-14 16:43:20 -06:00
Matthias Felleisen
da98d60f99 fix check-satisfied to properly deal with errors in predicate check 2014-10-14 15:37:18 -04:00
Robby Findler
ef76c273ea add a description of the bugs in the benchmark to the documentation
please include in the release
2014-10-14 12:15:06 -05:00
Robby Findler
60cb6fb8cd refactor internals to allow paper to use an
(otherwise) internal helper function to illustrate
what distributions search uses
2014-10-13 20:55:49 -05:00
Robby Findler
47b7a28ce3 change the whitebracket abstractions in redex
and introduce a horrible hack to deal with what
appears to be far too much whitespace on the sides
of the whitebracket characters
2014-10-12 20:47:38 -05:00
Robby Findler
251b8e283f allow metafunction-cases to be the empty list
and thus allow metafunctions contracts to be typeset, without showing
any of the cases of the metafunction
2014-10-11 23:23:39 -05:00
Robby Findler
735881831b add contract to 'table' 2014-10-11 23:23:39 -05:00
Robby Findler
ec4542383c add list*of 2014-10-11 23:23:38 -05:00
Matthew Flatt
608ac636eb repair ELF fixup on native-library installation
The fixup is not allowed to changed the virtual
address of a SHT_PROGBITS section, so a expanded
".dynstr" section might have to be moved to a
virtual address after everything else.
2014-10-11 14:11:21 -06:00
Robby Findler
2f351b626b bring bind-withs down under 102 columns 2014-10-11 11:49:39 -05:00
Robby Findler
2d66d84b2f update bitmap test results for drdr 2014-10-11 11:47:50 -05:00
Matthew Flatt
71c93c2615 raco setup: unbreak for native libraries on Windows and Mac OS X
Repairs commit bd29411579.
2014-10-11 08:25:32 -06:00
Matthew Flatt
7b7e078a4a fix doc typo
Reported by Roman Klochkov
2014-10-11 08:25:31 -06:00
Robby Findler
c754bbc54f add a form of conditional right-hand sides to metafunctions
in the spirit of those giant left curly braces that you sometimes
see (and typeset them that way)
2014-10-10 23:22:58 -05:00
Robby Findler
3f938e5ac2 switch metafunction typesetting to use the unicode white square brackets
and add use-homemade-white-brackets
2014-10-10 23:22:58 -05:00
Robby Findler
88baea6cca create the addon dir if it doesn't exist yet 2014-10-10 23:22:58 -05:00
Matthew Flatt
d4ad0a20e4 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
2014-10-10 17:51:07 -06:00
Matthew Flatt
3692abf61e Windows: add "CP" before code page number as locale encoding
If you set the locale to something like "us_EN.1252", then
"1252" was returned as the encoding, but "CP1252" is more likely
to be recognized by `bytes-open-converter`.
2014-10-10 17:51:07 -06:00
Matthew Flatt
d8793e5b8b Always convert string<->paths with UTF-8 on Windows
Also, document representation information on paths. In particular,
explain that Unix and Mac OS X paths are natively byte strings, while
Windows paths are natively UTF-16 code-unit sequences. The byte-string
representation of a Windows path is a UTF-8-like encoding of the UTF-16
code-unit sequence, which is why it makes no sense to convert it using
the current locale's encoding.
2014-10-10 17:51:07 -06:00
Max New
039eac7440 Remove more internal contract usages 2014-10-10 16:31:16 -05:00
Max New
f1403b70f2 Increase size of enum-test and use unambiguous enumerator for _!_ test 2014-10-10 16:31:16 -05:00
Max New
1e2c92bf86 Move back to old finite, infinite list/e (significantly faster) 2014-10-10 16:31:16 -05:00
Max New
6a31cc882f Git rid of internal contracts in enumerator for speed 2014-10-10 16:31:16 -05:00
Matthew Flatt
7e984c6009 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
2014-10-10 08:20:33 -06:00
Matthew Flatt
bd29411579 setup and pkg create: adjust ELF RPATH on install and uninstall
Allow a library installed as user-specific to refer to libraries
installed installation-wide.
2014-10-10 05:54:42 -06:00
Matthew Flatt
079ea21dab add missing "x86_64-linux-natipkg" dependency
Merge to v6.1.1
2014-10-10 05:47:33 -06:00
Asumu Takikawa
863f0c5802 Add contract generation for Evtof types 2014-10-09 17:13:49 -04:00
Asumu Takikawa
38af459049 Fix printing of * in -> types 2014-10-09 16:11:36 -04:00
Eli Barzilay
eaa6f85054 Random improvement.
The thing that caught my eye is the missing `#:cache-keys?' which should
really be there.  But not too important.
2014-10-09 16:11:16 -04:00
Eli Barzilay
3c98d08690 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.
2014-10-09 16:11:16 -04:00
Eli Barzilay
0eed0f6e0e Get rid of `special-dots-printing?'.
Asumu said that he doesn't know of any other clients of this parameter
besides my class code.
2014-10-09 16:11:16 -04:00
Eli Barzilay
2e6b82ab8e Get rid of some unused code.
Looks like some aborted attempt at abstraction, which is no longer used.
2014-10-09 16:11:16 -04:00
Asumu Takikawa
725cb99f4a Rewrite TR class form to preserve abstractions
This uses a technique discovered by Ryan and Dan that
allows the typed class macro to function without invasively
local-expanding the entire class macro (using its private
context information).

Instead, it expands into many helper macros inside the
normal class body and communicates among them using
`syntax-local-value` and compile-time state within the
class body.

This rewrite didn't save that many lines, but it did
reduce the amount of magic that's used.
2014-10-09 14:37:05 -04:00
Burke Fetscher
d17fca3838 redex: randomly choose between search heuristics 2014-10-09 12:51:24 -05:00
Asumu Takikawa
cefa13c4d7 Delete useless definition 2014-10-09 11:00:35 -04:00
Ryan Culpepper
653939ffa7 Post-release version for the v6.1.1 release 2014-10-08 14:39:56 -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