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

32492 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Robby Findler
4d94ef91cf allow 'contract' to use #f for the positive 
name, but still disallow #f at the blame record
level

closes PR 14387
 2014-03-13 14:18:26 -05:00
Matthew Flatt
8cbcba8ed2 racket/gui gtk: fix reference count on widget extracted in choice% 
Incorrect referencing causes crashes on Kubuntu, for example.
 2014-03-13 06:42:38 -06:00
Eric Dobson
88af96f19a Fix tc-results->values and filter-tc-results to handle polydots. 2014-03-12 19:05:19 -07:00
Eric Dobson
ad6365f34c Make check-exn/check-not-exn keep the check failure message. 2014-03-12 18:09:39 -07:00
Matthew Flatt
8a5c50485c Another makefile CFLAGS/CPPFLAGS adjustment 
Missed another spot in c97184b581.
 2014-03-12 18:45:09 -06:00
Tony Garnock-Jones
139b228f2e Add TAGS target to toplevel makefile. Adjust clean target to match. 2014-03-12 18:45:09 -06:00
Matthew Flatt
6970a932e3 meta/new-web: fix blog stub 2014-03-12 18:45:08 -06:00
Sam Tobin-Hochstadt
1eb1a555a0 Revise "get started" para. 
Based on suggestion from Neil Van Dyke.
 2014-03-12 18:13:35 -04:00
Sam Tobin-Hochstadt
89a89ba16a Margin at the bottom. 2014-03-12 17:28:00 -04:00
Sam Tobin-Hochstadt
71cf0dabd7 Add links to the intro paragraph, unobtrusively. 2014-03-12 17:28:00 -04:00
Sam Tobin-Hochstadt
f0f8670778 Fix jerkiness of navbar navigation. 2014-03-12 16:37:43 -04:00
Sam Tobin-Hochstadt
99593d6d0c Fix switch to small navbar. 
Fix suggested by cosmez in #racket.
 2014-03-12 16:33:07 -04:00
Matthias Felleisen
5f11b06dc4 small improvements to style of examples on front page 2014-03-12 13:36:00 -04:00
Sam Tobin-Hochstadt
cd2b2f83bb Fix two missing '.'. 
Reported by Laurent Orseau.
 2014-03-12 13:08:57 -04:00
Sam Tobin-Hochstadt
be64527af6 Fix small typo in the "Find Racket files" example. 
Reported by ajanuary on Hacker News.
 2014-03-12 11:58:58 -04:00
Jay McCarthy
abee614423 Fix handling of chunked response headers 2014-03-12 08:52:49 -06:00
Jay McCarthy
2d1859a984 ensure package name is used in all metadata calls 2014-03-12 08:52:49 -06:00
Asumu Takikawa
e2e0ab748f Change error messages for two TR unit tests 
I'm not sure why, but these tests seem to emit one of two different
errors depending on the machine it's run on (hence the failure in
DrDr). For the short term, I've set the regular expression to allow
either of them.
 2014-03-12 10:01:49 -04:00
Matthew Flatt
5efd997226 meta/new-web: minor repairs and sync script 2014-03-12 06:15:30 -06:00
Matthew Flatt
06682cf234 plt-web: improve index-page support 2014-03-12 05:40:53 -06:00
Asumu Takikawa
36c3861494 Correctly check letrec-values clauses with no vars 
Should unbreak the build, my apologies to bisecters
 2014-03-12 01:18:16 -04:00
Asumu Takikawa
04c3851ebc Clarify a few comments in TR 
These are for letrec typechecking and Tarjan's algorithm
 2014-03-11 23:48:59 -04:00
Asumu Takikawa
93a2798ec3 Use Tarjan's algorithm for typechecking letrecs 
This allows us to type-check non-recursive sequences of
letrec-values clauses in the right order. In other words,
we will type-check the clauses in reverse topological
order (the reverse of the dependency order).

Clauses that are recursive go through the usual
type-checking process, injecting Undefined where necessary.
 2014-03-11 23:03:39 -04:00
Asumu Takikawa
292a47c3dd Move TR's Tarjan's algorithm to a separate file 
Also generalize so that it can be used in other
parts of the codebase.
 2014-03-11 23:03:39 -04:00
Asumu Takikawa
bdb8833fa5 Improve letrec-values type-checking 
Split into two passes in order to be able to find
more cases where the RHS doesn't refer to the bindings
in the letrec.

Closes PR 13124
 2014-03-11 23:03:39 -04:00
Matthew Flatt
657e3e9501 base: update package version 2014-03-11 19:06:30 -06:00
Matthew Flatt
3f35bff34c plt-web: improve index-page rendering 2014-03-11 19:06:30 -06:00
Matthew Flatt
d459900f45 plt-web and meta/new-web: move and extend web-page identity 
For Google and Bing tools
 2014-03-11 19:06:30 -06:00
Matthew Flatt
b41ec5dd8c meta/new-web: adjust all-version download page style 2014-03-11 19:06:30 -06:00
Matthew Flatt
3500c90361 meta/new-web: add info for v6.0 64-bit Debian installers 2014-03-11 19:06:30 -06:00
Matthew Flatt
98b7c4dbf3 meta/new-web: remove unused module 2014-03-11 19:06:30 -06:00
Matthew Flatt
ccee6e6e58 meta/new-web: another revision of the main-page blurb 
(In cooperation with everyone who wrote the previous versions.)
 2014-03-11 19:06:30 -06:00
Asumu Takikawa
00a3b7cb14 Add type annotations for GUI libraries 
The types for racket/gui are substantially complete, but
there are still some missing classes and methods.

Some interesting future work would be to ensure type coverage
by comparing the class members vs. the types in the environment.
That could be run as a test to ensure it stays up to date.

Most types for the framework library are still missing.
 2014-03-11 17:39:02 -04:00
Asumu Takikawa
90dccbdffb Make printing of Name types unfold correctly 2014-03-11 17:39:02 -04:00
Asumu Takikawa
4bc4a74d00 Add static contracts for instanceof 2014-03-11 17:39:02 -04:00
Asumu Takikawa
a8cc430d0f Add recursive type alias support to TR 
This expands the `Name` type functionality to go
beyond struct names and allows arbitrary recursive
type aliases to use the environment for indirection.

In addition, such aliases can be mutually recursive.
 2014-03-11 17:39:02 -04:00
Matthew Flatt
389aa9fcd8 fix compiler to not move allocation across continuation capture 
Note that even the movement of operations like `unsafe-fl+` is
constrained, since the operation can allocate. For example, a
continuation captured in

    (let ([a (unsafe-fl+ x y)])
      (call-with-composable-continuation ....)
      a)

should return an `eq?` result. The compiler must not only refrain from
moving the `unsafe-fl+` call, it must not mark `a` as a flonum
binding, because that would cause the JIT to delay allocation of `a`
until the return site.
 2014-03-11 13:59:28 -06:00
Burke Fetscher
30959e86aa redex: add 'ordered' to benchmark plots 
Also fix '-o' option
 2014-03-11 14:47:09 -05:00
Matthew Flatt
f340625333 fix syntax checking for #%declare 2014-03-11 08:21:03 -06:00
Matthew Flatt
df857e1c76 distro-build: refine client--server split 2014-03-11 08:10:35 -06:00
Matthew Flatt
1260dd6b2e Makefile: refine support for building an installer from a site 2014-03-11 08:10:35 -06:00
Matthew Flatt
99f124e82d raco pkg: preserve/adjust timestamps when extracting/creating packages 
Perserve and adjust timestamps in a way that helps make re-packing an
installed-from-built package produce an archive with the same checksum
as the original.
 2014-03-11 08:10:35 -06:00
Matthew Flatt
ce6b8b8d5c file/zip, file/tar: add #:get-timestamp argument 
Allows the recorded timestamp to be adjusted in a general way.
 2014-03-11 08:10:35 -06:00
Matthew Flatt
ff6b4efb17 file/unzip: support preserving timestamps 2014-03-11 08:10:35 -06:00
Eric Dobson
edc8bbf6b4 Make TR tests work with contracts enabled. 2014-03-10 21:09:36 -07:00
Asumu Takikawa
b205c99560 Fix TR tests for new error messages 
Related to commit fa81fb35f7
 2014-03-10 17:02:31 -04:00
Burke Fetscher
0c56f6e637 redex: add in-order enumeration to the benchmark 
Also, add support for running a single file in parallel.
 2014-03-10 15:57:07 -05:00
Asumu Takikawa
31c60b2893 Fix doc contract for syntax-local-phase-level 
The description does not mention the function ever returning #f
and if you look at the implementation in the C code, it always
returns the result of `scheme_make_integer`.

Also add an example for the entry.
 2014-03-10 14:59:42 -04:00
Asumu Takikawa
fa81fb35f7 Update several application type error messages 2014-03-10 14:59:42 -04:00
Matthias Felleisen
925921dd64 changed introductory paragraph, used active voice in news, we need exact date 2014-03-10 08:57:19 -04:00