suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
34,536 Commits 17 Branches 54 Tags 278 MiB
dd02cf8952
Commit Graph

34536 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Asumu Takikawa
ca79eceb60 Remove types for interfaces from TR framework. 
We don't yet support types for interface values.

Please merge to v6.1.1
 2014-10-19 21:14:38 -04:00
Matthias Felleisen
dede06f2a0 bring htdp/*sl languages up-to-date with #true, #false, '() 2014-10-19 17:24:57 -04:00
Robby Findler
bbd9c432b6 adjust docs for drracket/check-syntax so the example 
doesn't include paths directly into the plt tree

please include on the release branch.
 2014-10-19 14:27:08 -05:00
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
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
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
06803e4da7 net/git-checkout: support ref -> ID mapping without download 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
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