- changes to support integration with texpict and slideshow

svn: r587
This commit is contained in:
Greg Cooper 2005-08-12 16:07:40 +00:00
parent 0f3a598bd8
commit 8d82aa0056
4 changed files with 29 additions and 9 deletions

View File

@ -3,6 +3,7 @@
(require (all-except "graphics.ss" make-posn posn-x posn-y make-rgb)
(lifted "graphics.ss" posn-x posn-y make-posn make-rgb)
(lib "match.ss")
(as-is:unchecked (lib "lang-ext.ss" "frtime") lift)
(lib "class.ss")
(lib "list.ss" "frtime")
(lib "etc.ss" "frtime")

View File

@ -16,6 +16,6 @@
(provide value-nowable? behaviorof
(all-from (lib "mzscheme-utils.ss" "frtime"))
(all-from (lib "lang-ext.ss" "frtime"))
(all-from-except (lib "lang-ext.ss" "frtime") lift)
(all-from (lib "frp-snip.ss" "frtime"))
(all-from (lib "ft-qq.ss" "frtime"))))

View File

@ -670,12 +670,7 @@
(exceptions . ==> . (lambda (p) (when (value-now raise-exceptions)
(thread
(lambda () (raise (car p))))))))

View File

@ -40,9 +40,20 @@
(rename (lib "frp-core.ss" "frtime") super-lift super-lift)
(rename (lib "frp-core.ss" "frtime") behavior? behavior?)
(rename (lib "lang-ext.ss" "frtime") undefined undefined)
(rename (lib "lang-ext.ss" "frtime") undefined? undefined?))
(rename (lib "lang-ext.ss" "frtime") undefined? undefined?)
(lib "class.ss"))
(define-syntax (lifted-send stx)
(syntax-case stx ()
[(_ obj meth arg ...)
(with-syntax ([(obj-tmp) (generate-temporaries '(obj))]
[(arg-tmp ...) (generate-temporaries (syntax->list
#'(arg ...)))])
#'(lift #t
(lambda (obj-tmp arg-tmp ...)
(send obj-tmp meth arg-tmp ...))
obj arg ...))]))
(define (list-ref lst idx)
@ -305,7 +316,7 @@
;length
seconds->date
expand syntax-object->datum exn-message continuation-mark-set->list exn-continuation-marks
exn:fail?
exn:fail? regexp-match
list->vector make-vector)
(rename eq? mzscheme:eq?)
@ -342,6 +353,19 @@
syntax
let/ec
with-handlers
unsyntax
current-security-guard
make-security-guard
dynamic-require
path->complete-path
string->path
split-path
current-directory
exit
system-type
lifted-send
unsyntax-splicing
delay
force
random