Proper 'assert' macro that reports source location.

core/Debug.carp

@@ -29,11 +29,13 @@
       (IO.println &(str &x))
       x))
 
-  ;; TODO: Should be a macro and provide the location of the assertion.
-  ;; Also its output looks weird because of lack of 'prn'.
-  (defn assert-eq [expected got]
-    (if (= expected got)
-      ()
-      (println* "ASSERTION FAILED! Expected " expected " but got " got)))
-
   )
+
+(defmacro assert [expr]
+  (list 'if (list '= true expr)
+        ()
+        (list 'do
+              (list 'IO.println (list 'ref
+                                      (list 'String.append (list 'String.copy "Assertion failed ")
+                                            (list 'String.copy (source-location)))))
+              '(System.exit 1))))

examples/temp.carp

@@ -6,3 +6,9 @@
 ;; (defn f []
 ;;   (for [n 1.4f 123.2f] ;; Should report error here, not in Macros.carp
 ;;     ()))
+
+(defn f [x]
+  (assert x))
+
+(defn main []
+  (f false))

test/init_global.carp

@@ -8,4 +8,4 @@
 
 ;; The one allocation left after 'carp_init_globals' should be 'g' itself:
 (defn main []
-  (Debug.assert-eq 1l (Debug.memory-balance)))
+  (assert (= 1l (Debug.memory-balance))))