summaryrefslogtreecommitdiff
path: root/module
AgeCommit message (Collapse)AuthorFilesLines
2013-12-02Fix brainfuck->scheme compiler.Andy Wingo1-6/+3
* module/language/brainfuck/compile-scheme.scm (compile-scheme): Fix brainfuck compiler.
2013-11-30Remove GOOPS-internal @slot-ref and @slot-set!Andy Wingo2-37/+21
* module/oop/goops.scm: Remove definitions of @slot-ref and @slot-set!. They are equivalent to struct-ref and struct-set!. (define-standard-accessor-method): Reimplement using syntax-case. (bound-check-get, standard-get, standard-set): Replace @slot-ref and @slot-set! uses with struct-ref and struct-set!. * module/language/cps/reify-primitives.scm (primitive-module): Remove @slot-set! and @slot-ref references.
2013-11-30Unknown files print as (unknown file) in disassemblerAndy Wingo1-1/+1
* module/system/vm/disassembler.scm (disassemble-buffer): Print unknown files as "(unknown file)".
2013-11-30,x disassembles nested programs tooAndy Wingo1-21/+38
* module/system/vm/disassembler.scm (code-annotation): (disassemble-buffer, disassemble-addr, disassemble-program): Arrange to disassemble nested procedures. (disassemble-image): Adapt.
2013-11-28Merge commit 'e7bd20f7d9b2110fdc0fa25db5a2bfe6b2214923'Andy Wingo1-34/+52
2013-11-28Merge commit '17330398d50524058c2ef488bd21ac5ec9c8b6e8'Andy Wingo1-24/+21
2013-11-28Merge commit '8571dbde639e0ee9885bad49c9e180474bd23646'Andy Wingo4-15/+193
Conflicts: libguile/procprop.c
2013-11-28Merge commit '750ac8c592e792e627444f476877f282525b132e'Andy Wingo2-4/+17
Conflicts: .gitignore libguile/deprecated.c
2013-11-27Remove the restore-continuation-hook.Andy Wingo2-14/+4
* libguile/vm.h: * libguile/vm.c: * libguile/vm-engine.c: * module/system/vm/traps.scm: * module/system/vm/vm.scm: Remove the unused and redundant restore-continuation-hook.
2013-11-26Build psyntax-pp serially after eval.go.Andy Wingo1-17/+18
* module/Makefile.am: Arrange to build psyntax-pp.go in serial mode, after eval.go. Before the expander is compiled, expanding all the Scheme files dominates compile-time, even for larger files like psyntax-pp.scm. If we compile psyntax in parallel with other files, it could be one of the other files finishes first, leading to two consecutive compiles that have to use an uncompiled psyntax expander. Ordering the compilation minimizes total real and user time, at least locally on a 4-core machine. Also take the opportunity to shuffle compile order for the rest of the Scheme files, to build parts of the RTL compiler early.
2013-11-26Contification converges more quicklyAndy Wingo1-10/+47
* module/language/cps/contification.scm (compute-contification): Converge more quickly by using the information we compute within a compute-contification pass.
2013-11-25Compute-contification also visits bodyAndy Wingo1-3/+6
* module/language/cps/contification.scm (compute-contification): If we decide to contify, don't forget to visit the body. Should make contification converge faster.
2013-11-23Make (ice-9 popen) thread-safe.Mark H Weaver1-34/+52
Fixes <http://bugs.gnu.org/15683>. Reported by David Pirotte <david@altosw.be>. * module/ice-9/popen.scm: Import (ice-9 threads) and (srfi srfi-9). (<pipe-info>): New record type. (port/pid-table): Mark as deprecated in comment. (port/pid-table-mutex): New variable. (open-pipe*): Store the pid in the pipe-info record, and store the pipe-info as a port property. Guard the pipe-info instead of the port. Lock 'port/pid-table-mutex' while mutating 'port/pid-table'. (fetch-pid): Removed. (fetch-pipe-info): New procedure. (close-process-quietly): Removed. (close-pipe): Use 'fetch-pipe-info' instead of 'fetch-pid'. Clear the pid from the pipe-info. Improve error messages. (reap-pipes): Adapt to the fact that the pipe-info is now guarded instead of the port. Incorporate the 'waitpid' code that was previously in 'close-process-quietly', but let the port finalizer close the port. Clear the pid from the pipe-info.
2013-11-23Stylistic improvements for (ice-9 popen).Mark H Weaver1-24/+21
* module/ice-9/popen.scm (close-process, close-process-quietly): Accept 'port' and 'pid' as separate arguments. Improve style. (close-pipe, read-pipes): Improve style.
2013-11-21No more VM objects visible to SchemeAndy Wingo6-66/+50
* libguile/vm.h: * libguile/vm.c (scm_the_vm): Don't expose to Scheme. (scm_vm_p): Remove, as it is not needed. * module/system/vm/vm.scm: Remove the-vm and vm? exports. * doc/ref/api-coverage.texi (Code Coverage): * test-suite/tests/coverage.test: * module/system/vm/coverage.scm (with-code-coverage): Don't take a VM argument. Adapt documentation and tests. * module/ice-9/command-line.scm: Remove the-vm autoload. * module/system/vm/trace.scm (trace-calls-to-procedure): (trace-calls-in-procedure): (trace-instructions-in-procedure): (call-with-trace): Remove #:vm kwarg, and adapt to trap changes. * module/system/vm/trap-state.scm (the-trap-state): Rework to use a parameter underneath instead of a weak key on (the-vm). * module/system/vm/traps.scm (new-disabled-trap): (new-enabled-trap): Remove vm argument. (trap-at-procedure-call): (trap-in-procedure): (trap-instructions-in-procedure): (trap-at-procedure-ip-in-range): (trap-at-source-location): (trap-frame-finish): (trap-in-dynamic-extent): (trap-calls-in-dynamic-extent): (trap-instructions-in-dynamic-extent): (trap-calls-to-procedure): (trap-matching-instructions): Remove vm keyword arguments. * test-suite/tests/control.test ("unwind"): Adapt test. * test-suite/tests/eval.test (test-suite): Remove the-vm import.
2013-11-21VM accessors take VM as implicit argument, not explicit argumentAndy Wingo6-51/+49
* libguile/vm.h: * libguile/vm.c: (scm_vm_apply_hook, scm_vm_push_continuation_hook, scm_vm_pop_continuation_hook, scm_vm_abort_continuation_hook, scm_vm_restore_continuation_hook, scm_vm_next_hook, scm_vm_trace_level, scm_set_vm_trace_level_x, scm_vm_engine, scm_set_vm_engine_x, scm_c_set_vm_engine_x): The VM argument is now implicit: the VM for the current thread. * doc/ref/api-debug.texi (VM Hooks): Try to adapt. * module/ice-9/command-line.scm: * module/statprof.scm: * module/system/vm/coverage.scm: * module/system/vm/trace.scm: * module/system/vm/trap-state.scm: * module/system/vm/traps.scm: * test-suite/tests/control.test: * test-suite/tests/eval.test: Adapt users that set hooks or ensure that we have a debug engine.
2013-11-21Remove unused vm:ip, vm:sp, vm:fpAndy Wingo1-2/+0
* libguile/vm.h: * libguile/vm.c (scm_vm_ip, scm_vm_fp, scm_vm_sp): Remove unused functions. * module/system/vm/vm.scm: Remove exports.
2013-11-21Remove make-vm; there will be one vm per thread now.Andy Wingo1-2/+2
* libguile/vm.h: * libguile/vm.c (scm_make_vm): Remove. * module/system/vm/vm.scm: Remove make-vm export. * test-suite/tests/control.test ("the-vm"): * test-suite/tests/coverage.test (%test-vm): * test-suite/tests/eval.test ("stack overflow"): Adapt tests.
2013-11-19Rename objcodes?.{scm,c,h} to loader.{scm,c,h}Andy Wingo9-11/+9
* libguile/loader.c: * libguile/loader.h: Rename from objcodes.[ch]. * module/system/vm/loader.scm: Rename from objcode.scm. * libguile/Makefile.am: * libguile/gsubr.c: * libguile/init.c: * libguile/procs.c: * libguile/vm.c: * module/Makefile.am: * module/ice-9/eval-string.scm: * module/language/rtl/spec.scm: * module/system/base/target.scm: * module/system/repl/command.scm: * module/system/repl/common.scm: * module/system/vm/debug.scm: * module/system/vm/disassembler.scm: * module/system/vm/objcode.scm: * test-suite/tests/compiler.test: * test-suite/tests/dwarf.test: * test-suite/tests/rtl-compilation.test: * test-suite/tests/rtl.test: Adapt.
2013-11-19Remove (oop goops) <objcode> exportAndy Wingo1-2/+2
* module/oop/goops.scm (oop): Remove objcode export.
2013-11-19(system vm instruction) rtl-instruction-list -> (language rtl) instruction-listAndy Wingo10-40/+11
* libguile/instructions.c (struct scm_instruction, fetch_instruction_table) (scm_instruction_list): Remove rtl_ infix. * libguile/instructions.h: Adapt. * module/system/vm/instruction.scm: Remove. * module/language/rtl.scm: Export instruction-list from here. * module/Makefile.am: * module/language/cps/primitives.scm: * module/system/vm/assembler.scm: * module/system/vm/disassembler.scm: * module/system/vm/frame.scm: * module/system/vm/program.scm: * module/system/vm/trace.scm: * module/system/vm/traps.scm: Adapt.
2013-11-19Rename DT_GUILE_VM_VERSION.Andy Wingo2-3/+3
* libguile/objcodes.c (DT_GUILE_VM_VERSION, process_dynamic_segment): * module/system/vm/elf.scm (DT_GUILE_VM_VERSION): Rename from DT_GUILE_RTL_VERSION. * module/system/vm/assembler.scm (link-dynamic-section): Adapt.
2013-11-19Rename internal rtl-program-properties -> program-propertiesAndy Wingo1-3/+1
* module/system/vm/program.scm (program-properties): Rename from rtl-program-properties. * libguile/programs.c (scm_i_program_properties): Adapt.
2013-11-19Rename internals of (system vm program) program-minimum-arityAndy Wingo2-7/+5
* module/system/vm/debug.scm (find-program-minimum-arity): Rename from program-minimum-arity. * module/system/vm/program.scm (program-minimum-arity): Rename from rtl-program-minimum-arity. * libguile/programs.c (scm_i_program_arity): Adapt.
2013-11-19Rename (system vm program) internal functions to remove rtl-Andy Wingo1-6/+2
* module/system/vm/program.scm (program-name) (program-documentation): Rename (removing rtl-). * libguile/programs.c (scm_i_program_name): (scm_i_program_documentation): Adapt callers.
2013-11-19rtl-program-code -> program-codeAndy Wingo7-22/+22
* libguile/programs.h: * libguile/programs.c (scm_program_code): Rename from scm_rtl_program_code. Also renames rtl-program-code to program-code. * module/statprof.scm: * module/system/repl/command.scm: * module/system/repl/debug.scm: * module/system/vm/coverage.scm: * module/system/vm/disassembler.scm: * module/system/vm/program.scm: * module/system/vm/traps.scm: * test-suite/tests/dwarf.test: * test-suite/tests/rtl.test: Adapt callers.
2013-11-19rtl-program? -> program?Andy Wingo11-24/+23
* libguile/programs.c (scm_program_p): Rename from scm_rtl_program_p. Changes name also from rtl-program? to program?. * libguile/programs.h: * module/ice-9/session.scm: * module/language/tree-il/analyze.scm: * module/statprof.scm: * module/system/repl/command.scm: * module/system/repl/debug.scm: * module/system/vm/coverage.scm: * module/system/vm/disassembler.scm: * module/system/vm/frame.scm: * module/system/vm/program.scm: * module/system/vm/traps.scm: * module/system/xref.scm: Adapt.
2013-11-19Remove make-rtl-program.Andy Wingo1-3/+1
* libguile/programs.h: * libguile/programs.c (scm_make_rtl_program): Remove. Unused. * module/system/vm/program.scm (system): Remove make-rtl-program export. Unused.
2013-11-19Rename scm_tc7_rtl_program to scm_tc7_programAndy Wingo1-3/+3
* libguile/tags.h (scm_tc7_program): Rename from scm_tc7_rtl_program. * libguile/continuations.c: * libguile/control.c: * libguile/evalext.c: * libguile/foreign.c: * libguile/goops.c: * libguile/gsubr.c: * libguile/print.c: * libguile/programs.c: * libguile/programs.h: * libguile/vm-engine.c: Adapt users. * module/system/vm/assembler.scm: Rename a tc7-rtl-program local to tc7-program. * libguile/tags.h (scm_tc7_program): Rename from scm_tc7_rtl_program. * libguile/continuations.c: * libguile/control.c: * libguile/evalext.c: * libguile/foreign.c: * libguile/goops.c: * libguile/gsubr.c: * libguile/print.c: * libguile/programs.c: * libguile/programs.h: * libguile/vm-engine.c: Adapt users. * module/system/vm/assembler.scm: Rename a tc7-rtl-program local to tc7-program.
2013-11-19Web: accept "UTC" as the zone offset in date headers.Mark H Weaver1-0/+2
Fixes <http://bugs.gnu.org/14128>. Reported by Aleix Conchillo FlaquƩ <aconchillo@gmail.com>. * module/web/http.scm (parse-zone-offset): Accept "UTC".
2013-11-18Add procedures to convert alists into hash tables.David Thompson2-0/+46
* module/ice-9/hash-table.scm: New module. * test-suite/tests/hash.test ("alist conversion"): Add tests. * doc/ref/api-compound.texi (Hash Table Reference): Add docs.
2013-11-18Convert guile exceptions to R6RS conditions in R6RS exception handlers.Mark H Weaver1-15/+145
* module/rnrs/exceptions.scm (&guile): New condition type. (guile-condition-converters): New variable. (convert-guile-condition, default-guile-condition-converter, set-guile-condition-converter!, guile-common-conditions, guile-lexical-violation-converter, guile-syntax-violation-converter, guile-assertion-violation-converter, guile-system-error-converter, guile-undefined-violation-converter, guile-error-converter, guile-implementation-restriction-converter): New procedures. (with-exception-handler): Catch all exceptions, not just R6RS exceptions. Convert native Guile exceptions to R6RS conditions, preserving the original Guile exception information in the &guile condition object. (raise): If the condition includes a &guile condition, use 'throw' to throw the original native guile exception instead of raising an R6RS exception. * test-suite/tests/r6rs-exceptions.test ("guile condition conversions"): Add tests.
2013-11-18Improve error when 'include' form with relative path is not in a file.Mark H Weaver2-4/+17
Reported by Nala Ginrut <nalaginrut@gmail.com>. * module/ice-9/psyntax.scm (include): Give a proper error message when given a relative file name, and when the form is not in a file. * module/ice-9/psyntax-pp.scm: Regenerate.
2013-11-17Frame pointer points to local 0 instead of local 1Andy Wingo2-4/+4
* libguile/frames.h: Change so that fp points at local 0 instead of local 1, and clean up a bit. (struct scm_vm_frame): Remove program, and rename stack to locals. (SCM_FRAME_DATA_ADDRESS): Remove; it was redundant with SCM_FRAME_LOWER_ADDRESS. (SCM_FRAME_STACK_ADDRESS): Remove; replace with the new SCM_FRAME_LOCALS_ADDRESS. (SCM_FRAME_UPPER_ADDRESS): Remove; unused. (SCM_FRAME_NUM_LOCALS, SCM_FRAME_PREVIOUS_SP): New defines. (SCM_FRAME_BYTE_CAST, SCM_FRAME_STACK_CAST): Remove; unused; (SCM_FRAME_LOCAL): New define, replaces SCM_FRAME_VARIABLE. (SCM_FRAME_PROGRAM): Add cautionary commentary. * libguile/frames.c: Adapt static asserts. (scm_frame_num_locals, scm_frame_local_ref, scm_frame_local_set_x): Adapt. This means that frame-local-ref 0 now returns the procedure. * libguile/vm-engine.c (ALLOC_FRAME, RESET_FRAME) (FRAME_LOCALS_COUNT, LOCAL_REF, LOCAL_SET, RETURN_VALUE_LIST): Adapt to change in fp. (LOCAL_ADDRESS): New helper. (POP_CONTINUATION_HOOK): Reimplement, taking the previous FP as an argument. (ABORT_CONTINUATION_HOOK): Reimplement, taking no arguments. (RETURN_ONE_VALUE): Reimplement. (RETURN_VALUE_LIST): Adapt to FP change. (halt, return-values, subr-call, foreign-call, prompt) (continuation-call, compose-continuation, call/cc, abort): Adapt to FP change, mostly via using LOCAL_ADDRESS, etc abstractions instead of using the raw frame pointer. * libguile/control.c (reify_partial_continuation): Update for fp change. * libguile/vm.c (vm_reinstate_partial_continuation): Adapt to removal of SCM_FRAME_UPPER_ADDRESS. * module/system/vm/frame.scm (frame-call-representation): Adapt to frame-local-ref change. * module/system/vm/trace.scm (print-return): Remove unused frame-num-locals call.
2013-11-15Remove MVRA from VM framesAndy Wingo2-4/+2
* libguile/_scm.h (SCM_OBJCODE_MINOR_VERSION): Bump for frame layout change. * libguile/frames.c: Update some static checks. (scm_frame_num_locals, scm_frame_local_ref, scm_frame_local_set_x): Update to not skip over uninitialized frames, as that's not a thing any more. * libguile/frames.h: Update to remove MVRA. Woo! * libguile/vm-engine.c (ALLOC_FRAME, RETURN_ONE_VALUE): (rtl_vm_engine): Update for 3 words per frame instead of 4. * libguile/vm.c (vm_return_to_continuation): Likewise. * module/language/cps/slot-allocation.scm (allocate-slots): 3 words per frame, not 4. * module/system/vm/assembler.scm (*bytecode-minor-version*): Bump. Also remove a couple of tc7's that aren't around any more.
2013-11-15Try to allocate arguments directly in call framesAndy Wingo1-16/+119
* module/language/cps/slot-allocation.scm (allocate-slots): Convert cont-table to a vector, for ease of access. Run a pass before allocation that determines the set of variables whose slot allocation can and should be delayed, so that they can ideally be allocated directly in an argument slot.
2013-11-15Rewrite slot allocation passAndy Wingo2-375/+421
* module/language/cps/slot-allocation.scm ($allocation): Refactor internal format of allocations. Instead of an allocation being a hash table of small $allocation objects, it is an $allocation object that contains packed vectors. (find-first-trailing-zero): Rework to not need a maximum. (lookup-maybe-slot): New interface. (lookup-slot): Raise an error if a var has no slot. (lookup-call-allocation): New helper. (lookup-constant-value, lookup-maybe-constant-value): (lookup-call-proc-slot, lookup-parallel-moves): Adapt to $allocation change (allocate-slots): Rewrite so that instead of being recursive, it traverses the blocks in CFA order. Also, procedure call frames are now allocated with respect to the live set after using arguments (and killing any dead-after-use vars); this should make call frames more compact but it does necessitate a parallel move solution. Therefore parallel moves are recorded for all calls, for arguments; also if the continuation is a $ktrunc, the continuation gets parallel moves for the results. This rewrite is in preparation to allocating call args directly in the appropriate slots, where possible. * module/language/cps/compile-rtl.scm (compile-fun): Adapt to slot allocation changes, using lookup-maybe-slot where appropriate, performing parallel moves when calling functions, and expecting return moves to be associated with $ktrunc continuations.
2013-11-13Replace ($var sym) with ($values (sym)).Andy Wingo8-41/+49
* module/language/cps.scm: Remove $var. Replaced by $values with one value. * module/language/cps/arities.scm: * module/language/cps/closure-conversion.scm: * module/language/cps/compile-rtl.scm: * module/language/cps/dfg.scm: * module/language/cps/slot-allocation.scm: * module/language/cps/verify.scm: * module/language/tree-il/compile-cps.scm: Adapt all the world.
2013-11-10Add specialize-primcalls pass; bump objcode version.Andy Wingo7-72/+150
* libguile/_scm.h (SCM_OBJCODE_MINOR_VERSION): Bump. * libguile/objcodes.c (process_dynamic_segment): Expect the minor version to be present and, while we are still banging on the VM, exactly equal to SCM_OBJCODE_MINOR_VERSION. * libguile/vm-engine.c: Renumber ops. Remove the general make-vector. Rename constant-FOO to FOO/immediate. Remove struct-ref and struct-set!, replace with struct-ref/immediate and struct-set!/immediate. * module/Makefile.am: * module/language/cps/specialize-primcalls.scm: New pass, inlines FOO to FOO/immediate -- e.g. vector-ref to vector-ref/immediate. * module/language/cps/arities.scm: Remove struct-set! case, now that there is no struct-set! opcode. * module/language/cps/compile-rtl.scm (compile-fun): Remove dispatch to constant-FOO versus FOO here -- that decision is made by specialize-primcalls. (optimize): Add specialize-primcalls pass. * module/language/cps/dfg.scm (constant-needs-allocation?): Adapt to name changes. * module/language/tree-il/primitives.scm (*interesting-primitive-names*): (*primitive-constructors*): Add allocate-struct. * module/system/vm/assembler.scm (*bytecode-major-version*): (*bytecode-minor-version*, link-dynamic-section): Write minor version into resulting image.
2013-11-10Effects analysis distinguishes between struct fieldsAndy Wingo3-71/+254
* module/language/tree-il/effects.scm (compile-time-cond): (define-effects): Make the effects analysis more precise, distinguishing between different kinds of mutable data. On 64-bit systems we take advantage of the additional bits to be even more precise. (make-effects-analyzer): Inline handlers for all "accessor" primitives and their corresponding mutators. * module/language/tree-il/peval.scm (peval): Reflow to remove use of the "accessor-primitive?" predicate. * module/language/tree-il/primitives.scm (accessor-primitive?): Remove.
2013-11-10Effects analysis sees match-error, throw-bad-structs as bailoutsAndy Wingo3-0/+18
* module/language/tree-il/effects.scm (make-effects-analyzer): Allow module-ref calls to be treated as bailouts, if the procedure has the "definite-bailout?" property. Perhaps this should be renamed. * module/ice-9/match.upstream.scm (match-error): * module/srfi/srfi-9.scm (throw-bad-struct): Give these procedures the definite-bailout? property.
2013-11-09Binary search to find procedure properties.Andy Wingo1-12/+12
* module/system/vm/debug.scm (find-program-properties): Use binary search.
2013-11-09Fix RTL linking of procedure properties.Andy Wingo1-1/+1
* module/system/vm/assembler.scm (link-procprops): Fix procedure property embedding in bytecode.
2013-11-09Binary search to find docstrings.Andy Wingo1-19/+21
* module/system/vm/debug.scm (find-program-docstring): Use binary search.
2013-11-09Finding a procedure's arity uses binary searchAndy Wingo2-25/+36
* module/system/vm/assembler.scm (pack-arity-flags): (write-arity-headers): Add a flag to indicate that an arity is part of a case-lambda, so that we can use binary search to find arities. * module/system/vm/debug.scm (is-in-case-lambda?) (arity-is-in-case-lambda?, find-first-arity): Use binary search.
2013-11-09Use binary search in find-elf-symbolAndy Wingo1-18/+24
* module/system/vm/debug.scm (binary-search): New helper. (find-elf-symbol): Use binary search.
2013-11-08Remove stack programs, objcode, and the old VM.Andy Wingo7-62/+19
* libguile/Makefile.am: * libguile/vm-i-loader.c: * libguile/vm-i-scheme.c: * libguile/vm-i-system.c: Remove the old VM files, and the rules to build the .i files. * libguile/vm-engine.c: * libguile/vm.c: Remove the old VM. Woot! * libguile/_scm.h (SCM_OBJCODE_COOKIE, SCM_OBJCODE_ENDIANNESS_OFFSET) (SCM_OBJCODE_WORD_SIZE_OFFSET): Remove. * libguile/evalext.c (scm_self_evaluating_p): Remove objcode and program cases. * libguile/frames.c (scm_frame_num_locals, scm_frame_previous): Remove program cases. * libguile/gc.c (scm_i_tag_name): Remove objcode case. * libguile/goops.c (scm_class_of, create_standard_classes): Remove objcode and program cases. * libguile/instructions.h: * libguile/instructions.c (scm_instruction_list, scm_instruction_p) (scm_instruction_length, scm_instruction_pops, scm_instruction_pushes) (scm_instruction_to_opcode, scm_opcode_to_instruction): Remove old VM code. * libguile/objcodes.h: * libguile/objcodes.c: Remove the objcode data type, and handling for objcode files. * libguile/print.c: Remove objcode and program printers. * libguile/procprop.c: Remove program cases. * libguile/procs.c: * libguile/programs.h: * libguile/programs.c: Remove old program code. * libguile/smob.c: Remove objcodes include. * libguile/snarf.h: Remove static program defines. * libguile/stacks.c: Remove program case. * libguile/tags.h: Remove program and objcode tc7s. * module/ice-9/session.scm (procedure-arguments) * module/language/tree-il/analyze.scm (validate-arity) * module/statprof.scm (get-call-data, procedure=?) * module/system/vm/frame.scm (frame-bindings) (frame-call-representation): Remove old program cases. * module/system/repl/debug.scm (frame->module): Add a FIXME. * module/system/vm/instruction.scm: Remove old exports. * module/system/vm/program.scm: Remove old program code.
2013-11-08Miscellaneous fixups related to objcode removal.Andy Wingo4-7/+5
* module/scripts/compile.scm: Fix --help message. * module/system/repl/command.scm (disassemble): Fix error message. * module/system/vm/frame.scm: Remove objcode import. * module/system/vm/objcode.scm: Remove some exports related to the objcode type.
2013-11-08Remove program-sources-pre-retire case for stack programs.Andy Wingo1-29/+6
* module/system/vm/program.scm (program-sources-pre-retire): Remove stack program case.
2013-11-08Remove (language objcode)Andy Wingo1-51/+0
* module/language/objcode.scm: Remove. Seems to have been unused.