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

1594 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
005923c284 Only generalize #t, not #f. 2011-08-26 14:08:40 -04:00
Sam Tobin-Hochstadt
598d81671a Intern based on sequence numbers for values that have them. 
20% speedup on the empty program.  Closes PR 10734.
 2011-08-26 14:08:40 -04:00
Sam Tobin-Hochstadt
403bb6414e Much more infrastructure for timing typed racket passes. 2011-08-26 14:08:39 -04:00
Vincent St-Amour
62a7122744 Fix TR printing. 2011-08-26 14:06:10 -04:00
lvilnis
b0d909bd8f Fixed a bug with delete, undo and clickbacks in DrRacket 2011-08-26 06:07:57 -06:00
Sam Tobin-Hochstadt
ba09e906d8 Generalize #t and #f to `Boolean'. 2011-08-26 08:05:44 -04:00
Sam Tobin-Hochstadt
7dd209f905 Initial support for standard optional arguments. 2011-08-25 19:00:49 -04:00
Sam Tobin-Hochstadt
717476f84d Repair type of `find-relative-path'. 2011-08-25 19:00:49 -04:00
Sam Tobin-Hochstadt
760625c031 Revise `require/typed' docs. Closes PR 11890. 2011-08-25 14:10:05 -04:00
Sam Tobin-Hochstadt
3707310250 Properly parse `Values' in types. 
Closes PR 11145.
 2011-08-25 14:10:05 -04:00
Sam Tobin-Hochstadt
4185da9035 Support vector arguments to `datum->syntax'. 
Related to PR 10290.
 2011-08-25 14:10:05 -04:00
Sam Tobin-Hochstadt
a7cf16d486 Propagate expected function types propertly in case-lambda. 
Closes PR 10139.
 2011-08-24 15:29:10 -04:00
Sam Tobin-Hochstadt
d6f1c35e1b Reuse `case-lambda' syntax in optimizer. 2011-08-24 15:29:10 -04:00
James Ian Johnson
e12472bdf7 Changed rec-id black magic to a more robust syntax parameter solution. 2011-08-22 17:04:16 -04:00
James Ian Johnson
a873675832 Fixed a hygiene issue with rep-utils. Rec-ids were in improper phase. 2011-08-22 17:04:16 -04:00
Sam Tobin-Hochstadt
292feaad43 Useful error message when `with-type' used in a typed module. 2011-08-19 11:34:37 -04:00
James Ian Johnson
7af3d35bb3 Fixed compile failure. 2011-08-19 11:09:24 -04:00
James Ian Johnson
58d84d79db Removed e from fold-pat attributes. 2011-08-19 11:09:24 -04:00
James Ian Johnson
def3834aa2 Fixed a comment inconsistency about double quotation. 2011-08-19 11:09:24 -04:00
James Ian Johnson
06edc3153f Adding clarifying comments to rep-utils.rkt 2011-08-19 11:09:24 -04:00
Sam Tobin-Hochstadt
bdcc63b229 Handle apply for functions with no rest arguments. 2011-08-17 18:19:47 -04:00
Sam Tobin-Hochstadt
5870fec9c9 Simplify definition of (legacy) `typed-scheme' language. 2011-08-16 14:54:46 -04:00
Vincent St-Amour
ff0d843a09 Fix handling of impersonated vectors when bounds are fixnums. 2011-08-16 12:09:39 -04:00
Vincent St-Amour
a6e633ae2f Formatting. 2011-08-16 12:09:38 -04:00
Vincent St-Amour
59f5f24736 Make error messages more consistent. 2011-08-16 12:09:38 -04:00
Sam Tobin-Hochstadt
39459ec9c4 Document typed/scheme' versions of require/typed' and `require-typed-struct'. 2011-08-16 12:07:53 -04:00
Sam Tobin-Hochstadt
8ecc2a4da4 Refactor base-special-env to run at phase 0. 
Unfortunately, it can no longer be required normally, and forces changes to test suites.
 2011-08-15 21:39:31 -04:00
Sam Tobin-Hochstadt
11167aa214 Better error message when id is unbound in `make-env'. 2011-08-15 21:39:31 -04:00
Sam Tobin-Hochstadt
13ef3849fc Fix type of file->bytes-lines 2011-08-15 21:39:30 -04:00
Sam Tobin-Hochstadt
b25aae230b re-enable type for port->bytes-lines 2011-08-15 21:39:30 -04:00
Vincent St-Amour
8dba93646a Remove redundant logging message. 2011-08-15 12:19:54 -04:00
Vincent St-Amour
2a80582ed9 Fix arity raising for letrec. 2011-08-15 12:19:54 -04:00
Vincent St-Amour
63b5747018 Formatting. 2011-08-15 12:19:54 -04:00
Vincent St-Amour
becaac8c18 Have arity raising play nice with Check Syntax. 2011-08-15 12:19:54 -04:00
Vincent St-Amour
b536445cde Fix visibility of arity-raised bindings. 2011-08-15 12:19:54 -04:00
Sam Tobin-Hochstadt
fdcb22ea32 comment out type that produces strange duplicate error message. 2011-08-14 13:40:42 -04:00
Sam Tobin-Hochstadt
54c044c36a Fix initial type environment for new-style keyword functions. 2011-08-14 13:40:42 -04:00
Sam Tobin-Hochstadt
2d094db270 Fix typechecking of `#%variable-reference' 2011-08-14 13:40:42 -04:00
Sam Tobin-Hochstadt
d948626fac Use syntax-track-origin more pervasively to get the right arrows in check syntax. 2011-08-12 11:09:11 -04:00
Vincent St-Amour
281e1003e3 Add disappeared uses to have optimized code play nice with check-syntax. 2011-08-11 18:25:46 -04:00
Vincent St-Amour
271f696c58 Refactoring. 2011-08-11 18:25:46 -04:00
Vincent St-Amour
cef410f5e2 Rename a parameter to better reflect what it's for. 2011-08-11 18:25:46 -04:00
Robby Findler
997813680d change the #:get-lock-file argument of call-with-file-lock/timeout to #:lock-file 2011-08-11 09:29:31 -05:00
Tony Garnock-Jones
54285e2f92 Correct type on typed variant of module->namespace. 2011-08-04 13:34:14 -04:00
Vincent St-Amour
5d4e5ed393 Break long lines. 2011-08-03 17:39:16 -04:00
Vincent St-Amour
b124d68f40 Improve error message for calls to 'sort' when inference fails. 2011-08-03 17:39:15 -04:00
Vincent St-Amour
1a661256f8 Abstract printing of function types. 2011-08-03 17:39:14 -04:00
Robby Findler
b972a0940d Added online expansion and compilation of files 
being edited in DrRacket (via places)

Added an API to let tools have access to that
  information (and compute more stuff)

Used that to make an online version of Check Syntax
  which led to a separately callable Check Syntax API.
 2011-08-02 16:28:16 -05:00
Vincent St-Amour
5f4c577d5b Get rid of pseudo-syntax. 2011-07-29 18:31:10 -04:00
Vincent St-Amour
4164b04324 Remove serialization. 2011-07-29 18:23:16 -04:00