檢查預期功能

Question

;; snoc : X [Listof Any] -> [Listof Any] 
;; Adds the X to the end of the list 
(define (snoc x l) 
    (cond [(empty? l) (cons x empty)] 
     [else (cons (first l) 
        (snoc x (rest l)))])) 

如上所述，它只是將X添加到列表的末尾。你會如何爲此寫一個簡單的檢查期望函數？

Answer 1

我測試明顯的情況下，例如：

1. 如果我們一個元素添加到空列表會發生什麼？
2. 如果我們添加一個元素到一個元素的列表會發生什麼？
3. 如果我們將元素添加到具有兩個元素的列表中，會發生什麼？

等等。例如，第一個測試看起來像這樣：

(check-expect (snoc 1 '()) '(1))