This commit is contained in:
Justin Ethier 2016-02-03 03:20:52 -05:00
parent 6f97d019ad
commit 9f1de7dd1d

View file

@ -1,7 +1,8 @@
;; A temporary test file ;; A temporary test file
(import (scheme base) (import (scheme base)
(scheme write) (scheme write)
(srfi 9)) (srfi 9)
)
;((lambda () ;((lambda ()
; ;
@ -23,7 +24,7 @@
;)) ;))
;)) ;))
;(define <pare> (register-simple-type <pare> #f (quote (x y)))) (define <pare> (register-simple-type <pare> #f (quote (x y))))
;(define pare? vector?) ;(make-type-predicate pare? <pare>)) ;(define pare? vector?) ;(make-type-predicate pare? <pare>))
;(define kons ;(define kons
; ((lambda (%make) ; ((lambda (%make)
@ -34,11 +35,11 @@
; res) ; res)
; (%make)))) ; (%make))))
; (make-constructor "kons" <pare>))) ; (make-constructor "kons" <pare>)))
(write ;(write
; (list ; (list
; (pare? (kons 1 2)) ; (pare? (kons 1 2))
(pair? (cons 1 2)) ; (pare? (cons 1 4))
);) ;))
;(define (make-lambda) ;(define (make-lambda)
; (lambda (a b c) (write (+ a b c)))) ; (lambda (a b c) (write (+ a b c))))