SML#1.2.0 でウソのシグネチャ(型注釈)がコンパイルを通るバグ。(SML#2.0.0では修正済み)

body.smi

_require "basis.smi"

structure B =
struct
  val g : {dir:string, name:string} -> unit
end

body.sml

structure B =
struct
  fun g (dir, name) = print (concat[dir, "/", name, "\n"])
end

main.smi

_require "basis.smi"
_require "body.smi"

main.sml

structure Main =
struct
  fun main () =
    B.g {dir="sml", name="sharp"}
end
val () = Main.main ()

run.sh

#!/bin/sh

# smlsharp v1.2.0

smlsharp -c body.sml
smlsharp -c main.sml
smlsharp -o main main.smi
./main

# smlsharp 1.2.0 (not 2.0.0) accept these code (o_O)
# $ ./run.sh
# sml/sharp