racket/collects
Matthew Flatt bdf1c3e165 bytecode compiler: generalize local-type tracking for unboxing
Track fixnum results in the same way as flonum results to enable
unboxing, if that turns out to be useful. The intent of the change,
though, is to support other types in the future, such as "extnums".

The output `raco decompile' no longer includes `#%in', `#%flonum',
etc., annotations, which are mostly obvious and difficult to
keep in sync with the implementation. A local-binding name now
reflects a known type, however.

The change includes a bug repair for he bytecode compiler that
is independent of the generalization (i.e., the new test case
triggered the old problem using flonums).
2012-11-14 19:37:01 -07:00
..
2htdp Two more #lang racket' -> #lang racket/base'. 2012-11-07 11:34:33 -05:00
algol60 Added @literal-algol{} and started an algol60 test suite (apologies 2012-06-20 10:28:53 -05:00
at-exp/lang
browser Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
compatibility A whole bunch of missing newlines at EOFs (and a few other spaceages). 2012-10-19 06:47:24 -04:00
compiler bytecode compiler: generalize local-type tracking for unboxing 2012-11-14 19:37:01 -07:00
config
data Implementation of #:defaults keyword for define-generics 2012-11-09 20:14:56 -05:00
datalog
db add string typeid for mysql char(N) fields 2012-11-14 20:40:14 -05:00
defaults
deinprogramm Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
drracket add a check when switching between tabs to only do the required 2012-11-11 08:53:13 -06:00
drscheme bring back drscheme/private/number-snip.ss since it may 2012-07-19 07:29:42 -05:00
dynext Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
embedded-gui
eopl Some "obvious" switching from racket' to racket/base'. 2012-11-06 13:29:09 -05:00
errortrace errortrace: fix profiling for phase >= 2 code 2012-07-23 07:05:40 -05:00
ffi ffi/unsafe: fixes related to `define-cstruct' and properties 2012-11-11 09:38:15 -07:00
file Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
framework make the 'failed to click on the radio box' error message more helpful 2012-11-11 20:13:25 -06:00
frtime #lang racket' -> #lang racket/base' conversions in frtime. 2012-11-07 08:03:46 -05:00
future-visualizer #lang racket' -> #lang racket/base' conversions in future-visualizer. 2012-11-07 08:03:46 -05:00
games Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
graphics Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
gui-debugger Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
handin-client
handin-server
help
hierlist
honu Some more #lang racket' -> #lang racket/base' conversions 2012-11-07 08:03:44 -05:00
htdp Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
html
icons
images #lang racket' -> #lang racket/base' conversions in plot and in images. 2012-11-07 08:03:45 -05:00
json Fix json treatment of eof, plus tests. 2012-10-05 11:48:31 -04:00
lang Two more #lang racket' -> #lang racket/base'. 2012-11-07 11:34:33 -05:00
launcher
lazy Some more #lang racket' -> #lang racket/base' conversions 2012-11-07 08:03:44 -05:00
macro-debugger Newlines at EOFs. 2012-11-06 14:07:15 -05:00
make
meta Missed a place where I assumed a default format on pkg create 2012-11-12 12:03:40 -07:00
mred racket/gui: add `get-current-mouse-state' 2012-11-07 14:37:39 -07:00
mrlib Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
mysterx Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
mzcom
mzlib Newlines at EOFs. 2012-11-06 14:07:15 -05:00
mzscheme Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
net #lang racket' -> #lang racket/base' conversions in net/websocket. 2012-11-07 08:03:46 -05:00
openssl accomodate OpenBSD linking of libssl 2012-10-18 11:58:59 -06:00
parser-tools make the position and position-token structs transparent 2012-11-07 11:57:07 -06:00
picturing-programs Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
plai enabling shared in plai with some shameless copying of kernel code 2012-11-06 19:53:03 -07:00
planet Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
planet2 Clarify raco pkg install arguments 2012-11-12 12:03:40 -07:00
plot Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
preprocessor
profile Clarify that the `*-node' is not in the list of nodes. 2012-09-19 22:54:13 -04:00
r5rs Fix documentation for packages and mutable lists. 2012-07-31 17:12:30 -04:00
r6rs Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
racket [Places] remove unused code 2012-11-13 10:22:13 -07:00
racklog Newlines at EOFs. 2012-11-06 14:07:15 -05:00
rackunit Add contract for run-tests. 2012-11-14 10:54:51 -07:00
raco
reader/lang
readline readline: prefer 5 (fast) over 6 (slow) 2012-08-28 23:36:50 -04:00
redex fix redex docs and disable running test-docs-complete.rkt directly 2012-11-12 07:42:09 -06:00
repo-time-stamp
rnrs
s-exp/lang
scheme racket/unit lang uses racket/base and racket/unit 2012-09-16 17:12:02 -04:00
schemeunit Some "obvious" switching from racket' to racket/base'. 2012-11-06 13:29:09 -05:00
scribble scribble: more control over version formatting 2012-11-02 07:45:57 -06:00
scribblings bytecode compiler: generalize local-type tracking for unboxing 2012-11-14 19:37:01 -07:00
scriblib make figure target rendering configurable 2012-11-04 06:38:30 -07:00
setup Some more #lang racket' -> #lang racket/base' conversions 2012-11-07 08:03:44 -05:00
sgl Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
sirmail Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
slatex
slideshow when PLTPICTBOX is set, include "Insert Pict Box" in DrRacket 2012-09-27 08:12:56 -06:00
srfi Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
stepper #lang racket' -> #lang racket/base' conversions in stepper. 2012-11-07 08:03:46 -05:00
string-constants improve drracket's response to an unhappy aspell program 2012-11-10 13:00:09 -06:00
swindle Add a `compatibility' collect for compatibility with other languages. 2012-07-27 16:49:05 -04:00
syntax fix `lazy-require' in phase levels other than 0 2012-11-11 09:38:16 -07:00
syntax-color
teachpack Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
test-engine Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
tests bytecode compiler: generalize local-type tracking for unboxing 2012-11-14 19:37:01 -07:00
texpict Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
trace
typed Some "obvious" switching from racket' to racket/base'. 2012-11-06 13:29:09 -05:00
typed-racket Fix Custodian type 2012-11-10 11:12:06 -05:00
typed-scheme Only enable Optimization Coach button in Typed Racket. 2012-07-20 18:05:32 -04:00
unstable fix `lazy-require' in phase levels other than 0 2012-11-11 09:38:16 -07:00
version fix doc typo 2012-06-25 23:34:21 -06:00
web-server Lots of bad TAB eliminations. 2012-11-07 11:22:20 -05:00
wxme
xml Drop dead code. 2012-11-09 13:08:41 -07:00
xrepl Fix test due to code refactoring, sort export lists in module descriptions. 2012-07-28 12:12:35 -04:00
.gitignore