add read-language, module-compiled-language-info, and module->language-info

svn: r11827

original commit: dd7db9ff7b
This commit is contained in:
Matthew Flatt 2008-09-21 16:00:42 +00:00
commit 42ec054ab9

View File

@ -194,7 +194,7 @@
(define (read-module v) (define (read-module v)
(match v (match v
[`(,name ,self-modidx ,functional? ,et-functional? [`(,name ,self-modidx ,lang-info ,functional? ,et-functional?
,rename ,max-let-depth ,dummy ,rename ,max-let-depth ,dummy
,prefix ,kernel-exclusion ,reprovide-kernel? ,prefix ,kernel-exclusion ,reprovide-kernel?
,indirect-provides ,num-indirect-provides ,protects ,indirect-provides ,num-indirect-provides ,protects