blob: 5455bbc8f2e63a1881796e630cdb45a2d624a3fb (
plain)
1
2
3
4
5
6
7
|
(* Notice: API is kinda bad. We only allow queuing a single task per file *)
(* This works for us because we only do elaboration in the background, nothing else *)
signature BGTHREAD = sig
val queueBgTask: string (* fileName *) -> (unit -> unit) -> unit
val hasBgTasks: unit -> bool
val runBgTaskForABit: unit -> unit
end
|