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

fix some 'unit' tests

Browse Source 
svn: r9680
This commit is contained in:
Matthew Flatt 2008-05-06 11:48:46 +00:00
parent 7a6642a9a8
commit d597605d24
2 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/units/test-unit-compiletime.ss
View File

@ -1,5 +1,5 @@
(require-for-syntax (lib "unit-compiletime.ss" "mzlib" "private")
(lib "unit-syntax.ss" "mzlib" "private"))
(require (for-syntax (lib "unit-compiletime.ss" "mzlib" "private")
(lib "unit-syntax.ss" "mzlib" "private")))
(require "test-harness.ss"
(lib "unit-compiletime.ss" "mzlib" "private")
(lib "unit-keywords.ss" "mzlib" "private")

15
collects/tests/units/test-unit.ss
View File

@ -1,8 +1,8 @@
(require-for-syntax (lib "unit-compiletime.ss" "mzlib" "private")
(lib "unit-syntax.ss" "mzlib" "private"))
(require (for-syntax (lib "unit-compiletime.ss" "mzlib" "private")
(lib "unit-syntax.ss" "mzlib" "private")))
(require "test-harness.ss"
;unit
mzlib/unit)
scheme/unit)
(define-syntax (lookup-sig-mac stx)
(parameterize ((error-syntax stx))
@ -1153,7 +1153,6 @@
(test-syntax-error "struct: bad omission"
(define-signature x ((struct n () x))))
(require mzlib/plt-match)
(let ()
(define-signature sig ((struct s (x y))))
(test 3
@ -1182,21 +1181,21 @@
(test #t (s? (make-s 1))))
(let ((set-s-x! 1))
(define-signature sig ((struct s (x y) -setters)))
(define-signature sig ((struct s (x y))))
(test 1
(invoke-unit
(compound-unit (import) (export)
(link (((S : sig)) (unit (import) (export sig) (define-struct s (x y))))
(() (unit (import sig) (export)
set-s-x!) S))))))
(let ((s-x 1))
(define-signature sig ((struct s (x y) -selectors)))
(let ((make-s 1))
(define-signature sig ((struct s (x y) #:omit-constructor)))
(test 1
(invoke-unit
(compound-unit (import) (export)
(link (((S : sig)) (unit (import) (export sig) (define-struct s (x y))))
(() (unit (import sig) (export)
s-x) S)))))))
make-s) S)))))))
;; Dependencies