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

Unit tests

Browse Source
This commit is contained in:
Jay McCarthy 2010-04-26 15:44:20 -06:00
parent 33583fd5ca
commit 8cbfe949be
1 changed files with 44 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
collects/tests/schelog/unit.rkt
View File

@ -60,7 +60,7 @@
(%more) => #f (%more) => #f
(%which () (%=:= 'a 'a)) => #f (%which () (%=:= 'a 'a)) => #f
(%which () (%=:= 1 2)) => #f (%which () (%=:= 1 2)) => #f
(%which () (%== 1 1)) => empty (%which () (%== 1 1)) => empty
(%more) => #f (%more) => #f
(%which (x) (%== x x)) => `((x . _)) (%which (x) (%== x x)) => `((x . _))
@ -121,7 +121,7 @@
(%more) => `([y . 1]) (%more) => `([y . 1])
(%more) => `([y . 3]) (%more) => `([y . 3])
(%more) => #f)) (%more) => #f))
(%which (y) (%let (x) (%bag-of x (%or (%= x 1) (%= x 1) (%= x 2)) y))) => `([y . (1 1 2)]) (%which (y) (%let (x) (%bag-of x (%or (%= x 1) (%= x 1) (%= x 2)) y))) => `([y . (1 1 2)])
(%more) => #f (%more) => #f
; XXX I don't know a program that would get these outputs ; XXX I don't know a program that would get these outputs
@ -156,7 +156,8 @@
(%which () (%constant empty)) => empty (%which () (%constant empty)) => empty
(%more) => #f (%more) => #f
; XXX %copy (%which (x) (%let (y) (%and (%copy x y) (%= y 1)))) => `([x . _])
(%more) => #f
! =error> "syntactically" ! =error> "syntactically"
@ -175,9 +176,41 @@
(%which () %fail) => #f (%which () %fail) => #f
; XXX %free-vars ; %free-vars example from documentation
(local [(define %knows
(%rel ()
[('Odysseus 'TeX)]
[('Odysseus 'Scheme)]
[('Odysseus 'Prolog)]
[('Odysseus 'Penelope)]
[('Penelope 'TeX)]
[('Penelope 'Prolog)]
[('Penelope 'Odysseus)]
[('Telemachus 'TeX)]
[('Telemachus 'calculus)]))]
(test (%which (someone things-known)
(%let (x)
(%set-of x (%knows someone x)
things-known)))
=>
`((someone . _) (things-known TeX Scheme Prolog Penelope Odysseus calculus))
(%more) => #f
(%which (someone things-known)
(%let (x)
(%bag-of x
(%free-vars (someone)
(%knows someone x))
things-known)))
=>
`((someone . Odysseus) (things-known TeX Scheme Prolog Penelope))
(%more) =>
`((someone . Penelope) (things-known TeX Prolog Odysseus))
(%more) =>
`((someone . Telemachus) (things-known TeX calculus))
(%more) =>
#f))
; XXX %freeze (%which (x) (%let (y) (%and (%freeze x y) (%nonvar y)))) => `([x . _])
(%which () (%if-then-else %true %true %true)) => empty (%which () (%if-then-else %true %true %true)) => empty
(%more) => #f (%more) => #f
@ -193,9 +226,11 @@
(%which () (%let (x) (%= x x))) => empty (%which () (%let (x) (%= x x))) => empty
(%more) => #f (%more) => #f
; XXX %melt (%which (x) (%let (y z) (%and (%freeze x y) (%melt y z) (%= z 1)))) => `([x . 1])
(%more) => #f
; XXX %melt-ne (%which (x) (%let (y z) (%and (%freeze x y) (%melt-new y z) (%= z 1)))) => `([x . _])
(%more) => #f
(%which () (%member 3 (list 1 2 3))) => empty (%which () (%member 3 (list 1 2 3))) => empty
(%more) => #f (%more) => #f
@ -230,7 +265,7 @@
(let ([rel (%rel () [(1) !] [(1) (%repeat)])]) (let ([rel (%rel () [(1) !] [(1) (%repeat)])])
(test (%which () (rel 1)) => empty (test (%which () (rel 1)) => empty
(%more) => #f)) (%more) => #f))
(local [(define (many-%more n) (local [(define (many-%more n)
(if (zero? n) (if (zero? n)
empty empty
@ -245,7 +280,7 @@
(parameterize ([use-occurs-check? #t]) (parameterize ([use-occurs-check? #t])
(%which () (%let (x) (%= x (cons 1 x))))) (%which () (%let (x) (%= x (cons 1 x)))))
=> #f => #f
(%which (y) (%let (x) (%set-of x (%or (%= x 1) (%= x 1) (%= x 2)) y))) => `([y . (1 2)]) (%which (y) (%let (x) (%set-of x (%or (%= x 1) (%= x 1) (%= x 2)) y))) => `([y . (1 2)])
(%more) => #f (%more) => #f
; XXX I don't know a program that would get these outputs ; XXX I don't know a program that would get these outputs