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
Matthew Flatt
447db085dc
benchmark improvement
...
Hash to a box, because finding and updating a box is faster than
updating a hash-table entry.
2012-11-14 19:17:42 -07:00
Matthew Flatt
5400b41bce
add `unsafe-cons-pair'
...
Also, make `list?' more optimistic about checking is the "is list?"
flag on a pair.
2012-11-14 19:17:42 -07:00
Matthew Flatt
9e3f9fbe3e
JIT x86: streamline store of a 32-bit constant
2012-11-14 19:17:42 -07:00
Matthew Flatt
91a5347d5b
JIT: push alternate target-register handling into inlined code
...
This change streamlines generated code slightly.
New release checklist item: double-check by building with
TEST_ALTERNATE_TARGET_REGISTER.
2012-11-14 19:17:42 -07:00
Matthew Flatt
335711bc3f
tweak JIT-inlined `cons'
...
Handle better the case where the first argument is more
complex than the second.
2012-11-14 19:17:41 -07:00
Matthew Flatt
f1807d2ecc
JIT: skip an unused load
2012-11-14 19:17:41 -07:00
Matthew Flatt
d99888d700
x86_64: more direct thread-local access in JIT
...
Use one instruction instead of two.
2012-11-14 19:17:41 -07:00
Ryan Culpepper
ab88a2a9bd
add table-based db tests
...
Allows testing for mysql char type (see previous commit comment)
2012-11-14 20:40:52 -05:00
Ryan Culpepper
8db023c624
add string typeid for mysql char(N) fields
...
closes PR 13255
Need to add tests, but "select cast(? as char(5))" results in var-string,
not string. Only get string typeid when reading from table.
2012-11-14 20:40:14 -05:00
Ryan Culpepper
4cdcfd6a3b
improve db tests
2012-11-14 18:30:03 -05:00
Danny Yoo
032e1ebf55
Add contract for run-tests.
2012-11-14 10:54:51 -07:00
Kevin Tew
46dc0357ba
[Places] remove unused code
2012-11-13 10:22:13 -07:00
Kevin Tew
06bc6d7883
Places documentation clarification
2012-11-13 10:21:52 -07:00
Kevin Tew
d269817a60
typo fixes
2012-11-13 10:11:50 -07:00
Jay McCarthy
db3d9b784f
Missed a place where I assumed a default format on pkg create
2012-11-12 12:03:40 -07:00
Jay McCarthy
b401a92709
Clarify raco pkg install arguments
2012-11-12 12:03:40 -07:00
Jay McCarthy
f5995ec0cc
Removing default from 'raco pkg create'
2012-11-12 12:03:40 -07:00
Jay McCarthy
a2b1d4186b
Requiring -a on 'raco pkg update' to update all packages
2012-11-12 12:03:40 -07:00
Jay McCarthy
fbed04db70
Revert "Changing the convention of referring to PLT in Planet 2 docs"
...
This reverts commit 14c169623f4bcffd41d145dfed2bc8317b5faffc.
2012-11-12 12:03:40 -07:00
Jay McCarthy
ec269fc1cf
Fixing error during initial upload in P2 PNS
2012-11-12 12:03:40 -07:00
Jay McCarthy
ddd03347ea
Adding a note about metadata file to suggest Planet 2 package creation
2012-11-12 12:03:40 -07:00
Jay McCarthy
dfdbd4c147
Changing Planet 2 package design re: sub-collections
2012-11-12 12:03:40 -07:00
Jay McCarthy
4649d59125
Changing git suggestion re: Eli and Sam in Planet 2 docs
2012-11-12 12:03:39 -07:00
Jay McCarthy
1d3aa61c2a
Changing the convention of referring to PLT in Planet 2 docs
2012-11-12 12:03:39 -07:00
Jay McCarthy
1df7f6b2e4
style changes in Planet 2 PNS
2012-11-12 12:03:39 -07:00
Jay McCarthy
7ed39caa93
Better error messages in planet2 PNS and a fix to the sync script
2012-11-12 12:03:39 -07:00
Jay McCarthy
74c9871dbe
Fixing typos in Planet 2 docs
2012-11-12 12:03:39 -07:00
Jay McCarthy
2265a0a0b5
Fixing typos in Planet 2 docs
2012-11-12 12:03:39 -07:00
Jay McCarthy
5c2fef8a6e
Clarify some Planet 2 documentation re: comments
2012-11-12 12:03:39 -07:00
Danny Yoo
48683c4782
Add comment about procedure-rename in inferred value names.\nSuggested by Jos Koot.
2012-11-12 09:55:46 -07:00
Matthew Flatt
623265d1e8
fix demod for submodules
2012-11-12 07:47:30 -07:00
Matthew Flatt
34f05a5190
add `planet2' to distribution
2012-11-12 07:34:34 -07:00
Matthew Flatt
483148e528
repair to `custodian-shutdown-all'
...
This appears to be an old bug where a check and use are misordered, so
I'm not sure why it hasn't caused more trouble before, but it depends
on a GC happening at the right time.
Closes PR 13245
2012-11-12 07:01:12 -07:00
Robby Findler
a4d440a5e9
fix redex docs and disable running test-docs-complete.rkt directly
...
in drdr (it runs already via run-tests.rkt)
2012-11-12 07:42:09 -06:00
Matthew Flatt
4c3ee9c3c9
fix for Win64 build
...
Repairs a problem introduced by recent JIT changes.
2012-11-12 06:08:11 -07:00
Robby Findler
8c47dbba01
make the 'failed to click on the radio box' error message more helpful
2012-11-11 20:13:25 -06:00
Robby Findler
9ad93eaa2d
update drracket tests to the new name of
...
the top radio button in the language dialog
# Please enter the commit message for your changes. Lines starting
2012-11-11 20:13:25 -06:00
Eli Barzilay
ad8a14cb5b
Rename path-error' ->
path-warning'.
...
To avoid the kind of problematic assumption in the last fix.
2012-11-11 14:45:01 -05:00
Eli Barzilay
c61db0b248
Drop Turkish mirror.
...
(The machine went down, and it's unclear if it'll be up again.)
2012-11-11 14:43:47 -05:00
Eli Barzilay
ae5a066d00
Fix prop problems.
...
"follow-log.rkt" moved to "framework/private", fix sorting for the
collatz benchmark.
2012-11-11 14:37:56 -05:00
Eli Barzilay
f0adf694cb
Fix error when a path is not found.
...
(`path-error' doesn't throw an exception, just prints the error.)
2012-11-11 14:36:55 -05:00
Matthew Flatt
910a7dc8e7
restore a use of `lazy-require'
...
This change reverts commit 949d12e2c6
, now that `lazy-require'
is supposed to work.
2012-11-11 09:38:16 -07:00
Matthew Flatt
740e5007bb
racket/sandbox: fix module-path to path coercion for submod
2012-11-11 09:38:16 -07:00
Matthew Flatt
6b16679b39
fix `lazy-require' in phase levels other than 0
...
The `lazy-require' form expands to `define-runtime-module-path-index',
whch doesn't work right at phase levels other than 0. Work around the
problem by generating a submodule to hold the
`define-runtime-module-path-index' form.
This repair fixes `raco exe' on certain uses of `match', which in turn
uses `lazy-require' at compile time.
Also, use `register-external-module' to generate appropriate
dependencies on lazily loaded modules.
2012-11-11 09:38:16 -07:00
Matthew Flatt
06ffb74d66
compiler/cm-accomplice: add `register-external-module'
...
The new function allows declaration of a module dependency, as
opposed to a mere file dependency. Misuse of this function opens
the door to cyclic compilation dependencies, so we have to check
for that in `compiler/cm'.
2012-11-11 09:38:16 -07:00
Matthew Flatt
50af874a7a
document `define-runtime-path' limitation
...
Also, log a warning when it is used in a position where it
doesn't work rght with the executable creator. I didn't make
this case an error, because `define-runtime-path' can still
work in that case as long as no standalone executable needs
to be created.
2012-11-11 09:38:16 -07:00
Matthew Flatt
a6cfe3d5fb
fix `resolve-module-path-index' when w.r.t. is submodule
...
A submodule path on the w.r.t. path was incorrectly (in most
cases) added to the resolved path.
2012-11-11 09:38:15 -07:00
Matthew Flatt
9c4cfdecc4
fix problem with require' inside
begin-for-syntax'
...
The dependency wasn't recorded under the right phase.
2012-11-11 09:38:15 -07:00
Matthew Flatt
4ca7e6bc77
ffi/unsafe: fixes related to `define-cstruct' and properties
...
Fix the binding context for property and property-value
expressions. Propagate wrappers (and therefore properties)
to cstruct subtypes.
2012-11-11 09:38:15 -07:00