blob: 699fa7417ea9adc6b11f40255400e383f2dc3d36 (
plain)
1
2
3
4
5
6
7
8
9
|
(*
Dummy implementation. Threading is only supported in MLton.
All other implementations just immediately run the background tasks
*)
structure BgThread:> BGTHREAD = struct
fun queueBgTask filename f = f ()
fun hasBgTasks () = false
fun runBgTaskForABit () = ()
end
|