suzanne.soy/compatibility
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

.

Browse Source 
original commit: 397f18f96fd9b678fedebf82e18afda74fac09a5
This commit is contained in:
Matthew Flatt 2001-09-17 13:13:00 +00:00
parent 1079b0bc6b
commit 9febfd917a
2 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/mzscheme/unit.ss
View File

@ -183,7 +183,9 @@
(import struct:a a?)
(export x? make-x x-z both)
(define-struct (x struct:a) (y z))
(define-syntax a (list #'struct:a #f #'a? (list #f) (list #f)))
(define-struct (x a) (y z))
(define both (lambda (v)
(and (a? v) (x? v))))))
@ -440,7 +442,7 @@
(define-struct d (w)))
(define x '...)
(define-struct (e struct:d) ())
(define-struct (e d) ())
(set! x (cons c c))
(define i (interface ()))

14
collects/tests/mzscheme/unitsig.ss
View File

@ -250,7 +250,7 @@
; More:
(define-signature m2-1-lite^
(x struct:a v y))
(xx struct:a v y))
(define-signature m2-1^
(a?
@ -264,7 +264,7 @@
m2-1^
(import)
(define x 5)
(define xx 5)
(define-struct a (b c) (make-inspector))
(define v (make-a 5 6))
(define (y v) (a? v))))
@ -274,7 +274,9 @@
m2-2^
(import m2-1^)
(define-struct (x struct:a) (y z))
(define-syntax a (list #'struct:a #f #f (list #f) (list #f)))
(define-struct (x a) (y z))
(define both (lambda (v)
(and (a? v) (x? v))))))
@ -309,15 +311,15 @@
(import (i : m2-3^))
(display (map
filter
(list i:one@:x i:one@:v i:one@:struct:a i:one@:y
(list i:one@:xx i:one@:v i:one@:struct:a i:one@:y
i:two@:make-x i:two@:x? i:two@:x-z i:two@:both
i:a?-again))
p)
(let ([v2 (i:two@:make-x 1 2 3 4)])
(display (map
filter
(list i:one@:x (struct-type? i:one@:struct:a)
i:one@:v (i:one@:y i:one@:v) (i:one@:y i:one@:x)
(list i:one@:xx (struct-type? i:one@:struct:a)
i:one@:v (i:one@:y i:one@:v) (i:one@:y i:one@:xx)
v2
(i:one@:y v2)
(i:two@:x? v2)