Mercurial > lasercutter

     1 ;; Test routines for macro_utils.clj

     2 

     3 ;; by Konrad Hinsen

     4 ;; last updated May 6, 2009

     5 

     6 ;; Copyright (c) Konrad Hinsen, 2008. All rights reserved.  The use

     7 ;; and distribution terms for this software are covered by the Eclipse

     8 ;; Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)

     9 ;; which can be found in the file epl-v10.html at the root of this

    10 ;; distribution.  By using this software in any fashion, you are

    11 ;; agreeing to be bound by the terms of this license.  You must not

    12 ;; remove this notice, or any other, from this software.

    13 

    14 (ns clojure.contrib.test-macro-utils

    15   (:use [clojure.test :only (deftest is are run-tests use-fixtures)]

    16 	[clojure.contrib.macro-utils

    17 	 :only (macrolet symbol-macrolet defsymbolmacro with-symbol-macros

    18 		mexpand-1 mexpand mexpand-all)]

    19 	[clojure.contrib.monads

    20 	 :only (with-monad domonad)]))

    21 

    22 (use-fixtures :each

    23   (fn [f] (binding [*ns* (the-ns 'clojure.contrib.test-macro-utils)]

    24 	    (f))))

    25 

    26 (deftest macrolet-test

    27   (is (= (macroexpand-1

    28 	   '(macrolet [(foo [form] `(~form ~form))]  (foo x)))

    29 	 '(do (x x)))))

    30 

    31 (deftest symbol-macrolet-test

    32   (is (= (macroexpand-1

    33 	   '(symbol-macrolet [x xx y yy]

    34               (exp [a y] (x y))))

    35 	 '(do (exp [a yy] (xx yy)))))

    36   (is (= (macroexpand-1

    37 	   '(symbol-macrolet [def foo]

    38               (def def def)))

    39 	 '(do (def def foo))))

    40   (is (= (macroexpand-1

    41 	   '(symbol-macrolet [x foo z bar]

    42 	      (let [a x b y x b] [a b x z])))

    43 	 '(do (let* [a foo b y x b] [a b x bar]))))

    44   (is (= (macroexpand-1

    45 	   '(symbol-macrolet [x foo z bar]

    46 	      (fn ([x y] [x y z]) ([x y z] [x y z]))))

    47 	 '(do (fn* ([x y] [x y bar]) ([x y z] [x y z])))))

    48   (is (= (macroexpand-1

    49 	   '(symbol-macrolet [x foo z bar]

    50 	      (fn f ([x y] [x y z]) ([x y z] [x y z]))))

    51 	 '(do (fn* f ([x y] [x y bar]) ([x y z] [x y z])))))

    52   (is (= (nth (second (macroexpand-1

    53 		       '(symbol-macrolet [x xx y yy z zz]

    54 			  (domonad m [a x b y x z] [a b x z])))) 2)

    55 	 '(do (m-bind xx (fn* ([a]

    56 	      (m-bind yy (fn* ([b]

    57 	      (m-bind zz (fn* ([x]

    58 	      (m-result [a b x zz]))))))))))))))

    59 

    60 (deftest symbol-test

    61   (defsymbolmacro sum-2-3 (plus 2 3))

    62   (is (= (macroexpand '(with-symbol-macros (+ 1 sum-2-3)))

    63 	 '(do (+ 1 (plus 2 3)))))

    64   (is (= (macroexpand '(macrolet [(plus [a b] `(+ ~a ~b))] (+ 1 sum-2-3)))

    65 	 '(do (+ 1 (clojure.core/+ 2 3)))))

    66   (ns-unmap *ns* 'sum-2-3))

    67
author	Robert McIntyre <rlm@mit.edu>
date	Sat, 21 Aug 2010 06:25:44 -0400
parents
children