사용자 정의 sml 접미사에 대한 화이트리스트 또는 블랙리스트가 있습니까?

Question

infix 3 .. 오류가 발생했습니다. 커스텀 삽입을 정의 할 수있는 문자는 무엇입니까? 온라인으로 목록을 어디에서 찾을 수 있습니까?

감사합니다.

Answer 1

정규화되지 않은 식별자를 삽입 할 수 있습니다. 다음은

다음

코어에 사용 예약어있는 SML 90 '로 정의된다. 식별자로 사용할 수는 없습니다 (= 제외).

abstype and andalso as case do datatype else 
end exception fn fun handle if in infix 
infixr let local nonfix of op open orelse 
raise rec then type val with withtype while 
() [ ] { } , : ; ... _ | = => -> # 

....

식별자는 하나 영숫자 : 문자의 임의의 시퀀스 숫자 또는 문자로 시작하거나 프라임 (') 및 언더 (_) 소수 또는 기호 : 다음 중 비어 있지 않은 모든 시퀀스 기호 :

! % & # + -/: <=> ? @ \ ~ '^| * 

그러나 예약어는 제외됩니다. 즉, 예를 들어 및 | 식별자가 아니지만 ## 및 | = | 식별자입니다. 이 규칙의 유일한 예외는 기호 =, 예약어 인 도 동일어 술어에 대해 인 식별자로 허용된다는 것입니다.