Commit Graph

29557 Commits

Author SHA1 Message Date
Vincent St-Amour
129c5ed210 Fix test for TR's for source locations.
(cherry picked from commit ab5075bc76)
2013-07-24 13:12:10 -04:00
Vincent St-Amour
ac4140884f Fix broken test, again.
(cherry picked from commit 0e7940ab49)
2013-07-24 13:12:06 -04:00
Vincent St-Amour
b23fc34c24 Fix broken test.
(cherry picked from commit 069ff59a4b)
2013-07-24 13:12:01 -04:00
Eli Barzilay
ec2acb8bc0 Further explain silent acceptance of unencoded characters.
Also highlight the two tests that use that.
(cherry picked from commit 8d55b892ec)
2013-07-22 09:53:01 -04:00
Eli Barzilay
cc655dc13b Simplify decoding code into one `cond'.
(It's likely to get written in some better way, for example, avoid the
extra work for simple strings.)
(cherry picked from commit 210c71d91c)
2013-07-22 09:52:52 -04:00
Sam Tobin-Hochstadt
eb9b3e109a Fix wide-character decoding in URLs.
(cherry picked from commit a4e529a816)
2013-07-22 09:51:56 -04:00
Eli Barzilay
11debde2f3 Misc improvements to `net/uri-codec'.
Fix a bug in encoding strings with characters between 128 and 256, avoid
extra bindings for conversion vectors; remove calling `noels-tests' from
`main' since it's already called from `tests', etc.
(cherry picked from commit c2280ed8dc)

Conflicts:
	collects/net/uri-codec.rkt
2013-07-22 09:51:26 -04:00
Eli Barzilay
63e86b8e74 Get rid of the `#:function' keyword.
These problems are always dealt with via an internal function instead of
making the name argument part of the visible API.
(cherry picked from commit f90fe4c598)
2013-07-22 09:47:49 -04:00
Matthew Flatt
9c701c0385 libpng adjustment
Keep error if no "libpng" is found.
(cherry picked from commit f97a7cf177)
2013-07-22 09:22:03 -04:00
Matthew Flatt
c53083da3f support libpng16
(cherry picked from commit 5629a6156a)
2013-07-22 09:21:59 -04:00
Matthew Flatt
0c3cd96d23 racket/draw: support libjpeg v9
Closes PR 13721
(cherry picked from commit 158997cde7)
2013-07-22 09:21:55 -04:00
Matthew Flatt
a3a5a4e2e2 fix GC bug in FFI
Replicate e3eed89 for v5.3.6.
2013-07-17 13:42:31 -04:00
Matthew Flatt
e3e65a9cdf GC bug fix
Replicate 4266e60 for the v5.3.6 release.

This repair omits one part of the original commit,
which is the `gc->dumping_avoid_collection' test
in check_used_against_max(). It's unlikely to matter,
and I'm not sure that check is correct without some
additional changes that seem too complex to try to
include the release.
2013-07-17 13:42:31 -04:00
Eli Barzilay
0ef2c645a5 New Racket version 5.3.5.900. 2013-07-13 21:29:07 -04:00
Vincent St-Amour
5ab2529768 Fix race condition in `delay/thread'.
There's mutual dependence between promises and their threads. This may
cause a thread to start running before its promise is fully initialized,
in which case it will be `#<undefined>', which causes errors down the road.

This was the cause of an intermittent failure in the TR test harness.
(cherry picked from commit 0690ccd90f)
2013-07-08 10:34:14 -04:00
Sam Tobin-Hochstadt
ac2c4401f3 Unbreak json tests.
(cherry picked from commit 9b29dcb9a7)
2013-07-08 10:34:14 -04:00
Sam Tobin-Hochstadt
7ec1625464 Fix function names in JSON error messages.
(cherry picked from commit f25971ada1)
2013-07-08 10:34:14 -04:00
Asumu Takikawa
c4b47ffc2e Make struct: work at the REPL
Closes PR 11669

(cherry picked from commit ebc6a6618e)
2013-07-08 10:34:14 -04:00
Asumu Takikawa
d6acbce609 Fix test for 29bce22d0b
Oddly, this test succeeded locally even with the
wrong exception expression. DrDr caught it though.
(cherry picked from commit ec80b7d01c)
2013-07-08 10:34:14 -04:00
Asumu Takikawa
cf8f806db7 Fix internal error for vector type-checking
If multiple values were expected and not provided
when type-checking a vector expression, TR would throw
an internal error.

Thanks to Pierpaolo for the report!

(cherry picked from commit 29bce22d0b)
2013-07-08 10:34:13 -04:00
Eric Dobson
c4c85ce9c8 Use in-syntax instead of in-list/syntax->list.
(cherry picked from commit 83f38f4d3b)
2013-07-08 10:34:13 -04:00
Eric Dobson
599f46ad32 Minor whitespace fix.
(cherry picked from commit b9b1eb14ba)
2013-07-08 10:34:13 -04:00
Asumu Takikawa
dade2004e3 Remove debugging instrumentation
(cherry picked from commit ec8e126a90)
2013-07-08 10:34:13 -04:00
Eric Dobson
8b1c643bca Consolidate the rest of the syntax properties in TR.
(cherry picked from commit 4310f04eaf)
2013-07-08 10:34:13 -04:00
Eric Dobson
7383a685e3 Centralized typechecker:ignore properties.
(cherry picked from commit a325e38046)
2013-07-08 10:34:13 -04:00
Eric Dobson
a945181907 Centralize the definition of the plambda syntax property.
(cherry picked from commit df07151cb9)
2013-07-08 10:34:13 -04:00
Asumu Takikawa
f0380177ca Refactor to reduce right-ward drift
(cherry picked from commit e0cff038c8)
2013-07-08 10:34:13 -04:00
Asumu Takikawa
27afae3541 Fix types for some plot parameters
Thanks to Neil for providing test cases
(cherry picked from commit 2f59f1027f)
2013-07-08 10:34:13 -04:00
Asumu Takikawa
a18bf85b4f Only generate poly contracts for functions
Closes PR 13815
(cherry picked from commit bafaf52056)
2013-07-08 10:34:12 -04:00
Asumu Takikawa
90b149dc46 Fix union merging
Trying to merge (and thus resolve) applications of struct
types would cause infinite looping on type instantiation
if the struct type used both a union and recursion.

Closes PR 13821
(cherry picked from commit c8e281a80e)
2013-07-08 10:34:12 -04:00
Asumu Takikawa
05224c6cdc Add match*? to unstable/match
(cherry picked from commit 12e5bc645b)
2013-07-08 10:34:12 -04:00
Vincent St-Amour
a45716f16e Fix type of gensym.
(cherry picked from commit c070aaecda)
2013-07-08 10:34:12 -04:00
Vincent St-Amour
fe96ba1516 Fix unsound unary fixnum subtraction optimization.
Closes PR13826.
(cherry picked from commit 93d4a5d426)
2013-07-08 10:34:12 -04:00
Vincent St-Amour
4e360f8bc3 Fix unsound fxquotient optimization.
Closes PR13827.
(cherry picked from commit 5e30416110)
2013-07-08 10:34:12 -04:00
Eric Dobson
d04ee6125a Make for loops in TR use an annotation when applicable.
(cherry picked from commit f6050d5587)
2013-07-08 10:34:12 -04:00
Sam Tobin-Hochstadt
d5c62424f8 Fix types of system etc for new keyword arguments.
This requires extending the ->optkey type constructor to support rest
arguments, and fixing the keyword function type generation code.

Testing is still limited because there's no parsing for such types.
That will be handled in a later commit.
(cherry picked from commit 3fd9df03f7)
2013-07-08 10:34:12 -04:00
Eric Dobson
0503bcd7c6 Move tc-literal to seperate file, as it doesn't belong in tc-expr.
(cherry picked from commit adbc516edf)
2013-07-08 10:34:11 -04:00
Sam Tobin-Hochstadt
d5f288e0c2 Register scoped type variables for internal def. annotations.
Closes PR 13793.
(cherry picked from commit 499bcefa1d)
2013-07-08 10:34:11 -04:00
Vincent St-Amour
c1dd497ba2 Don't splice in vector creation when optimizing vector-length.
Closes PR13788.
(cherry picked from commit d9264525bd)
2013-07-08 10:34:11 -04:00
Asumu Takikawa
11f7d8b452 Fix broken internal error
(cherry picked from commit e6503c5df6)
2013-07-08 10:34:11 -04:00
Eric Dobson
4f0af0de72 Make scoped type vars work only for explict Alls and annotations.
Solves major issue disscussed on PR 13586.
Closes PR 13622.
Solves issue when typechecking lambdas with types like (All (a) Any).
Closes PR 13596.
Closes PR 13539.
Closes PR 13703.
(cherry picked from commit 01a88f8db1)
2013-07-08 10:34:11 -04:00
Eric Dobson
ef66cb0ca7 Massive cleanup of requriements in TR.
(cherry picked from commit f332affa5a)
2013-07-08 10:34:11 -04:00
Eric Dobson
bd6baada71 Clean up lam-result.
Make drest a list instead of a pair, replace an int-err with a match error
which has source location, and remove static name for rest argument in error
case.
(cherry picked from commit 4fcda73adf)
2013-07-08 10:34:11 -04:00
Eric Dobson
4bae399d78 Cleanup tc-lambda-unit.
(cherry picked from commit 2a94ca9030)
2013-07-08 10:34:11 -04:00
Asumu Takikawa
a668c5d78b Add comments, purpose statements, and contracts
(cherry picked from commit bb2ecbf8cb)
2013-07-08 10:34:10 -04:00
Asumu Takikawa
f753e1b63f Document :type better
(cherry picked from commit a40a1341f6)
2013-07-08 10:34:10 -04:00
Asumu Takikawa
c2f5b31e96 Expend printing fuel in all branches
This makes (:type (Number -> Integer)) produce
(Number -> Integer) instead of expanding at the first name.
Combined with expansion cues, this makes it easier for users
to expand the relevant parts of types.
(cherry picked from commit 34aeaee672)
2013-07-08 10:34:10 -04:00
Asumu Takikawa
664a370a1b Cue user about unexpanded type aliases
This tells the user that more type aliases are
available for expansion. For example, (Listof Number)
has the alias Number still unexpanded into the union
that it represents.
(cherry picked from commit 19c5d3eaad)
2013-07-08 10:34:10 -04:00
Asumu Takikawa
6e94295c96 Add a #:verbose option to :type.
This prints the old way, expanding all aliases inside the type.
(cherry picked from commit 1f5b262f6d)
2013-07-08 10:34:10 -04:00
Asumu Takikawa
b35e0fd138 Cut off type printing with :type at one level
Makes types print nicer with :type in most cases.
Previously, the printer expanded type aliases as much
as possible. Now, it defaults to a single level of expansion.
A later commit adds a #:verbose option to show the entire
type.
(cherry picked from commit fd33584b6f)
2013-07-08 10:34:10 -04:00