added test for rename-bound-variables with inlining

coalton-lang · Jan 17, 2025 · c1d776b · c1d776b
1 parent e1c593f
commit c1d776b
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/inliner-tests.lisp b/tests/inliner-tests.lisp
@@ -6,3 +6,17 @@
   ;; See gh #1202
   (is (== 1 (1+
              ((fn (x) (return x)) 0)))))
+
+(in-package #:coalton-tests)
+
+;; See gh #1293
+(deftest test-inliner-rename-bound-variables ()
+  (check-coalton-types
+   "(declare f (Integer -> Integer))
+    (define (f n)
+      (when (== n 0)
+        (return 0))
+      (when (== n 1)
+        (return 1))
+      (+ (f (- n 1))
+         (f (- n 2))))"))