;;; Time-stamp: <2008-03-11 14:26:03 noel>
;;; Copyright (C) 2005 by Noel Welsh.

;;; This library is free software; you can redistribute it
;;; and/or modify it under the terms of the GNU Lesser
;;; General Public License as published by the Free Software
;;; Foundation; either version 2.1 of the License, or (at
;;; your option) any later version.

;;; This library is distributed in the hope that it will be
;;; useful, but WITHOUT ANY WARRANTY; without even the
;;; implied warranty of MERCHANTABILITY or FITNESS FOR A
;;; PARTICULAR PURPOSE.  See the GNU Lesser General Public
;;; License for more details.

;;; You should have received a copy of the GNU Lesser
;;; General Public License along with this library; if not,
;;; write to the Free Software Foundation, Inc., 59 Temple
;;; Place, Suite 330, Boston, MA 02111-1307 USA

;;; Author: Noel Welsh <>
;; Commentary:
(module aif-test mzscheme

  (require (planet "" ("schematics" "schemeunit.plt" 2)))
  (require "")

  (provide aif-tests)

  (define aif-tests
     "All tests for aif"
      "aif works without predicate"
      (aif the 'hello
           (check-eq? the 'hello)
           (fail "Wrong arm called"))
      (aif the #f
           (fail "Wrong arm called")
           (check-false the)))

      "aif works with predicate"
      (aif the number? 1
           (check-eq? the 1)
           (fail "Wrong arm called"))
      (aif the number? 'foo
           (fail "Wrong arm called")
           (check-eq? the 'foo)))