Matthew Flatt
9136b6b85d
chaperones (v4.2.5.3)
...
svn: r18650
original commit: 73807aef24
2010-03-28 01:10:33 +00:00
Jay McCarthy
e3c66c9d47
Supporting byte-regexps and boxes in tester. Improving speed/allocation of parser and noting places where we could do better. Updating struct contracts in code and docs.
...
svn: r18262
original commit: 1eea5163cc
2010-02-22 15:47:57 +00:00
Jay McCarthy
c5b4be68d5
Adding comments and specs to parser.
...
Clarifying comments in marshaller. Supporting small numbers, small symbols, small marshalleds, small (proper) lists, small svectors, all-from-module long form
Improving inequality detector in tester: regexps and uninterned symbols
Correcting doc contract
svn: r18194
original commit: 7d1a739df5
2010-02-19 19:47:15 +00:00
Ryan Culpepper
5d8ca32454
compiler/zo-parse: fixed to work on Mac/PPC
...
zo writer seems to always write integers in little-endian order
svn: r18141
original commit: f4321256a5
2010-02-17 23:36:58 +00:00
Jay McCarthy
3562d9f416
Forgot to add a file
...
svn: r18131
original commit: 2ffa8cb34f
2010-02-17 21:38:06 +00:00
Jay McCarthy
21a504a86c
Added new primitive: symbol-unreadable?
...
Updated Scheme implementation of zo parsing and marshaling
- Separated the structs into a different file and added contracts
- Implemented stxobj marshalling
- Fixed many small bugs in parser and marshaller
- Added new structs for new parser cases
Done by Blake Johnson (BYU)
Committed by Jay
svn: r18130
original commit: a8d00cc3b3
2010-02-17 21:33:00 +00:00
Matthew Flatt
6d26d894e1
improve inling to support ((let (....) (lambda ....)) arg ...) patterns; allow nested 'let's for local flonum binding (which fixes a problem where unsafe flonum operations could end up much slower than safe ones)
...
svn: r17972
original commit: 3812f8ca72
2010-02-05 00:16:06 +00:00
Matthew Flatt
0c18f10bf8
fix problem with flmin/flmax and cgc
...
svn: r17532
original commit: f7f6b972fd
2010-01-07 16:33:26 +00:00
Matthew Flatt
3b650e1e15
built-in fixnum ops; bug fix related to misuse of flonum ops; questionable attempt to improve inlining algorithm
...
svn: r17461
original commit: 38d7e8fea2
2010-01-02 16:33:28 +00:00
Matthew Flatt
1b7935c819
scheme/flonum (v4.2.3.8)
...
svn: r17348
original commit: fdd7122994
2009-12-18 15:40:00 +00:00
Matthew Flatt
2d1e7602c1
fix up validator, decompiler, and zo-marshaler for flonum-argument annotations
...
svn: r17341
original commit: cab948d61f
2009-12-17 20:17:48 +00:00
Matthew Flatt
ab1cebd148
unboxed known-flonum loop accumulators
...
svn: r17338
original commit: bc47db42e4
2009-12-17 15:58:29 +00:00
Matthew Flatt
66b8a274d7
unboxing of let-bound flonums (v4.2.3.6)
...
svn: r17328
original commit: 45e84ca087
2009-12-16 13:30:40 +00:00
Matthew Flatt
e489b59124
decompiler fix to indicate that unsafe-flvector-ref can be unboxed
...
svn: r17289
original commit: cd961f4a6b
2009-12-13 20:13:20 +00:00
Matthew Flatt
b1aeeac4a9
bytecode-compiler changes to help enable flonum unboxing
...
svn: r17283
original commit: 5772fa0a9f
2009-12-13 04:39:46 +00:00
Matthew Flatt
06aeb59448
add unsafe-f64vector-{ref,set!} and improve JIT to inline arithmetic ops with more than 2 arguments
...
svn: r17068
original commit: 61dd4ca0b9
2009-11-26 15:07:16 +00:00
Matthew Flatt
4e9963b06b
update decompiler for changed type number
...
svn: r16227
original commit: 7529e8d4a9
2009-10-02 23:39:29 +00:00
Matthew Flatt
95420f055d
unsafe ops (v4.2.1.8)
...
svn: r15899
original commit: 8ae0ea9d14
2009-09-06 18:24:46 +00:00
Matthew Flatt
8caf639791
identifier-prune-lexical-context (4.2.0.2)
...
svn: r14850
original commit: 70859f0d0b
2009-05-17 12:31:51 +00:00
Matthew Flatt
57312ea2d5
zo-marshal patch from Jay
...
svn: r14642
original commit: b42f1b5d8b
2009-04-28 16:37:16 +00:00
Matthew Flatt
3b13ccd8fe
zo-marshal supports module forms
...
svn: r14637
original commit: 39d405fe6e
2009-04-28 13:13:22 +00:00
Matthew Flatt
cd3f1c8707
fix zo-parse problem with graphs in literal data
...
svn: r14596
original commit: 2439b4cb75
2009-04-24 17:34:49 +00:00
Matthew Flatt
0a8691e0bb
fix accidental commit of debugging printf
...
svn: r14595
original commit: 6df0ac6f51
2009-04-24 15:49:24 +00:00
Matthew Flatt
5b767d0b08
(v4.1.5.5) repair interaction of provides redirected by a rename-transformer, certification of access to unexported variables, and protected exports; also get rid of kernel-reprovide special case in export handling, because a more general export-sharing technique subsumed the special case long ago
...
svn: r14593
original commit: cd09b30497
2009-04-24 14:59:09 +00:00
Matthew Flatt
dd550f0a77
better eof handling in zo-parse
...
svn: r14252
original commit: 3b49038947
2009-03-24 18:38:18 +00:00
Matthew Flatt
bd5bfaba1c
all expression forms tested for zo-marshal
...
svn: r13998
original commit: 282a404ada
2009-03-06 23:27:10 +00:00
Matthew Flatt
c350bac4dd
some zo-marshal repairs
...
svn: r13984
original commit: 946a39221a
2009-03-06 17:37:28 +00:00
Matthew Flatt
cde9437405
zo-marshal bug fixes and start at test suite
...
svn: r13979
original commit: f1e646c8f9
2009-03-06 15:22:33 +00:00
Matthew Flatt
0d40ac7b7f
partially working compiler/zo-marshal
...
svn: r13976
original commit: 5a8bd8b724
2009-03-06 02:23:19 +00:00
Matthew Flatt
a724fe6a00
rename write-bytecode to zo-marshal
...
svn: r13974
original commit: 25e7978999
2009-03-06 00:48:08 +00:00
Matthew Flatt
9cc0f1b7cd
initial version of write-bytecode
...
svn: r13973
original commit: a1f0873143
2009-03-06 00:45:13 +00:00
Matthew Flatt
c53917fa4f
document compiler/zo-parse and compiler/decompile
...
svn: r12947
original commit: 7aec6b8761
2008-12-28 18:57:13 +00:00
Matthew Flatt
8432051c18
fix ready-toplevel optimization
...
svn: r12905
original commit: 064776348a
2008-12-19 17:16:39 +00:00
Matthew Flatt
0e41ae2e49
trim some fat from module-variable references
...
svn: r12833
original commit: cf8b75939b
2008-12-13 17:38:14 +00:00
Matthew Flatt
34af15866c
fix decompiler for recent .zo change
...
svn: r12722
original commit: d8c28545ea
2008-12-07 19:07:47 +00:00
Matthew Flatt
2a6f851d43
decompiler repairs
...
svn: r12537
original commit: 1a4b3abba7
2008-11-20 13:47:06 +00:00
Matthew Flatt
66ad436925
make the optimizer slightly smarter, so that it can see through more patterns of nested let and letrec procedure bindings
...
svn: r12434
original commit: 59f3f19f84
2008-11-14 00:48:54 +00:00
Matthew Flatt
c3ee691e9d
improved JIT inlining of 'list'
...
svn: r12428
original commit: bac4053c37
2008-11-13 16:42:15 +00:00
Matthew Flatt
5730650642
change mzc verbosity
...
svn: r12333
original commit: f076494c48
2008-11-06 18:54:12 +00:00
Matthew Flatt
25ac110c4f
split scribble/manual module into smaller modules
...
svn: r12150
original commit: ea659ba286
2008-10-28 01:40:51 +00:00
Matthew Flatt
8b1b6eec7f
jit tweaks
...
svn: r12144
original commit: 00d2aabaf0
2008-10-27 19:00:13 +00:00
Matthew Flatt
67030288cd
finish decompiler on syntax objects
...
svn: r12077
original commit: e2d4bc0d2b
2008-10-21 00:10:47 +00:00
Matthew Flatt
128081a8e9
unit bug fixes related to new scoping of signature elements; change scribble/manual to compute ids typeset as variables at compile time, in preparation for moving from a parameter to syntax bindings; fix docs typos; extend decompiler's support for unmarshaling syntax objects
...
svn: r12046
original commit: 7a55275a26
2008-10-15 22:23:56 +00:00
Matthew Flatt
42ec054ab9
add read-language, module-compiled-language-info, and module->language-info
...
svn: r11827
original commit: dd7db9ff7b
2008-09-21 16:00:42 +00:00
Matthew Flatt
9ed7e7ba98
fix letrec compilation when call/cc is used on the RHS of something that otherwise looks like it could be let*; add #%in annotations to decompiler output
...
svn: r11329
original commit: ebab4270bf
2008-08-19 15:18:09 +00:00
Matthew Flatt
ba41523036
document 'mzc --decompile'
...
svn: r11317
original commit: 76cf25fc12
2008-08-19 00:50:52 +00:00
Matthew Flatt
436c1a119a
add --decompile blade to mzc and refine decompiler output
...
svn: r11310
original commit: 64c655a516
2008-08-19 00:04:20 +00:00
Matthew Flatt
19a098a7fa
expose safe-for-space clearing in decompilation
...
svn: r11307
original commit: e611829b76
2008-08-18 22:34:38 +00:00
Matthew Flatt
da32616652
add with-cont-mark decompilation
...
svn: r11306
original commit: 6a0a40773b
2008-08-18 22:28:08 +00:00
Matthew Flatt
a290d88c64
initial version of decompiler
...
svn: r11305
original commit: 1d754e8f66
2008-08-18 22:19:52 +00:00
Eli Barzilay
6e98f88320
revise the way setup-plt crawls over the collection trees
...
svn: r8860
original commit: b76390a452
2008-03-03 22:04:28 +00:00
Eli Barzilay
aab2ad2f30
use new require specs in many places
...
svn: r8774
original commit: b1a08edd5a
2008-02-23 09:42:03 +00:00
Matthew Flatt
7678dce81b
clean out _loader compilation support; merge compiler library docs into mzc manual; improve mzscheme cmdline handling so that configuration options do not cancel defaults like -i and -u
...
svn: r8432
original commit: e35c94f91d
2008-01-27 14:20:42 +00:00
Matthew Flatt
e4ad919f65
add missing path->complete-path for unix/windows bundle-directory
...
svn: r6371
original commit: 73a913f63f
2007-05-29 11:45:44 +00:00
Matthew Flatt
948669c76e
doc correction, and expand paths before passing them on the command line
...
svn: r6017
original commit: b4ad09c116
2007-04-22 21:33:56 +00:00
Matthew Flatt
6b33e9615e
unit clean-up
...
svn: r5160
original commit: 7b13755dad
2006-12-22 01:26:58 +00:00
Eli Barzilay
44098e1093
merged units branch
...
svn: r5033
original commit: 3459c3a58f
2006-12-05 20:31:14 +00:00
Matthew Flatt
311bc577fc
new Create Executable in DrScheme
...
svn: r3178
original commit: 09d6dd95cf
2006-06-02 11:52:48 +00:00
Matthew Flatt
cb4f6b5e6e
add --multi mode for -o/-g
...
svn: r2888
original commit: 2e944e3e2e
2006-05-09 16:58:37 +00:00
Matthew Flatt
25540a9279
301.13 (the beginning of the end for PLTHOME)
...
svn: r2740
original commit: 1d77707ef1
2006-04-23 02:36:55 +00:00
Matthew Flatt
2e9d470935
many repairs to Create Executable...
...
svn: r1558
original commit: d9bad21ca2
2005-12-07 14:27:12 +00:00
Matthew Flatt
bdd9fc9b2f
3m and mzc
...
svn: r1353
original commit: 58b6198fa5
2005-11-19 16:19:42 +00:00
Matthew Flatt
6a82852338
.
...
original commit: 5ebf6026625d2a02f8d5c28d1dd62c3bbc467d37
2005-03-30 17:15:45 +00:00
Jacob Matthews
fc4358a088
Added compile-directory-zos
...
original commit: 7553204899c249d41707cd30644e26be343fae81
2005-02-03 15:21:12 +00:00
Matthew Flatt
e2730ac136
.
...
original commit: 3e00c5e728058e06395f24f1c619b0e149902150
2004-10-08 19:32:38 +00:00
Matthew Flatt
6fe4561fa3
.
...
original commit: 28442ed79b360ffd8dac05393c3547e544b05df7
2004-04-15 01:00:12 +00:00
Matthew Flatt
dceefe60b7
.
...
original commit: 8ce11627dc7aa32453bdc564d8134d6a2a242ee4
2004-02-19 20:35:34 +00:00
Matthew Flatt
ab0ec8ef5d
.
...
original commit: 399914bda290b094aaa05a92107f4e4969f446bd
2004-01-14 17:02:01 +00:00
Matthew Flatt
d6b1760d68
.
...
original commit: 57f20a123d9b8863400b5be181b0990b0c6d2f42
2002-07-24 19:29:17 +00:00
Matthew Flatt
139f8c8e15
.
...
original commit: 00fe47d759f949e4e89a80ce49745428ba6c2c56
2001-12-11 13:50:43 +00:00
Matthew Flatt
32cc78b2c8
.
...
original commit: 1f7dc0cfc45cda4d181a049246dd720cc135d67d
2001-09-13 22:42:56 +00:00
Matthew Flatt
2614f4064c
.
...
original commit: 91dcb209a3b0f88e0589eb80de529d84ed607ed8
2001-06-08 07:42:27 +00:00
Matthew Flatt
08e1bc7f5f
.
...
original commit: a7432874af0d8e8175b449832d45abee2b42fb99
2001-02-14 23:10:50 +00:00
Matthew Flatt
d5424211cb
.
...
original commit: 2b7c3fdc298ff2796c76f81cce3129f8ea7ea2ac
2001-02-04 19:52:06 +00:00
Matthew Flatt
1a81b3da0f
.
...
original commit: 8e1ae82643cfca83ae3e2551b4021ad491eab668
2001-02-02 23:25:37 +00:00
Robby Findler
932f8b3bbc
...
...
original commit: 1f4f8cc40600597d59a6bba1b4ee6b25cfb3faf2
2000-09-08 16:30:40 +00:00
Matthew Flatt
9a59a79ac3
.
...
original commit: ab506c8e08bac8050e8f5f8766e067ddde08fa8f
2000-04-20 00:21:42 +00:00
Matthew Flatt
8eb2df7295
.
...
original commit: 06bd9b93edfae0749258c0303f7ced20c631df7a
1999-05-13 20:12:40 +00:00
Matthew Flatt
f4c9a0b4e7
unitized setup-plt
...
original commit: 10d45a71f2765e8ef31b3d61385d173d206f8b55
1998-11-28 04:54:42 +00:00
Matthew Flatt
2b35989012
.
...
original commit: a6b9a807b7287a4085058a3995ba325b406c7ef5
1998-10-13 22:38:20 +00:00
Matthew Flatt
5800483dfd
.
...
original commit: cc9de5c6e96ecc1ce364290bb02d387b963a19a5
1998-10-03 16:16:44 +00:00
Matthew Flatt
8155b8485a
.
...
original commit: 93c62f704093eba91fd34f5bfc22e7daa32484a2
1998-09-06 02:17:49 +00:00
Matthew Flatt
4ca4d82a75
separated known-variable analysis phase, added inlining
...
original commit: 5d7647b40bdfe8ee588490759f20388751b18c3a
1998-05-14 22:01:23 +00:00
Matthew Flatt
52ea5b868a
refinements to calling convention, ad hoc optimizations and primitive inlining
...
original commit: 979a3270e0eea63dfe933fd47dcf1f54488cb7a9
1998-05-08 21:58:38 +00:00
Matthew Flatt
3aad0a1539
reference -> require, etc.
...
original commit: 221d609dd7ecdfd8cf12a75cfd8ecbfcd3799972
1998-04-20 14:56:52 +00:00
Matthew Flatt
536f87f7c1
mrspidey integration
...
original commit: a0750d913741390cd5aec93ddb9c19cdd4e0e569
1998-03-30 19:34:50 +00:00
Matthew Flatt
bc40d08dc6
--embedded, setup-plt refinements for .plt
...
original commit: 9ac24a035bdba22c6212dbfff88e8c2f5b843109
1998-03-10 13:59:40 +00:00
Matthew Flatt
5df833e306
compile-plt messages
...
original commit: 618228baca2d95496bcaa7a60f123fc3b0f189f8
1998-03-03 19:17:19 +00:00
Matthew Flatt
a873589fdc
new flags; added glue-extension; new MzLib compiler.ss flags
...
original commit: 7ff840ba27f1dfd981085ac4d703dee1abf47bf9
1998-03-03 16:46:36 +00:00
Matthew Flatt
cf67831cbe
code unitized and interface sanitized
...
original commit: abdf1b56a7cf0d87cba22e2b4177b9e6398a2da4
1998-01-10 19:56:32 +00:00