Thinking some ideas out.

hy/core/bootstrap.py

@@ -0,0 +1,27 @@
+# Copyright (c) 2012 Paul Tagliamonte <paultag@debian.org>
+#
+# Permission is hereby granted, free of charge, to any person obtaining a
+# copy of this software and associated documentation files (the "Software"),
+# to deal in the Software without restriction, including without limitation
+# the rights to use, copy, modify, merge, publish, distribute, sublicense,
+# and/or sell copies of the Software, and to permit persons to whom the
+# Software is furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in
+# all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
+# THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+# DEALINGS IN THE SOFTWARE.
+
+
+from hy.macros import macro
+
+
+@macro("noop")
+def noop_macro(tree):
+    return tree

hy/macros.py

@@ -0,0 +1,53 @@
+# Copyright (c) 2012 Paul Tagliamonte <paultag@debian.org>
+#
+# Permission is hereby granted, free of charge, to any person obtaining a
+# copy of this software and associated documentation files (the "Software"),
+# to deal in the Software without restriction, including without limitation
+# the rights to use, copy, modify, merge, publish, distribute, sublicense,
+# and/or sell copies of the Software, and to permit persons to whom the
+# Software is furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in
+# all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
+# THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+# DEALINGS IN THE SOFTWARE.
+
+from hy.models.expression import HyExpression
+from hy.models.list import HyList
+
+_hy_macros = {}
+
+
+def macro(name):
+    def _(fn):
+        _hy_macros[name] = fn
+
+        def __(*args, **kwargs):
+            return fn(*args, **kwargs)
+        return __
+    return _
+
+
+def process(tree):
+    if isinstance(tree, HyExpression):
+        it = iter(tree)
+        fn = it.next()
+
+        body = [process(x) for x in it]
+
+        if fn in _hy_macros:
+            m = _hy_macros[fn]
+            return m(HyExpression([fn] + body))
+
+        return [fn] + body
+
+    if isinstance(tree, HyList):
+        return HyList([process(x) for x in tree])
+
+    return tree

tests/macros/test_macro_processor.py

@@ -0,0 +1,33 @@
+
+from hy.macros import macro, process
+
+from hy.models.expression import HyExpression
+from hy.models.string import HyString
+from hy.models.symbol import HySymbol
+from hy.models.list import HyList
+
+
+@macro("test")
+def tmac(tree):
+    """ Turn an expression into a list """
+    return HyList(tree[1:])
+
+
+def test_preprocessor_simple():
+    """ Test basic macro expantion """
+    obj = process(HyExpression(["test", "one", "two"]))
+    assert obj == HyList(["one", "two"])
+    assert type(obj) == HyList
+
+
+def test_preprocessor_expression():
+    """ Test inner macro expantion """
+    obj = process(HyExpression([HySymbol("test"),
+                                HyExpression([HySymbol("test"),
+                                              HyString("one"),
+                                              HyString("two")])]))
+
+    assert type(obj) == HyList
+    assert type(obj[0]) == HyList
+
+    assert obj[0] == HyList([HyString("one"), HyString("two")])

tests/native_tests/language.hy

@@ -4,3 +4,11 @@
 (def test_lists (fn []
   "NATIVE: test lists work right"
   (assert (= [1 2 3 4] (+ [1 2] [3 4])))))
+
+
+(def test_for_loop (fn []
+  "NATIVE: test for loops?"
+  (def count 0)
+  (for [x [1 2 3 4 5]]
+    (def count (+ count x)))
+  (assert (= count 15))))