이 순서로 생각하세요
- E300–E340은 바인딩되지 않은 이름, 적용, 인자 수, 대입, 쌍·범위·타입·수치 오류, 값 컨텍스트, letrec, 사용자 오류, 예외 흐름, 만료된 탈출을 다룹니다.
- E1xx는 리더·정적 정규화, W2xx·W3xx는 순서 있는 경고에 속합니다.
- ResourceLimit은 잡을 수 있는 E3xx 밖에 일부러 두었습니다. 별도 결과로 보고합니다.
안정 런타임 코드
| 코드 | 조건 | 단계 / catch 가능 |
|---|---|---|
| E300 / E303 | 미바인딩 읽기 / 미바인딩 set! | 런타임 / catch 가능 |
| E301 / E302 | 비프로시저 적용 / 인자 수 불일치 | 런타임 / catch 가능 |
| E310 / E311 / E312 | 쌍·리스트 도메인 / 범위·인덱스 / 기본 타입 | 런타임 / catch 가능 |
| E313 / E314 | 0 나눗셈 / 비유한 생성 | 런타임 / catch 가능 |
| E320 / E321 | 값 개수 오용 / 미초기화 letrec 읽기 | 런타임 / catch 가능 |
| E330 / E331 / E332 | 사용자 오류 / 미처리 raise / 비연속 핸들러 반환 | 런타임 / 신호별 |
| E340 | 탈출 연속이 더 이상 활성 아님 | 런타임 / 소비 후 catch 가능 오류 |
| W330 | 폐기 예정 % 호출, modulo 권장 | 런타임 경고 / 소스 호출 위치마다 한 번 |
| W331 | 폐기 예정 list-first·list-rest 호출, first·rest 권장 | 런타임 경고 / 소스 호출 위치마다 한 번 |
| ResourceLimit | 선언된 재귀·자원 상한 | 자원 / E3xx로 catch 불가 |
흔한 오해
코드가 안정 계약인 자리는 런타임의 단일 기준 정의가 고정한 곳뿐입니다.
다음으로
실행 중인 프로그램에서 진단을 읽는 법은 매뉴얼에, 규칙이 진단에서 회복하는 법은 가이드에 있습니다.