suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
38,639 Commits 17 Branches 54 Tags 278 MiB
syntax-local-template-metafunction-introduce
Commit Graph

38639 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Matthias Felleisen
19e068f1c6 make sure these tests shut down after a short time 2014-05-04 18:55:32 -04:00
Matthias Felleisen
d727355d9c added tests for David's port pull request 2014-05-04 18:55:31 -04:00
David Van Horn
333e0aa070 Universe and world take an optional 'port' argument. 
Allows universe and world programs to specify which port they want to
communicate on.  If omitted, universe and world use the default port
number.  This enables multiple universe instances to run on the same
machine.  For example:

(require 2htdp/universe 2htdp/image)

;; Run two client-server pairs
(define (run)
  (launch-many-worlds (server 8080)
                      (client 8080)
                      (server 8081)
                      (client 8081)))

;; Port -> #f
(define (server p)
  (define noop (make-bundle #f '() '()))
  (universe #f
            (port p)
            (on-new (λ (_u _iw) noop))
            (on-msg (λ (_u _iw _msg) noop))))

;; Port -> #f
(define (client p)
  (big-bang #f
            (port p)
            (on-tick values)
            (to-draw (λ (_) (empty-scene 400 400)))
            (register LOCALHOST)))
 2014-05-04 18:55:31 -04:00
Robby Findler
90053d7d40 fix random generation environment usage 
closes PR 14484
 2014-05-04 14:34:55 -05:00
Matthew Flatt
2e284cc783 enable DWARF-based stack unwind for x86 
Newer versions of gcc seem to use -fno-frame-pointer by
default for x86, which disables Racket's stack traces.
Use DWARF information to get them back.
 2014-05-04 11:47:31 -06:00
Asumu Takikawa
7eb94179e7 Adjust open-input-file type for new keyword 2014-05-04 12:13:06 -04:00
Matthew Flatt
51614ab0b2 raco pkg config: add doc-open-url key 2014-05-04 09:32:00 -06:00
Matthew Flatt
33ad485081 setup/unixstyle-install: preserve all other config entries 
Preserve any configuration entry that is not explicitly set,
as opposed to keeping only entries that are known to the
script.
 2014-05-04 09:32:00 -06:00
Matthew Flatt
a8105dc0e3 config: add doc-open-url configuration 
This configuration option is a better way to redirect documentation
access (at a place like NEU) than patching "search.rkt".
 2014-05-04 09:31:59 -06:00
Matthew Flatt
47bc57a7e2 distro-build: fix Windows client setup 2014-05-04 08:53:10 -06:00
Robby Findler
974ee9df75 fix contract-stronger for struct/dc with #:inv clauses 2014-05-03 22:22:10 -05:00
Robby Findler
abd445839d add missing @history[] 2014-05-03 22:22:10 -05:00
Matthew Flatt
b8cc111e92 scribble/manual: clicking on a section title shows linking information 
Thanks to Matthew Butterick for help and advice.
 2014-05-03 21:05:26 -06:00
Matthew Flatt
b420967b02 racket/gui: adapt text-editor-load-handler to missing-module exception 
Raise `exn:fail:{filesystem,syntax}:missing-module` instead of
`exn:fail:filesystem` when a module file does not exist.
 2014-05-03 20:06:03 -06:00
Matthew Flatt
9cd528ca08 racket/base: add #:for-module? argument to open-input-file 
Exposes a feature that is used by the default load handler to
raise `exn:fail:{syntax,filesystem}:missing-module` exceptions.
 2014-05-03 20:05:59 -06:00