Diagnostic and cause
СсылкаForm is disallowed by the selected profile
- Семейство
- topaz
- Этап
- profile
- Код
TPZ5801
Причина и условия
The agent- profile rejects the canonical std. import with TPZ5801. The test- profile admits that import and call in language mode 5.21.
Действия
Use test- when the task requires its canonical assertion operation, or remove the test-framework use from an agent-pack program.
Compiler phase: profile.
Compiler explanation: The program is valid canonical Topaz, but the selected usage profile narrows this form out of its admitted surface.
Message templates are Pending. The explanation above is not an observed CLI message.
The agent- profile rejects the canonical std. import with TPZ5801. The test- profile admits that import and call in language mode 5.21.
Canonical assertion depends on the selected profile
The agent- profile rejects the canonical std. import with TPZ5801. The test- profile admits that import and call in language mode 5.21.
Response
СсылкаUse test- when the task requires its canonical assertion operation, or remove the test-framework use from an agent-pack program.
Reproduction and verification
СсылкаRejected program
Ссылкаimport std.test { assert }assert(true)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения profile. Ненулевой код завершения.
diagnostic-tpz5801 at
example.tpz:1:8
The required finding points at the std.test import; the call may add another profile finding. Both programs explicitly import assert. Their fixture and invocation identities differ from the old bare-assert candidate, so its receipt is not reused. Successful check stdout is not asserted.
Repaired program
Ссылкаimport std.test { assert }assert(true)
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
The required finding points at the std.test import; the call may add another profile finding. Both programs explicitly import assert. Their fixture and invocation identities differ from the old bare-assert candidate, so its receipt is not reused. Successful check stdout is not asserted.