use #lang and reindent
svn: r15917
This commit is contained in:
parent
70cf9b6d62
commit
d2802e6c2a
|
@ -1,4 +1,3 @@
|
||||||
|
|
||||||
#|
|
#|
|
||||||
|
|
||||||
The EoPL language can almost be specified via info.ss fields, but
|
The EoPL language can almost be specified via info.ss fields, but
|
||||||
|
@ -8,15 +7,16 @@ wraps the load of the module.)
|
||||||
|
|
||||||
|#
|
|#
|
||||||
|
|
||||||
(module eopl-tool mzscheme
|
#lang mzscheme
|
||||||
(require mzlib/unit
|
|
||||||
|
(require mzlib/unit
|
||||||
mzlib/class
|
mzlib/class
|
||||||
drscheme/tool
|
drscheme/tool
|
||||||
string-constants)
|
string-constants)
|
||||||
|
|
||||||
(provide tool@)
|
(provide tool@)
|
||||||
|
|
||||||
(define tool@
|
(define tool@
|
||||||
(unit
|
(unit
|
||||||
(import drscheme:tool^)
|
(import drscheme:tool^)
|
||||||
(export drscheme:tool-exports^)
|
(export drscheme:tool-exports^)
|
||||||
|
@ -57,4 +57,4 @@ wraps the load of the module.)
|
||||||
(define (phase1) (void))
|
(define (phase1) (void))
|
||||||
(define (phase2)
|
(define (phase2)
|
||||||
(drscheme:language-configuration:add-language
|
(drscheme:language-configuration:add-language
|
||||||
(make-object ((drscheme:language:get-default-mixin) language%)))))))
|
(make-object ((drscheme:language:get-default-mixin) language%))))))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user