From 335e4aad846f15072000dac75ce1aa6dced22a7b Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 11 Dec 2025 18:08:39 +0100 Subject: [PATCH] Disallow block parameters on extern forever --- effekt/shared/src/main/scala/effekt/machine/Transformer.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/effekt/shared/src/main/scala/effekt/machine/Transformer.scala b/effekt/shared/src/main/scala/effekt/machine/Transformer.scala index e8b7763c9..bc59385e2 100644 --- a/effekt/shared/src/main/scala/effekt/machine/Transformer.scala +++ b/effekt/shared/src/main/scala/effekt/machine/Transformer.scala @@ -53,7 +53,7 @@ object Transformer { def transform(extern: core.Extern)(using BlocksParamsContext, ErrorReporter): Declaration = extern match { case core.Extern.Def(name, tps, cparams, vparams, bparams, ret, capture, body) => - if bparams.nonEmpty then ErrorReporter.abort("Foreign functions currently cannot take block arguments.") + if bparams.nonEmpty then ErrorReporter.abort("Foreign functions cannot take block arguments.") val transformedParams = vparams.map(transform) noteDefinition(name, transformedParams, Nil)