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

32254 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
6cfb035b3f Make optimize for static contracts have saner interface. 2014-01-13 21:01:17 -08:00
Eric Dobson
6961c0ecc8 Make many more static contract optimizer tests and add some more optimizations. 2014-01-13 21:01:16 -08:00
Eric Dobson
e32a7603b2 Remove/disable broken tests. 2014-01-13 21:01:16 -08:00
Eric Dobson
93488e49b4 Add a bunch of documentation to static contracts. 2014-01-13 21:01:16 -08:00
Eric Dobson
333a93000a Make static contracts for channels. 2014-01-13 21:01:16 -08:00
Eric Dobson
3d769c2df1 Add README. 2014-01-13 21:01:16 -08:00
Eric Dobson
6f56948cff Move contract conversion into the old file. 2014-01-13 21:01:16 -08:00
Eric Dobson
97cd169e80 Enable static contract optimization. 2014-01-13 21:01:16 -08:00
Eric Dobson
eb03d5c298 Make version of TR that builds new contracts. 2014-01-13 21:01:15 -08:00
Eric Dobson
ae9a8c9f25 Moved static-contract tests to TR test directory. 2014-01-13 21:01:15 -08:00
Eric Dobson
43ce10b5fe Put static contracts in main repo. 2014-01-13 21:01:15 -08:00
Asumu Takikawa
8f461f9f88 Replace chomp with string-trim, delete former 2014-01-13 17:34:03 -05:00
Asumu Takikawa
820a297801 Fix printer tests when run individually 
These tests worked in the harness but broke when run
outside of the harness.
 2014-01-13 16:56:07 -05:00
Asumu Takikawa
872dbd6160 Remove unnecessary printing parameter in TR 
Pretty printing makes this unnecessary
 2014-01-13 16:41:14 -05:00
Asumu Takikawa
4c5e188ca4 Add type printer tests 2014-01-13 15:30:38 -05:00
Asumu Takikawa
130f667390 Use type pretty-printing in TR messages 
Closes PR 11271
 2014-01-13 15:30:38 -05:00
Asumu Takikawa
60ea93a264 Add pretty-printing capability for TR types 
- Internally convert types to s-expressions before printing
  - Pretty print based on s-expression representation
 2014-01-13 15:30:38 -05:00
Asumu Takikawa
4d448785cd Move chomp function into its own util file 2014-01-13 15:30:38 -05:00
Eric Dobson
f0ebfee9ac Make parallel compile not call exit. 
Closes PR 13373.
 2014-01-13 09:34:40 -08:00
Eric Dobson
aa3505d937 Fix unary / optimizations. 2014-01-13 09:34:40 -08:00
Eric Dobson
c60b31f0d1 Fix bindings of unboxed complex float functions. 
Closes PR 12475.
Closes PR 14284.
 2014-01-13 09:34:40 -08:00
Asumu Takikawa
cb885b3b55 Make kw-subtypes* consistent with s and t ordering 
Subtyping functions should take the lower type s
first and upper type t second
 2014-01-13 11:36:55 -05:00
Asumu Takikawa
0efd90f846 Fix subtyping for keyword function types 
Closes PR 14252
Closes PR 14257
 2014-01-13 11:36:55 -05:00
Robby Findler
e2070a4abc fix arity error 2014-01-12 23:37:09 -06:00
Robby Findler
4d123bb26d fall back to the slow path when application expression looks wrong 
closes PR 14279
 2014-01-12 23:37:09 -06:00
Robby Findler
04628e3516 remove accidentally left behind logger 2014-01-12 23:37:08 -06:00
Neil Toronto
2cd8064bdd Added #:unscaled? keyword argument to `bitmap->flomap' 2014-01-12 22:24:44 -07:00
Asumu Takikawa
d202f415d9 Add "when to add type annotations?" to TR Guide 
Based on a discussion from PR 14244
 2014-01-12 23:11:01 -05:00
Eric Dobson
2076199838 Ensure that we coerce to double flonums. 2014-01-12 13:22:14 -08:00
Eric Dobson
7c945d36c0 Add new known bug. 2014-01-12 13:21:13 -08:00
Eric Dobson
97158e9e6f Mark TR exp bug as fixed. 2014-01-12 12:54:00 -08:00
Eric Dobson
960da4579a Fixup anyvalue handling in call-with-values. 
Closes PR 14214.
 2014-01-12 09:50:50 -08:00
Eric Dobson
695f73bad7 Reduce duplication in init-env code and clean up its interface. 2014-01-12 09:46:22 -08:00
Matthew Flatt
c1af595c1b scribble/manual: fix history for Latex/PDF 2014-01-11 19:30:39 -07:00
Matthew Flatt
f78a25ce41 Scribble Latex/PDF: avoid new "stabular.sty" by embedding a copy of old 2014-01-11 19:27:15 -07:00
Neil Toronto
9ca8c71aad Added #:value keyword to defproc', defparam', `defthing' and related 
Also fixed `defproc*' example
 2014-01-11 17:41:15 -07:00
Eric Dobson
ceb819a67b Improve compile-omit-paths for typed-racket tests. 2014-01-11 12:30:01 -08:00
Eric Dobson
775dd1509d Make tests have better names and remove duplicates. 2014-01-11 12:30:01 -08:00
Eric Dobson
0e8cf664f4 Simplify special-env-typecheck-tests and give them better names. 2014-01-11 12:30:00 -08:00
Eric Dobson
ffe0aa4a5d Make tr unit tests not run TR printer on test creation. 
This makes it so that only running a subset of the tests is faster.
 2014-01-11 12:30:00 -08:00
Eric Dobson
7a1ca9f124 Make interactive tests faster and support fresh namespaces. 
Cuts off about 5-10% of unit test time.
Reuse existing module registry that is shared with all the other tests.
Fresh namespaces means that changes in one test do not affect other
tests.
Only bring in typed/racket/base so that it loads faster.
 2014-01-11 12:30:00 -08:00
Matthew Flatt
07eeb9ace4 fix docs for test-engine/racket-test 2014-01-11 11:03:46 -06:00
Matthew Flatt
e02a1af037 fix Same for Retina displays 2014-01-11 11:03:46 -06:00
Asumu Takikawa
b8feb283cd Fix reference typos 2014-01-10 17:27:58 -05:00
Vincent St-Amour
5e35c7b2fb Fix typos in french string constants. 2014-01-10 11:30:11 -05:00
Matthew Flatt
dc8d2fb7fc fix memory problem with places & built-in structure types 
Thanks to Asumu for tracking down the problem.
 2014-01-10 06:54:37 -06:00
Philippe Meunier
9807a1ceeb yearly french update, and fixed a couple of typos in english version 2014-01-10 18:16:13 +09:00
Robby Findler
9b5fc9ea37 remove attempt to purify an already pure port 
closes PR 14275
 2014-01-09 23:48:53 -06:00
Matthew Flatt
33b7f6f92f package binary strip: work on "info.rkt" files that use `(module ....) 2014-01-09 14:07:26 -06:00
Matthew Butterick
258aa82282 adjust CSS selector for blue boxes in documentation 2014-01-09 13:03:28 -06:00