test: verify trace macro output with file-path-print-length short

Author: sqrew

scripts/run_carp_tests.sh

@@ -103,6 +103,7 @@ printf '%s\n' \
     ./test/produces-output/forward_references.carp \
     ./test/produces-output/explicit_lifetimes.carp \
     ./test/produces-output/repl.carp \
+    ./test/produces-output/trace_assert_check.carp \
     | xargs -n1 -P"$JOBS" -I{} sh -c './test/execute.sh "$1"' _ {}
 
 echo "Actual tests (using the test suite)"

test/output/test/produces-output/trace_assert_check.carp.output.expected

@@ -0,0 +1,3 @@
+trace_assert_check.carp:3:24: (+ 10 20) = 30
+trace_assert_check.carp:4:25: (copy "hello") = @"hello"
+All test assertions passed successfully!

test/produces-output/trace_assert_check.carp

@@ -0,0 +1,9 @@
+(Project.config "file-path-print-length" "short")
+(defn main []
+  (let [x (Debug.trace (+ 10 20))
+        y (Debug.trace @"hello")]
+    (do
+      (assert (= x 30))
+      (assert (= x 30) "x must be 30")
+      (IO.println "All test assertions passed successfully!")
+      ())))