summaryrefslogtreecommitdiff
path: root/src/bg_thread.sig
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