서명 또는 구조에 대해 SML/NJ REPL에 질의 하시겠습니까?

Question

signature 또는 structure의 목록을 SML/NJ REPL의 최상위 환경에서 사용할 수 있습니까? sml 소스 디렉토리의 sources.cm 파일에 정의 된 것처럼 보이는 서명/구조 목록을 얻으려고합니다.

- signature s = LIST; 

의 줄을 따라 뭔가가 최상위 환경의 바인딩을 대신 나열합니다.

fun boundSignatures() = 
    let 
    fun isSignature symbol = Symbol.nameSpace symbol = Symbol.SIGspace 
    val signatures = List.filter isSignature (EnvRef.listBoundSymbols()) 
    in 
    List.app (fn s => print (Symbol.name s^"\n")) signatures 
    end 

이 EnvRef.listBoundSymbols는 사용할 수 있지만 아직하지 않은 모듈에 대한 기호 이름을 반환하지 않습니다 때문에 자동 로딩에 유의하시기 바랍니다 :

Answer 1

당신은 SML/NJ가 제공하는 internal structures를 사용할 수있다 로드되었습니다 :

- boundSignatures(); 
ENVREF 
val it =() : unit 
- signature S = STATICENV; 
[autoloading] 
[autoloading done] 
- boundSignatures(); 
STATICENV 
ENVREF 
S 
val it =() : unit