Diagnostic and cause
링크Type alias cycle
- 계열
- topaz
- 단계
- check
- 코드
TPZ5023
원인과 조건
Transparent type aliases must normalize without a cycle.
관련 규칙 · Type alias cycle →대응
Remove the cycle or introduce a nominal record, enum, or newtype boundary that expresses the intended data structure.
Compiler phase: check.
Compiler explanation: A type alias expands back to itself through one or more aliases.
Message templates are Pending. The explanation above is not an observed CLI message.
Transparent type aliases must normalize without a cycle.
Type alias cycle
Transparent type aliases must normalize without a cycle.
Response
링크Remove the cycle or introduce a nominal record, enum, or newtype boundary that expresses the intended data structure.
Reproduction and verification
링크Rejected program
링크type First = Secondtype Second = Firstlet value: First = 1
표준 출력 없음.기대 결과
The intended rejection is recorded as an implementation limitation. A current SELF producer does not establish the diagnostic source location, so that location remains Pending.
Repaired program
링크type First = inttype Second = Firstlet value: First = 1
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.
The intended rejection is recorded as an implementation limitation. A current SELF producer does not establish the diagnostic source location, so that location remains Pending.