commit changed before moving (I really should have done this on a branch)
svn: r5398
This commit is contained in:
parent
8fd3137117
commit
2b78c44c4c
|
@ -32,4 +32,6 @@ The edit.ss module exports the following function.
|
|||
|
||||
_wxme.ss_
|
||||
|
||||
Reader syntax for PLT graphical format.
|
||||
#reader support for PLT graphical format. See also the "wxme"
|
||||
sub-collection of the "mred" collection.
|
||||
|
||||
|
|
|
@ -2,6 +2,6 @@
|
|||
(module wxme mzscheme
|
||||
(require "wxme/wxme.ss")
|
||||
|
||||
(provide (rename wxme:read read)
|
||||
(rename wxme:read-syntax read-syntax)))
|
||||
(provide (rename wxme-read read)
|
||||
(rename wxme-read-syntax read-syntax)))
|
||||
|
||||
|
|
|
@ -1,4 +1,22 @@
|
|||
|
||||
_wxme.ss_
|
||||
_wxme.ss_ in mred/wxme
|
||||
|
||||
Utilities for reading PLT graphical format files without MrEd.
|
||||
|
||||
> (wxme-port->port input-port [snip-filter-proc-or-false])
|
||||
|
||||
If `snip-filter-proc-or-false' is #f, then the generated port is pure
|
||||
text. Otherwise, the generated port may return "special" values for
|
||||
non-text items in the original stream.
|
||||
|
||||
> (wxme-read port)
|
||||
|
||||
Like `read', but for a WXME format input stream.
|
||||
|
||||
> (wxme-read-syntax source-v port)
|
||||
|
||||
Like `read-syntax', but for a WXME format input stream.
|
||||
|
||||
> prop:readable
|
||||
|
||||
A property for a structure representation of a snip.
|
||||
|
|
|
@ -575,10 +575,10 @@
|
|||
[(special-comment? v) (loop accum)]
|
||||
[else (loop (cons v accum))]))))))))))
|
||||
|
||||
(define (wxme:read port)
|
||||
(define (wxme-read port)
|
||||
(do-read port 'read read))
|
||||
|
||||
(define (wxme:read-syntax source-name-v port)
|
||||
(define (wxme-read-syntax source-name-v port)
|
||||
(do-read port 'read-syntax
|
||||
(lambda (port)
|
||||
(read-syntax source-name-v port))))
|
||||
|
@ -587,6 +587,6 @@
|
|||
register-lib-mapping!
|
||||
unknown-extensions-skip-enabled
|
||||
prop:readable
|
||||
wxme:read
|
||||
wxme:read-syntax))
|
||||
wxme-read
|
||||
wxme-read-syntax))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user