From 5b5955f732890eacd1955f94b08dd3ac07c0ba18 Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Sat, 11 Jul 2015 22:02:49 -0700 Subject: [PATCH] Add example use of lens law testing --- lens/list/car-cdr.rkt | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/lens/list/car-cdr.rkt b/lens/list/car-cdr.rkt index 4016316..3a17bca 100644 --- a/lens/list/car-cdr.rkt +++ b/lens/list/car-cdr.rkt @@ -7,7 +7,8 @@ (require "../base/main.rkt") (module+ test - (require rackunit)) + (require rackunit + "../test-util/test-lens.rkt")) (define (set-car pair v) @@ -20,5 +21,10 @@ (define cdr-lens (make-lens cdr set-cdr)) (module+ test - (check-equal? (lens-view car-lens '(1 . 2)) 1) - (check-equal? (lens-view cdr-lens '(1 . 2)) 2)) + (check-view car-lens '(1 . 2) 1) + (check-set car-lens '(1 . 2) 'a '(a . 2)) + (test-lens-laws car-lens '(1 . 2) 'a 'b) + + (check-view cdr-lens '(1 . 2) 2) + (check-set cdr-lens '(1 . 2) 'a '(1 . a)) + (test-lens-laws cdr-lens '(1 . 2) 'a 'b))