From 852dc14a0658d2286e44b5a3666d74099192832f Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 19 Aug 2014 15:50:26 -0400 Subject: [PATCH] sysf-tests: small edit to nqueens test --- sysf-tests.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sysf-tests.rkt b/sysf-tests.rkt index 7d2bfe9..9c7e02e 100644 --- a/sysf-tests.rkt +++ b/sysf-tests.rkt @@ -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)