dll.smi

_require "basis.smi"
_require "ffi.smi"

functor ReadLine_(X: sig val name: string end) = struct
    val readline: string -> string
end

dll.sml

functor ReadLine_(val name: string) = struct
    val lib = DynamicLink.dlopen name
    fun find s = DynamicLink.dlsym(lib, s)
    val readline_ = find "readline": _import (string) -> char ptr
    val readline = Pointer.importString o readline_
end

structure ReadLine = ReadLine_(val name = "libreadline.so")

val () = print (ReadLine.readline "> ")