Commit Graph

38639 Commits

Author SHA1 Message Date
Robby Findler
0005e1d8ab fix some threading issues in set-language-level!
also, minor rackety
2014-10-19 07:39:29 -05:00
Robby Findler
dd12f79b07 update history for true, false, empty change 2014-10-18 22:03:50 -05:00
Robby Findler
12bba1489c adjust the teaching languages to use #true, #false, and '() instead of true false and empty 2014-10-18 21:59:30 -05:00
AlexKnauth
92f5b37ae2 add types for Stx-Null, Stx-Pairof, and Stx-Listof 2014-10-18 12:25:28 -04:00
AlexKnauth
3d88e7c663 add comments about (Syntaxof Syntax-E) 2014-10-18 12:25:28 -04:00
AlexKnauth
4c22029f06 test types for typed/syntax/stx 2014-10-18 12:25:27 -04:00
AlexKnauth
56faac79c4 fix types of stx->list, stx-car, etc. 2014-10-18 12:25:27 -04:00
Robby Findler
b19f5a34ee update Redex HISTORY.txt
please include in the 6.1.1 release
2014-10-18 11:12:58 -05:00
Robby Findler
b3110feabd update history for 6.1.1
please include in the release
2014-10-18 11:12:58 -05:00
Robby Findler
496230db12 guard object=? test properly 2014-10-18 11:12:57 -05:00
Matthew Flatt
fbdfa36594 raco pkg: support "git://..." and "http[s]://[...].git" sources
Use the `net/git-checkout` library to support git repository servers
in general, instead of supporting only GitHub. A HTTP(S) source is
treated as a repository source when it ends with the ".git" suffix.
2014-10-18 09:16:01 -05:00
Matthew Flatt
7e762b6694 net/git-checkout: repairs for HTTP(S)
Declare a "git" user agent, and use a secure client context for HTTPS
unless the `GIT_SSL_NO_VERIFY` environment variable is defined.

original commit: ecc1d5dff2
2014-10-18 07:14:50 -05:00
Matthew Flatt
ce464810d5 file/tar: add #:exists-ok? argument
The new argument is needed to reliably write to a tmp file, for
example, where the existence of the tmp file prevents other processes
from using the same name.
2014-10-18 07:14:50 -05:00
Matthew Flatt
97281eddc6 net/git-checkout: support ref -> ID mapping without download
original commit: 06803e4da7
2014-10-18 07:14:50 -05:00
Matthew Flatt
ecc1d5dff2 net/git-checkout: repairs for HTTP(S)
Declare a "git" user agent, and use a secure client context for HTTPS
unless the `GIT_SSL_NO_VERIFY` environment variable is defined.
2014-10-18 07:14:50 -05:00
Matthew Flatt
643fcd20e1 net/git-checkout: support the smart HTTP(S) transport
Git-based hosting services most commonly support the smart HTTPS
protocol, which carries "git://"-format payload in a fairly straightforward
way. (Supporting the dumb protocol looks much more difficult.)

original commit: bbf154ba36
2014-10-18 07:14:50 -05:00
Matthew Flatt
06803e4da7 net/git-checkout: support ref -> ID mapping without download 2014-10-18 07:14:50 -05:00
Matthew Flatt
dc696a2385 net/git-checkout: checkout a tree via the "git://" protocol
The `net/git-checkout` library implements enough of `git clone` to
extract a tree from a repository that is accessed via the "git://"
protocol. It doesn't preserve a local clone, and it attempts to
download only the slice of the repository that is needed for the
requested tree (depending on how the tree is referenced).

original commit: babd420293
2014-10-18 07:14:50 -05:00
Matthew Flatt
bbf154ba36 net/git-checkout: support the smart HTTP(S) transport
Git-based hosting services most commonly support the smart HTTPS
protocol, which carries "git://"-format payload in a fairly straightforward
way. (Supporting the dumb protocol looks much more difficult.)
2014-10-18 07:14:50 -05:00
Matthew Flatt
babd420293 net/git-checkout: checkout a tree via the "git://" protocol
The `net/git-checkout` library implements enough of `git clone` to
extract a tree from a repository that is accessed via the "git://"
protocol. It doesn't preserve a local clone, and it attempts to
download only the slice of the repository that is needed for the
requested tree (depending on how the tree is referenced).
2014-10-18 07:14:50 -05:00
Asumu Takikawa
03855eb532 Support define-namespace-anchor in TR 2014-10-17 15:23:28 -04:00
Matthew Flatt
3a3ffe1efa note v6.1.1 in Racket "HISTORY.txt"
Merge to v6.1.1
2014-10-17 07:19:11 -06:00
Robby Findler
122314ca27 name variable consistently 2014-10-16 19:36:41 -05:00
Vincent St-Amour
66e5a246c4 Update TR history.
Please merge to 6.1.1.
2014-10-16 14:42:43 -04:00
Matthew Butterick
a1360760ef extraneous "false" 2014-10-16 12:02:08 -04:00
Robby Findler
098d17b524 unbreak redex pdf docs build
please include in the release
2014-10-16 06:39:01 -05:00
Robby Findler
0e9271f12f refactor graph-data to make it easier to use externally 2014-10-15 21:41:48 -05:00
Max New
878358ec9e list/e performance tweak 2014-10-15 22:35:03 -04:00
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