Commit Graph

30312 Commits

Author SHA1 Message Date
Matthew Flatt
36203863d8 scribble/sigplan: add `doi' 2013-08-28 10:02:28 -06:00
Matthew Flatt
f912a839af fix props for moved files 2013-08-28 06:50:02 -06:00
Carl Eastlund
01b753c1d5 Renamed set? to generic-set? and set-immutable? to set? in tests. 2013-08-28 01:44:14 -04:00
Carl Eastlund
ec5a9616e0 Renamed set-immutable? to set?. 2013-08-28 01:33:33 -04:00
Carl Eastlund
6665f42e33 Changed set? to generic-set?. 2013-08-28 00:10:18 -04:00
Carl Eastlund
899d57f687 Fixed define-generics so that predicate definitions follow method definitions.
I'm not sure that #:defaults and #:fast-defaults predicates should ever refer to
methods from the same generic interface, but the behavior should be divergence
rather than an undefined variable error.
2013-08-27 22:26:59 -04:00
Matthew Flatt
49e6a71f72 add "collects/realm/README.txt"
Guide readers of _Realm of Racket_ to the new location of
the "realm" directory.
2013-08-27 18:00:58 -06:00
Matthew Flatt
0b6f24e3b5 ffi/unsafe: unbreak _list-struct
Broken by 0b1f96ab3d (specifically one of my changes to
Tobias's patch).
2013-08-27 17:29:33 -06:00
Matthew Flatt
3d91b6b77f raco pkg: add a missing `close-input-port' on network connection 2013-08-27 15:20:58 -06:00
Matthew Flatt
10e2db7025 move "ffi/examples" from base to "racket-doc" 2013-08-27 15:20:58 -06:00
Matthew Flatt
c709af5bf4 auto-fix dependencies for "scheme-lib" and "srfi-lite-lib" 2013-08-27 15:20:58 -06:00
Matthew Flatt
d175c3949c move "scheme" collection to a "scheme-lib" package
Also, move remaining "srfi" libraries to "srfi-lite-lib".

In principle, "base" should depend on "scheme-lib" and
"srfi-lite-lib", and a new "base2" package would represent the new,
smaller base. But I don't think the window has yet closed on
determining the initial "base" package.

The "srfi" libraries moved to "srfi-lite-lib", instead of "srfi-lib",
to avoid creating many extra dependencies on "srfi-lib" and all of its
dependencies. The SRFIs in "srfi-lite-lib" depend only on "base",
and they are used relatively widely.
2013-08-27 15:19:24 -06:00
Vincent St-Amour
7198e5f09a Move test file to the right place. 2013-08-27 13:38:19 -04:00
Vincent St-Amour
fcd60cc304 Add Asumu as responsible for TR. 2013-08-27 13:38:19 -04:00
Tobias Hammer
0b1f96ab3d Add missing fender to define-cstruct
prevents internal error from libffi for
(define-cstruct _S ())
2013-08-27 10:15:25 -06:00
Asumu Takikawa
0e02b7e368 Remove certifiers for Opaque and Refinement types
Syntax certifiers are now deprecated. This change
should have no effect on the types.
2013-08-27 11:50:27 -04:00
Jay McCarthy
a2b780abee note 2013-08-27 09:16:16 -06:00
Jay McCarthy
740a92164c Clarify http request support 2013-08-27 09:16:16 -06:00
Jay McCarthy
dc8f52dbb1 Do not send Host or Content-Length if user has 2013-08-27 09:16:16 -06:00
Jay McCarthy
41901397a7 Allow different HTTP versions 2013-08-27 09:16:16 -06:00
Jay McCarthy
fbccbd8ad3 Parse HTTP responses more generously 2013-08-27 09:16:15 -06:00
Jay McCarthy
19cf923305 Fixing race condition with updates 2013-08-27 09:16:15 -06:00
Jay McCarthy
e1170b21d6 Fixing delete 2013-08-27 09:16:15 -06:00
Jay McCarthy
0f4f4d705a pre-populate authors 2013-08-27 09:16:15 -06:00
Tobias Hammer
610949e622 Fix automated tests for systems without IPv6 2013-08-27 07:27:54 -06:00
Tobias Hammer
e6886e4213 Fix missing initialization in filesystem-change-evt 2013-08-27 07:27:54 -06:00
Eric Dobson
83aa8bc07b Add real test for check-type and remove unit tests. 2013-08-27 04:21:14 -07:00
Eric Dobson
c24afb09d9 Added #%expression to inst to order it correctly with ann. 2013-08-27 04:21:14 -07:00
Eric Dobson
55e9043679 Make parse-type-tests work even if the typecheck-tests are not run. 2013-08-27 04:21:13 -07:00
Eric Dobson
19eaf47d10 Change tc-exprs to tc-body. 2013-08-27 04:21:13 -07:00
Eric Dobson
418ecc87e0 Make optimizer tests worker better with failures. 2013-08-27 03:59:13 -07:00
Eric Dobson
b294f8d2d5 Share typed-racket instantiation across different runs of the optimizer. 2013-08-27 03:59:12 -07:00
Eric Dobson
b3eea88fcd Make optimizer tests work without writing out files. 2013-08-27 03:59:12 -07:00
Eric Dobson
ba3c805322 Remove registry box from optimizer tests. 2013-08-27 03:59:12 -07:00
Matthew Flatt
392a8219ae futures: fix rest-arg list creation
Also, make rest-arg list creation safe for futures (and slightly
faster in general).

Closes PR 13832
2013-08-26 20:17:52 -06:00
Asumu Takikawa
c5e9aced2b Add a reference to pkg docs from notation section 2013-08-26 16:43:32 -04:00
Asumu Takikawa
5faef8fb06 Add a notation subsection for structs 2013-08-26 16:16:45 -04:00
Asumu Takikawa
20b77f9a8e Fix some ref typos 2013-08-26 16:16:32 -04:00
Asumu Takikawa
1ea063b8ff Remove inaccurate comment 2013-08-26 15:13:31 -04:00
Asumu Takikawa
8978c83b18 Fix TR internal error
The following expression would trigger an arity error:
  (subst-all
   (make-simple-substitution (list 'a 'z) (list (-val 3) (-val 5)))
   (make-ListDots (make-F 'z) 'a))
2013-08-26 15:12:16 -04:00
Burke Fetscher
dc8ae059c6 Preprocess nt patterns in pattern unification.
Specifically, correctly handle cases where an nt
production has named patterns.
2013-08-26 13:22:02 -05:00
Robby Findler
5800ce1cec another fix to the 102 column guide
This should make it disappear properly when
the file's width goes down below the column guide

fix a bug in 27603faf, I believe
2013-08-26 06:47:32 -05:00
Robby Findler
bc16aa64e9 add test case for 56a313caa
Also bring gen-tests.rkt downn below 102 columns wide
2013-08-26 03:44:49 -05:00
Robby Findler
1e652b842f use hyphens in the example define-judgment-forms for STLC 2013-08-26 03:44:49 -05:00
Burke Fetscher
56a313caa0 Fix boolean/pattern confusion for term generation.. 2013-08-25 22:20:58 -05:00
Matthew Flatt
44e324db12 ARM JIT: fix test for VFP
Having `__VFP_FP__` defined does not mean that VFP instructions are
available; it just means that floating-point is native-endian.

According to

 https://wiki.debian.org/ArmEabiPort

the absence of `__SOFTFP__` combined with the precense of `__VFP_FP__`
can mean VFP, though.
2013-08-25 12:54:04 -06:00
Matthew Flatt
83d3304cdc update Guide to describe adding a collection via a package 2013-08-25 08:27:00 -06:00
Matthew Flatt
94d61b9e96 adjust DrRacket to not compile files in installation's "share"
This rule supplements the old (but now less applicable) rule to
never add debugging-compiled files in the main installation's
"collects" directory.

Note that the new rule does not prevent compilation in
main-distribution packages that are linked, as in the development mode
set up by `make' in the Racet repository's top-level directory.
I think that's probably ok, since the intent of the check is mainly
just to not write to shared installation spaces, which shouldn't be
an issue for development mode.
2013-08-25 06:17:31 -06:00
Matthew Flatt
100cc0f84e fix `{put,head}-[im]pure-port'
Connection wasn't converted to a port, and included a repeated
layer of chunk decoding.
2013-08-24 15:21:06 -06:00
Matthew Flatt
7e0d3beb67 ARM JIT: avoid direct use of __aeabi_... for software fp 2013-08-24 12:28:25 -06:00