mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
20 lines
533 B
Plaintext
20 lines
533 B
Plaintext
== empty_missing_type/test.lkt ==
|
|
test.lkt:4:38: error: Missing element type for empty array literal
|
|
4 | @exported fun p(): Array[Bool] = []
|
|
| ^^
|
|
|
|
|
|
== empty_ok/test.lkt ==
|
|
Code generation was successful
|
|
|
|
== multiple_incompatible/test.lkt ==
|
|
test.lkt:4:45: error: Element of type Bool expected, got Example
|
|
4 | @exported fun p(): Array[Bool] = [true, node]
|
|
| ^^^^
|
|
|
|
|
|
== single_ok/test.lkt ==
|
|
Code generation was successful
|
|
|
|
lkt_compile: Done
|