Files
Pierre-Marie de Rodat 259a1317dc CompiledType.dsl_name: switch to Lkt notations
Also rename `dsl_*` properties, attributes, arguments, ... to `lkt_*`
for consistency.
2025-04-04 09:55:05 +00:00

12 lines
519 B
Plaintext

== foo.lkt ==
foo.lkt:12:15: error: return type is Array[Example], an array of bare AST nodes, which is forbidden in public API
12 | @exported fun array_of_nodes(): Array[Example] = node.singleton()
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
foo.lkt:14:15: error: return type is Array[Array[Example]], an array of arrays, which is forbidden in public API
14 | @exported fun array_of_arary(): Array[Array[Example]] =
| ^^^^^^^^^^^^^^^^^^^^^^
lkt_compile: Done