Hi everyone,
I'm trying to use the following to get the bytecodes for a non-module
interaction:
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
#lang racket/base
(define (get-interaction-bytecode x #:language-module
(language-module 'racket/base))
(let ([module-namespace
(parameterize ([current-namespace (make-base-empty-namespace)])
(dynamic-require language-module #f)
(module->namespace language-module))])
(parameterize ([current-namespace module-namespace])
(serialize-compiled-code
(compile (namespace-syntax-introduce
(datum->syntax #f (cons '#%top-interaction x))))))))
;; serialize-compiled-code: compiled-code -> bytes
(define (serialize-compiled-code a-compiled-code)
(let ([op (open-output-bytes)])
(write a-compiled-code op)
(get-output-bytes op)))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
I have a separate, restricted language called wescheme-interaction.rkt
that doesn't provide a 'require' special form:
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
#lang s-exp "base.rkt"
(require "wescheme.rkt")
(provide (except-out (all-from-out "wescheme.rkt")
require))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
When I compile simple interactions, I get the expected bytecode:
> (get-interaction-bytecode '(printf "hello world\n") #:language-module '(file
> "/home/dyoo/work/js-vm/lang/wescheme-interaction.rkt"))
#"#~\0055.0.1\1\0\0\0\1\0\0\0\0\332\0\0\0\237%\24i\237$\20\1\36\35\6\n\nkernel.rkt\35\6\b\bbase.rkt\35\6\f\fwescheme.rkt\35^@file\00633/home/dyoo/work/js-vm/lang/wescheme-interaction.rkt\vBprintf\224\3\20\0\24\16\237\1'moby-stack-record-continuation-mark-key\25\20\6^BsyntaxDoperator\6\2\2#f\v\v\v$\370P\237%$&\6\f\fhello
world\n"
This actually looks ok. However, when I try to get the system to
properly error out when the user tries to pass in a 'require',
(get-interaction-bytecode '(require racket) #:language-module
'(file "/home/dyoo/work/js-vm/lang/wescheme-interaction.rkt"))
then I don't get the expected error: it looks like it just uses
require, even though I've excluded it from my language.
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
