test: add unit test for recursion during lookup

hsutter · Oct 31, 2023 · 4900c6c · 4900c6c
1 parent b84312e
commit 4900c6c
Show file tree

Hide file tree

Showing 4 changed files with 45 additions and 0 deletions.
diff --git a/regression-tests/pure2-bugfix-for-dependent-types-recursion.cpp2 b/regression-tests/pure2-bugfix-for-dependent-types-recursion.cpp2
@@ -0,0 +1,6 @@
+main: () = {
+  a: type == b;
+  b: type == a;
+  _ = a::t;
+  _ = b::t;
+}
diff --git a/regression-tests/test-results/gcc-13/pure2-bugfix-for-dependent-types-recursion.cpp.output b/regression-tests/test-results/gcc-13/pure2-bugfix-for-dependent-types-recursion.cpp.output
@@ -0,0 +1,13 @@
+/home/johel/tmp/cppfront/GCCDebug/regression-tests/pure2-bugfix-for-dependent-types-recursion/build/_cppfront/pure2-bugfix-for-dependent-types-recursion.cpp: In function ‘int main()’:
+/home/johel/tmp/cppfront/GCCDebug/regression-tests/pure2-bugfix-for-dependent-types-recursion/build/_cppfront/pure2-bugfix-for-dependent-types-recursion.cpp:19:13: error: ‘b’ does not name a type
+   19 |   using a = b;
+      |             ^
+/home/johel/tmp/cppfront/GCCDebug/regression-tests/pure2-bugfix-for-dependent-types-recursion/build/_cppfront/pure2-bugfix-for-dependent-types-recursion.cpp:20:13: error: ‘a’ does not name a type
+   20 |   using b = a;
+      |             ^
+/home/johel/tmp/cppfront/GCCDebug/regression-tests/pure2-bugfix-for-dependent-types-recursion/build/_cppfront/pure2-bugfix-for-dependent-types-recursion.cpp:21:21: error: ‘a’ has not been declared
+   21 |   static_cast<void>(a::t);
+      |                     ^
+/home/johel/tmp/cppfront/GCCDebug/regression-tests/pure2-bugfix-for-dependent-types-recursion/build/_cppfront/pure2-bugfix-for-dependent-types-recursion.cpp:22:21: error: ‘b’ has not been declared
+   22 |   static_cast<void>(b::t);
+      |                     ^
diff --git a/regression-tests/test-results/pure2-bugfix-for-dependent-types-recursion.cpp b/regression-tests/test-results/pure2-bugfix-for-dependent-types-recursion.cpp
@@ -0,0 +1,24 @@
+
+#define CPP2_IMPORT_STD          Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+auto main() -> int;
+
+
+//=== Cpp2 function definitions =================================================
+
+auto main() -> int{
+  using a = b;
+  using b = a;
+  static_cast<void>(a::t);
+  static_cast<void>(b::t);
+}
+
diff --git a/regression-tests/test-results/pure2-bugfix-for-dependent-types-recursion.cpp2.output b/regression-tests/test-results/pure2-bugfix-for-dependent-types-recursion.cpp2.output
@@ -0,0 +1,2 @@
+pure2-bugfix-for-dependent-types-recursion.cpp2... ok (all Cpp2, passes safety checks)
+
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		pure2-bugfix-for-dependent-types-recursion.cpp2... ok (all Cpp2, passes safety checks)