~jojo/Carth

58767c2f0219d1ddd55348dc418f05b87007fafd — JoJo 1 year, 4 months ago 8ea6ddf
Add test case for loop bug related to recursive data

Unfixed
1 files changed, 9 insertions(+), 0 deletions(-)

A test/tests/bad/data-direct-recursion-loop-bug.carth
A test/tests/bad/data-direct-recursion-loop-bug.carth => test/tests/bad/data-direct-recursion-loop-bug.carth +9 -0
@@ 0,0 1,9 @@
;; RecTypeDef

;; Correctly returns error
;; (data B (C A))
;; (data A (D A))

;; Infinite loop in type checker (?)
(data A (C B))
(data B (D B))