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

33133 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Robby Findler
05def2ddf5 unbreak or/c opter 
(the missing require meant that the wrong "or/c" was being registered in the table)
 2014-05-07 21:29:32 -05:00
Robby Findler
aef9f1924b fix mzlib contract tests for or/c stronger improvements 2014-05-07 19:25:23 -05:00
Robby Findler
d812d171f9 add generator for any/c and improve generator for or/c 
also improve test cases a little bit and minor Rackety
 2014-05-07 19:25:22 -05:00
Robby Findler
7ec9cb0274 fix generator for or/c 2014-05-07 19:25:22 -05:00
Sam Tobin-Hochstadt
f32bbc134a Increase timeout. 2014-05-07 18:19:06 -04:00
Jay McCarthy
7740733c05 Fixing PR14478 2014-05-07 15:42:52 -06:00
Jay McCarthy
7ce7f9c2f2 cleanup for size 2014-05-07 15:42:52 -06:00
Vincent St-Amour
8e991203bc Fix contract profiler path shortening. 
Was not preserving list order while shortening.
 2014-05-07 14:37:43 -04:00
Sam Tobin-Hochstadt
59ee811fb3 Add test that runs TR unit tests with contracts on. 2014-05-07 12:21:25 -04:00
Sam Tobin-Hochstadt
774afb6caf Fix evaluator.rkt to work with dynamic-require. 2014-05-07 12:21:25 -04:00
Asumu Takikawa
2bd20a652e Fix registration of Opaque type alias in REPL 
Closes PR 14487
 2014-05-07 10:57:07 -04:00
Matthew Flatt
903e82731e fix vector-map! to not mutate immutable vectors 2014-05-07 07:41:13 -06:00
Matthew Flatt
c33707329c racket/port: add a flushing tidy callback for reencode-output-port 
This change solves a long-standing problem that reencoded output
was not flushed on exit, especially in the case that the
current output port is reencoded.
 2014-05-07 07:41:13 -06:00
Matthew Flatt
1bd604073a add custodian-tidy-all 2014-05-07 07:41:13 -06:00
Eric Dobson
0ba8cd9586 Fix check-subforms and reenable TR contracts. 2014-05-06 22:50:58 -07:00
Asumu Takikawa
f638247b26 Add docs for TR's filter syntax 2014-05-07 00:25:08 -04:00
Asumu Takikawa
6c97d96853 Add a syntax for some asymmetric predicate filters 
Relevant for PR 14423
 2014-05-07 00:25:08 -04:00
Robby Findler
2a7a6f3897 document contract-exercise 2014-05-06 21:29:19 -05:00
Robby Findler
0f16f31db9 clean up and export support for exercising values with contracts 2014-05-06 21:29:19 -05:00
Robby Findler
9a6970043a fix contract-random-generate so it picks the generation method 
randomly during generation, not randomly up-front, before
generation
 2014-05-06 21:29:18 -05:00
Sam Tobin-Hochstadt
3c78f7a0c8 Allow TR contracts to be turned on with an env variable. 2014-05-06 20:29:42 -04:00
Sam Tobin-Hochstadt
c324854e0e Fix contract syntax in unit signature. 2014-05-06 20:29:42 -04:00
Sam Tobin-Hochstadt
f8da26dddc Fix a test error. 2014-05-06 20:29:42 -04:00
Robby Findler
4de1583c68 make or/c and contract-stronger? collaborate 
in order to make contract-stronger? work better when given the result of or/c
 2014-05-06 16:33:20 -05:00
Matthew Flatt
6f259fbd42 meta/new-web/sync: add --save-temps flag 2014-05-06 14:35:02 -06:00
Sam Tobin-Hochstadt
6567ebff59 Remove dependencies on unstable/debug. 2014-05-06 14:17:04 -04:00
Sam Tobin-Hochstadt
c2d041a795 Fix package name in license. 2014-05-06 14:17:03 -04:00
Sam Tobin-Hochstadt
f83950fbab Refactor type inference to eliminate exceptions. 
This provides approximately 6% speedup on
`racket -l math/scribblings/math.scrbl` and about
14% speedup on the `new-metrics` test.

Mostly this involves threading #f through the whole
of the inference process.  There are several new
macros in `typed-racket/infer/fail` which are useful
for comprehensively using Maybe-monad style
programming in Racket.  Of particular note is `%`,
which satisfies (% f e ...) => (and e ... (f e ...))
but with the obvious fixes.

This commit also weakens several contracts which
caused the build of DrRacket and/or `math` to fail
when contracts were enabled.
 2014-05-06 14:17:03 -04:00
Sam Tobin-Hochstadt
5bd3a9ff2f Misc minor improvements. 2014-05-06 14:17:03 -04:00
Sam Tobin-Hochstadt
36ab55c1e5 Improve TR timing, add more timing events. 2014-05-06 14:17:03 -04:00
Sam Tobin-Hochstadt
beefe73f7e Fix an unfortunate bug in Union construction. 2014-05-06 14:17:03 -04:00
Asumu Takikawa
ad8d0629f8 Add types for more of pict in typed/pict 2014-05-06 12:28:40 -04:00
Asumu Takikawa
ca5fdbd9fa Adjust TR Guide blurb, link to TR Reference 2014-05-06 11:41:58 -04:00
Asumu Takikawa
d3df30b8ee Add several examples to TR class reference docs 2014-05-05 18:38:21 -04:00
Asumu Takikawa
a524a74ba6 Fix contract for pin-arrow-label-line and friends 2014-05-05 17:25:13 -04:00
Matthew Flatt
53e3d104f7 docs search: avoid accumulating "q" queries 2014-05-05 10:37:10 -06:00
Matthew Flatt
5e8e2771b5 raco setup: fix default package version 
The default is "0.0", not "1.0".
 2014-05-05 10:37:09 -06:00
Matthew Flatt
0408e0f7c2 make documentation start page tell you when there's a redirecting cookie 
If you have anything user-specific installed, the `raco setup` generates
a user-specific documentation page. Visiting that page sets a cookie
(actually, browser local storage, when supported) that redirects searches
and "top" to the user-specific page.

The main installation-specific page now tells you when a redirect is
in place, and it gives you the option of forgetting it (which is handy
if you've removed your user-specific documentation directory, for example).
 2014-05-05 10:37:09 -06:00
Matthew Flatt
8b019b5799 gui-pkg-manager: add Robby as author 2014-05-05 10:37:09 -06:00
Robby Findler
1f212a2fe4 fix struct/dc chaperone/flat/impersonator-ness when #:inv is used 2014-05-05 11:27:52 -05:00
Robby Findler
31e02a5da2 adjust DrRacket to be able to populate the local pkg catalog 
database in more convenient ways

- add a "update cache" button to online check syntax error message when
  a missing module exn is raised, but there are no suggestions
- add an "update cache" link to the missing module exn printout
 2014-05-05 11:27:52 -05:00
Robby Findler
ec0053be7f document gui-pkg-manager and add pkg-catalog-update-local/simple-status-dialog 2014-05-05 11:27:52 -05:00
Robby Findler
60e2c2400d add some string constants to be used by the gui pkg manager 2014-05-05 11:27:51 -05:00
Robby Findler
49206dfd4b adjust drracket test for the new error message format 2014-05-05 11:27:51 -05:00
Robby Findler
39a1ecbb7c mention that all definitions are exported in #lang plai's docs 2014-05-05 11:27:50 -05:00
Robby Findler
1ce09cf924 fix #<undefined> mention and adjust example to always terminate 2014-05-05 11:27:50 -05:00
Matthias Felleisen
9613d45566 Racket-y 2014-05-04 18:55:32 -04:00
Matthias Felleisen
21e026910b fixed error message for width/height specs; closes PR 14480 2014-05-04 18:55:32 -04:00
Matthias Felleisen
33794ee8aa fixed docs for state clauses; closes PR 14481 2014-05-04 18:55:32 -04:00
Matthias Felleisen
16956c3daf minimal documentation for David's port clause 2014-05-04 18:55:32 -04:00