1structure FPConvert :> FPConvert =
2struct
3 fun err s = raise Fail (s ^ ": not supported")
4
5 fun fp32_to_fp64 _ = err "fp32_to_fp64"
6 fun fp64_to_fp32 _ = err "fp64_to_fp32"
7 fun fp64_to_fp32_with_flags _ = err "fp64_to_fp32_with_flags"
8end (* FPConvert *)
9