suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3b031d6c87
racket/collects
History
Matthew Flatt 3b031d6c87 `define' + keyword lambda at top/module level => static checking 
When `define' binds a keyword procedure at the top level or module
level, then it actually binds syntax that checks (i.e., warns
if arith or keywords are bad) and optimizes (i.e., avoids checking
keywords or allocating keyword-argument lists) first-order uses of
the procedure.

Checking and conversion are currently only performed for top-
and module-level bindings, because some macros detect the difference
between a variable or syntax definition --- notably `class' and
`unit'. A related problem in `class' is that the expansion
produces multiple definitions (for direct access to the fast
version of the function), which `class' turns into fields instead
of methods.
2011-08-09 16:33:15 -06:00
..
2htdp added save-svg-image 2011-08-07 19:35:29 -05:00
algol60 ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
at-exp/lang
browser ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
combinator-parser ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
compiler try to use the given security guard when deleting files, too 2011-08-03 23:40:51 -07:00
config ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
data docs reorganization 2011-07-01 17:16:53 -06:00
datalog Adding serialization of theories 2011-07-26 08:22:19 -04:00
defaults
deinprogramm restore deinprogramm reader module suffix 2011-07-16 20:15:15 -06:00
drracket add more detail to the hopefully-help-me-debug log messages that drracket reports about the online check syntax bug 2011-08-05 21:39:35 -05:00
drscheme remove compat bins: DrScheme, MrEd.exe, MrEd.app 2011-04-15 07:49:45 -06:00
dynext ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
embedded-gui ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
eopl ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
errortrace Typo in the `errortrace' language description. 2011-07-18 14:25:10 -04:00
ffi ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
file ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
framework fix the auto-square-bracket thing for with-syntax 2011-08-08 19:30:13 -05:00
frtime The FrTime docs need to be heavily revised and this won't happen shortly, so turning off these tests 2011-08-09 06:42:09 -06:00
games ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
graphics ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
gui-debugger fix debugger for syntax taints 2011-07-07 13:38:14 -06:00
guibuilder ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
handin-client ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
handin-server docs reorganization 2011-07-01 17:16:53 -06:00
help ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
hierlist remove docs tests that no one was interested in 2011-07-01 11:38:09 +08:00
honu [honu] add :: as the infix cons operator 2011-08-09 16:25:28 -06:00
htdp added launch-many-worlds/proc; Closes 10559 2011-08-03 11:20:05 -04:00
html docs reorganization 2011-07-01 17:16:53 -06:00
icons Have an icon for performance-report. 2011-07-15 15:04:53 -04:00
lang fixed docs for >=; Closes PR 12066 2011-07-20 15:20:22 -04:00
launcher ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
lazy ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
macro-debugger Fixed a macro stepper bug: can't use zero? on syntax span, as it can be #f. 2011-07-19 03:07:53 -04:00
make ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
meta Mistake 2011-08-08 12:39:23 -06:00
mred gtk: set app name on startup 2011-08-04 09:27:05 -06:00
mrlib fix the png conversion code for 2htdp/image images 2011-07-22 08:09:17 -05:00
mysterx ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
mzcom docs reorganization 2011-07-01 17:16:53 -06:00
mzlib Make mzlib/etc' reprovide identity' from `racket/function'. 2011-08-06 20:59:16 -04:00
mzscheme ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
net Add an optional path argument to `ftp-directory-list'. 2011-08-05 01:14:16 -04:00
openssl Typo fix 2011-08-03 22:00:22 -04:00
parser-tools lexer tweak to get named procedure 2011-07-27 07:55:18 +01:00
picturing-programs Added some tests for map-image/extra and build-image/extra. 2011-07-24 21:50:39 -04:00
plai ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
planet completed the planet library documentation and, in the process, 2011-07-08 15:51:05 -05:00
plot ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
preprocessor ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
profile ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
r5rs ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
r6rs ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
racket `define' + keyword lambda at top/module level => static checking 2011-08-09 16:33:15 -06:00
racklog Fixing PR12085 2011-08-08 12:39:22 -06:00
rackunit rackunit: fix require/expose to work on variable-like macros 2011-07-07 14:00:22 -06:00
raco ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
reader/lang
readline Use (banner) instead of a fixed "Welcome to Racket" in the More tutorial 2011-07-18 14:25:10 -04:00
redex Adds define-judgment-form form 2011-08-05 07:19:23 -05:00
repo-time-stamp ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
rnrs remove docs tests that no one was interested in 2011-07-01 11:38:09 +08:00
s-exp/lang
scheme Racket-implemented reverse', member', memv', memq' 2011-07-27 05:47:46 +01:00
schemeunit remove docs tests that no one was interested in 2011-07-01 11:38:09 +08:00
scribble scribble/manual: add `current-display-width' parameter 2011-08-08 17:10:54 -06:00
scribblings add missing sentence fragment 2011-08-09 14:07:49 -05:00
scriblib adjust `scriblib/figure' CSS for more consistent spacing 2011-08-01 13:14:43 -06:00
setup add lib' to setup/infotab' exports 2011-07-31 04:43:24 -06:00
sgl ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
sirmail ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
slatex ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
slideshow fix the text of the slideshow tutorial to talk about #:bullet instead of item/bullet 2011-08-08 16:50:46 -05:00
srfi ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
srpersist ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
stepper change recon-val in stepper to use render-to-sexpr for non-lazy lists 2011-07-24 12:18:09 -04:00
string-constants Added online expansion and compilation of files 2011-08-02 16:28:16 -05:00
swindle ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
syntax scribble style (capitalize section names) 2011-08-09 12:29:28 -06:00
syntax-color docs reorganization 2011-07-01 17:16:53 -06:00
teachpack added save-svg-image 2011-08-07 19:35:29 -05:00
test-box-recovery ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
test-engine Updated the error message of check-expect. Fine tuning of the error messages. 2011-07-06 05:35:25 -04:00
tests [honu] return a void expression if there is no current expression waiting to be processed 2011-08-09 16:25:27 -06:00
tex2page ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
texpict fix standard-fish when the mouth is to the right 2011-07-24 23:26:14 -04:00
trace ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
typed Added a button for the performance report tool when in a typed language. 2011-07-15 15:04:51 -04:00
typed-scheme Correct type on typed variant of module->namespace. 2011-08-04 13:34:14 -04:00
unstable unstable/gui/pict (blur): removed mode arg, true gaussian blur code 2011-08-09 12:29:28 -06:00
version ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
waterworld ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
web-server Adding generalization of log to serve/servlet 2011-08-08 12:39:21 -06:00
wxme ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
xml Adding documentation and tests for xml/path 2011-07-24 16:58:59 -04:00
xrepl Fix `unstable/time' & xrepl use. 2011-08-02 16:56:02 -04:00
.gitignore