Jay McCarthy
7d1a739df5
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
2010-02-19 19:47:15 +00:00
Ryan Culpepper
f4321256a5
compiler/zo-parse: fixed to work on Mac/PPC
...
zo writer seems to always write integers in little-endian order
svn: r18141
2010-02-17 23:36:58 +00:00
Jay McCarthy
a8d00cc3b3
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
2010-02-17 21:33:00 +00:00
Matthew Flatt
cab948d61f
fix up validator, decompiler, and zo-marshaler for flonum-argument annotations
...
svn: r17341
2009-12-17 20:17:48 +00:00
Matthew Flatt
bc47db42e4
unboxed known-flonum loop accumulators
...
svn: r17338
2009-12-17 15:58:29 +00:00
Matthew Flatt
45e84ca087
unboxing of let-bound flonums (v4.2.3.6)
...
svn: r17328
2009-12-16 13:30:40 +00:00
Matthew Flatt
7529e8d4a9
update decompiler for changed type number
...
svn: r16227
2009-10-02 23:39:29 +00:00
Matthew Flatt
8ae0ea9d14
unsafe ops (v4.2.1.8)
...
svn: r15899
2009-09-06 18:24:46 +00:00
Matthew Flatt
70859f0d0b
identifier-prune-lexical-context (4.2.0.2)
...
svn: r14850
2009-05-17 12:31:51 +00:00
Matthew Flatt
39d405fe6e
zo-marshal supports module forms
...
svn: r14637
2009-04-28 13:13:22 +00:00
Matthew Flatt
2439b4cb75
fix zo-parse problem with graphs in literal data
...
svn: r14596
2009-04-24 17:34:49 +00:00
Matthew Flatt
6df0ac6f51
fix accidental commit of debugging printf
...
svn: r14595
2009-04-24 15:49:24 +00:00
Matthew Flatt
cd09b30497
(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
2009-04-24 14:59:09 +00:00
Matthew Flatt
3b49038947
better eof handling in zo-parse
...
svn: r14252
2009-03-24 18:38:18 +00:00
Matthew Flatt
282a404ada
all expression forms tested for zo-marshal
...
svn: r13998
2009-03-06 23:27:10 +00:00
Matthew Flatt
5a8bd8b724
partially working compiler/zo-marshal
...
svn: r13976
2009-03-06 02:23:19 +00:00
Matthew Flatt
a1f0873143
initial version of write-bytecode
...
svn: r13973
2009-03-06 00:45:13 +00:00
Matthew Flatt
7aec6b8761
document compiler/zo-parse and compiler/decompile
...
svn: r12947
2008-12-28 18:57:13 +00:00
Matthew Flatt
064776348a
fix ready-toplevel optimization
...
svn: r12905
2008-12-19 17:16:39 +00:00
Matthew Flatt
cf8b75939b
trim some fat from module-variable references
...
svn: r12833
2008-12-13 17:38:14 +00:00
Matthew Flatt
d8c28545ea
fix decompiler for recent .zo change
...
svn: r12722
2008-12-07 19:07:47 +00:00
Matthew Flatt
1a4b3abba7
decompiler repairs
...
svn: r12537
2008-11-20 13:47:06 +00:00
Matthew Flatt
59f3f19f84
make the optimizer slightly smarter, so that it can see through more patterns of nested let and letrec procedure bindings
...
svn: r12434
2008-11-14 00:48:54 +00:00
Matthew Flatt
ea659ba286
split scribble/manual module into smaller modules
...
svn: r12150
2008-10-28 01:40:51 +00:00
Matthew Flatt
e2d4bc0d2b
finish decompiler on syntax objects
...
svn: r12077
2008-10-21 00:10:47 +00:00
Matthew Flatt
7a55275a26
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
2008-10-15 22:23:56 +00:00
Matthew Flatt
dd7db9ff7b
add read-language, module-compiled-language-info, and module->language-info
...
svn: r11827
2008-09-21 16:00:42 +00:00
Matthew Flatt
76cf25fc12
document 'mzc --decompile'
...
svn: r11317
2008-08-19 00:50:52 +00:00
Matthew Flatt
64c655a516
add --decompile blade to mzc and refine decompiler output
...
svn: r11310
2008-08-19 00:04:20 +00:00
Matthew Flatt
e611829b76
expose safe-for-space clearing in decompilation
...
svn: r11307
2008-08-18 22:34:38 +00:00
Matthew Flatt
1d754e8f66
initial version of decompiler
...
svn: r11305
2008-08-18 22:19:52 +00:00
