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
Matthew Flatt
2dd29f7e3d fix pessimism in optimizer reordering 
When determing whether expressions can be reordered, a reference to a
module-defined variable was considered unreorderable when it is
known to have a value and no further mutation, but the value isn't
constant across all runs.
 2015-03-26 09:15:13 -06:00
Matthew Flatt
21d925d1f0 GC backtrace: add limited support for distinguishing new and old objects 2015-03-26 09:15:13 -06:00
Asumu Takikawa
d9efa6cc9b Update docs pointers to shell-completion scripts 2015-03-26 10:48:58 -04:00
John Clements
56a701bfae raco test docs module*->module 2015-03-24 10:32:40 -07:00
John Clements
3b08e2cccd omit-tests doc fix 2015-03-24 09:45:42 -07:00
John Clements
4d69fcc8a9 use racket/base instead 2015-03-24 09:42:27 -07:00
John Clements
ca8dad126c add docs on not running tests 2015-03-24 09:39:30 -07:00
Sam Tobin-Hochstadt
785fb57dc1 Add test for "base" version. 2015-03-20 11:56:05 -04:00
Matthew Flatt
f250c08ee5 update version on "base" package 2015-03-20 06:25:24 -06:00
Sam Tobin-Hochstadt
58de58fc11 Add history entry for the previous change. 2015-03-19 21:09:37 -04:00
Sam Tobin-Hochstadt
04c89b5ea2 Provide a submodule for begin-encourage-inline. 
As suggested in a comment in the file.
 2015-03-19 21:01:49 -04:00
Sam Tobin-Hochstadt
585f29cf0d Reduce contract dependencies from racket/set. 2015-03-19 21:01:49 -04:00
Matthew Flatt
de9bc3d71a raco setup: fix PDF document rendering 
Merge to v6.2
 2015-03-19 12:04:11 -06:00
Matthew Flatt
d7cea5a1db GC atexit: report total GC msecs 2015-03-19 10:01:10 -06:00
Matthew Flatt
6752534da8 Revert "fix double-expansion in class" 
This reverts commit 005b3f720f.

The expander's definition of "same context" is not flexible
enough, and introducing an extra `#%expression` wrapper
breaks TR's recognition of expanded classes. Revisit in the
near future.
 2015-03-18 08:03:38 -06:00
Sam Tobin-Hochstadt
f73b4066a7 Add prop:object-name. 2015-03-18 09:55:27 -04:00
Matthew Flatt
3c4ed61a42 fix no-extflonum build 
Repairs over-eager commit 9c9e922b4a
 2015-03-18 06:44:41 -06:00
Matthew Flatt
d9e7ba1fb2 add mflatt to Travis notification email 2015-03-18 06:44:13 -06:00
Matthew Flatt
eb95960e7c fix memory-management bug in syntax-object lexical info 2015-03-18 04:44:57 -06:00
Eric Dobson
cb67ea3edf Raise error message if _fun is used incorrectly. 
Closes PR 11323.
 2015-03-18 04:19:57 -06:00
Eric Dobson
408d86f1c7 Make provide expansion respect disappeared uses on expanded syntax. 2015-03-17 19:35:26 -06:00
Matthew Flatt
9c9e922b4a support extflonum optimizations even without extflonum support 
As suggested by Gustavo
 2015-03-17 19:33:10 -06:00
Gustavo Massaccesi
7981513b95 More redutions of predicates 
The optimizer had some reductions of predicates applications, like (pair? X),
only when X was very simple and the type of X was obvious.
Use expr_implies_predicate and make_discarding_sequence to allow
the reduction of more complex expressions.

Also, the reduction of procedure? and fixnum? were special cases in
optimize_application2. Move the checks to expr_implies_predicate
to take advantage of the reductions in more general cases.
 2015-03-17 19:28:37 -06:00
Matthew Flatt
005b3f720f fix double-expansion in class 
The `class` macro uses `synatx-local-expand-expression`, but it
discarded the result and used the original, which implies
re-expanding.
 2015-03-17 19:15:21 -06:00
Ryan Culpepper
bb48859c9b Post-release version for the v6.2 release 2015-03-17 07:38:54 -04:00
Paul Ojanen
e6ffbf2501 Improve reference to code value 
Did "temp7" used to print out as "???"?  I would have understood this more quickly if the reference to "temp7" had been more clear.
 2015-03-14 17:20:02 -04:00
Paul Ojanen
51079f62ae grammar fix 2015-03-14 17:19:52 -04:00
Joseph Irwin
6b9a50c82d Fix typo in TRG 21.2.1 2015-03-14 17:19:17 -04:00
Joseph Irwin
95a8dfb5a7 Fix typo in TRG 16.2.5 2015-03-14 17:19:15 -04:00
Matthew Flatt
eca0c18730 fix at-exit close handling for non-main place 
This bug has been causing problems since the change to the `math`
library to register mpfr_free_cache() only once per place.
 2015-03-13 12:30:31 -06:00
Matthew Flatt
4af6770ed4 initialize stack variable to make Valgrind happier 
Although failing to initialize probably isn't a bug, fulling
initializing a buffer passed to epoll_ctl() seems like a good
idea.
 2015-03-13 12:30:31 -06:00
Matthew Flatt
2e813c2aee GC: fix test for old-page compaction 
Missing indirection found via memcheck
 2015-03-13 12:30:31 -06:00
Matthew Flatt
7f5ed17222 remove special-casing of OS X and Linux for thread stack size 
There doesn't seem to be a reason for the special case other than
history.
 2015-03-13 12:30:31 -06:00
Sam Tobin-Hochstadt
a5be431a74 Add some missing history annotations. 
Thanks to @mflatt for pointing this out.
 2015-03-13 10:19:58 -04:00
Asumu Takikawa
e1bfebe7b8 Fix doc typos for file/resource 2015-03-12 17:32:14 -04:00
Sam Tobin-Hochstadt
2ce9b40a54 Add match-letrec-values. 
Implemented by J. Ian Johnson.

Closes #762.
 2015-03-11 19:00:12 -04:00
J. Ian Johnson
af12f855ba Expose the mk-rhs function normalize-definition uses. 
I found I wanted this to make a define/stub macro that errors giving the defined identifier:

(define-syntax (define/stub stx)
  (syntax-case stx ()
    [(_ header)
     (let-values ([(id mk-rhs body) (normalize-definition/mk-rhs stx #'lambda #t #t #f)])
       #`(define #,id #,(mk-rhs #`(error '#,id "TODO: stub"))))]))

Closes #508.
 2015-03-11 17:44:20 -04:00
Evgeny Odegov
7767ac64fd Remove forgotten parse-id identifier 
Looks like, it should be removed, because there is no
such identifier exported from racket/match/gen-match
(a parameter of `define-forms` now).

Closes #808.
 2015-03-11 17:23:16 -04:00
Leif Andersen
f7db183ab8 Fix typo in find-files doc. 
Closes #890.
 2015-03-11 17:22:52 -04:00
Sam Tobin-Hochstadt
2ccd4b1a95 Describe match scoping behavior more precisely. 2015-03-11 16:15:17 -04:00
Robby Findler
33d653113d remove some old name-management code from contracts made obsolete by chaperones 
closes PR 11222
 2015-03-09 21:23:03 -05:00
Matthew Flatt
332b380ca2 repair impersonator-porperty predicate and accessor 
Repair for b923269569, helpfully reported again by Scott
 2015-03-09 15:33:41 -06:00
Matthew Flatt
5749d4080c add tracking of require and provide subforms 
Use `syntax-track-origin` and 'disappeared-use properties to
communicate `require` and `provide` form bindings to tools such as
Check Syntax.

Relevant to PR 13186
 2015-03-09 15:28:08 -06:00
Matthew Flatt
59777ca17a increase time thread's stack size 
On 64-bit FreeBSD 10.1, 4k is too small.
 2015-03-09 13:33:19 -06:00
Eric Dobson
9c014b61e6 Make for/fold/derived check the values in the body in the last clause. 
Closes PR 13285.
 2015-03-09 12:48:49 -06:00
Eric Dobson
acd1fe7f8d Make define-cpointer-type declare its function with an inferred-name. 
Closes PR 12296.
 2015-03-09 12:45:35 -06:00
Eric Dobson
5895eabad1 Add break-parameterization?. 
Closes PR 11966.
 2015-03-09 12:40:08 -06:00
Matthew Flatt
b923269569 make impersonator properties sensitive to prop:impersonator-of 
When a structure type has `prop:inpersonator-of`, follow it
when attemptng to access imperonator properties.

This change fixes a problem with `impersonate-procedure` as
reported by Scott Moore.
 2015-03-08 19:27:11 -06:00
Matthew Flatt
092f6bb7e1 add object-or-false=? 2015-03-05 14:27:17 -07:00
Matthew Flatt
c458cd9799 remove over-eager namespace cleanup in the compiler/expander 
The compiler/expander attempted to clear out references in a namespace
used only during macro expansion, but it's possible for references to
be retained (via unusual macros), so get rid of the broken attempt to
help the GC.
 2015-03-05 11:21:25 -07:00