From 57730e743778f9c46778ef5568390db421232e1e Mon Sep 17 00:00:00 2001 From: Patrick Oscar Boykin Date: Tue, 10 Oct 2023 08:15:00 -1000 Subject: [PATCH] Make sure 932 is tested --- .../scala/org/bykn/bosatsu/EvaluationTest.scala | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/core/src/test/scala/org/bykn/bosatsu/EvaluationTest.scala b/core/src/test/scala/org/bykn/bosatsu/EvaluationTest.scala index 850352c11..ad35d7db5 100644 --- a/core/src/test/scala/org/bykn/bosatsu/EvaluationTest.scala +++ b/core/src/test/scala/org/bykn/bosatsu/EvaluationTest.scala @@ -602,6 +602,21 @@ main = fac(6) """)) { case PackageError.KindInferenceError(_, _, _) => () } + + evalFail( + List(""" +package Y +struct W(wf: f[a, b] -> a -> b) + +def apply(w): + W(fn) = w + fn(w) +""")) { + case err@PackageError.TypeErrorIn(_, _) => + val message = err.message(Map.empty, Colorize.None) + assert(message.contains("illegal recursive type or function")) + () + } } test("check type aligned enum") {