From 586ebe1d29c591aa735e3ed9b7bfc1b1407b3d69 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simon.van.casteren@gmail.com>
Date: Sun, 15 Dec 2019 10:20:47 +0100
Subject: Added background threads

---
 src/bg_thread.sig | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/bg_thread.sig

(limited to 'src/bg_thread.sig')

diff --git a/src/bg_thread.sig b/src/bg_thread.sig
new file mode 100644
index 00000000..5455bbc8
--- /dev/null
+++ b/src/bg_thread.sig
@@ -0,0 +1,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
-- 
cgit v1.2.3