Запросить SML/NJ REPL для подписей или структур?

Question

Есть ли способ получить список signature s или structure s, доступных в среде верхнего уровня из SML/NJ REPL? Я ищу, чтобы получить список сигнатур/структур, которые, как представляется, определены в файлах sources.cm в каталоге источника sml. Что-то вроде линий

- signature s = LIST; 

только перечисление привязок в среде верхнего уровня.

Answer 1

Вы можете использовать internal structures что SML/NJ обеспечивает:

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 не будет возвращать символьные имена для модулей, которые доступны, но еще не были загружены:

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