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

sysf-tests: small edit to nqueens test

Browse Source
This commit is contained in:
Stephen Chang 2014-08-19 15:50:26 -04:00
parent c14f4bc705
commit 852dc14a06
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sysf-tests.rkt
View File

@ -155,9 +155,9 @@
(null {Queen})
(first {(Listof Queen)} solns))))))
(check-type-and-result (nqueens 4) : (Listof (Listof Queen)) => (null {(Listof Queens)}))
#;(check-type-and-result (nqueens 6)
: (Listof Queen) => (list {Queen} (Q 1 2)))
(check-type-and-result (nqueens 4)
: (Listof (Listof Queen))
=> (list {Queen} (Q 4 3) (Q 3 1) (Q 2 4) (Q 1 2)))
;; testing for variable capture
(define (polyf {X} [x : X]) : X x)