2024-09-30 13:43:43 +01:00
|
|
|
structure Shell =
|
|
|
|
|
struct
|
|
|
|
|
open CML
|
2024-10-06 10:23:07 +01:00
|
|
|
open InputMsg
|
|
|
|
|
|
|
|
|
|
fun frameBufferSizeCallback inputMailbox (width, height) =
|
|
|
|
|
Mailbox.send (inputMailbox, RESIZE_EVENT (width, height))
|
|
|
|
|
|
2024-10-17 01:38:31 +01:00
|
|
|
fun charCallback inputMailbox word =
|
2024-10-17 01:20:48 +01:00
|
|
|
let
|
|
|
|
|
val word = Word32.toInt word
|
|
|
|
|
val chr = Char.chr word
|
|
|
|
|
in
|
2024-10-17 01:38:31 +01:00
|
|
|
Mailbox.send (inputMailbox, CHAR_EVENT chr)
|
2024-10-17 01:20:48 +01:00
|
|
|
end
|
|
|
|
|
|
2024-11-08 09:46:01 +00:00
|
|
|
fun keyCallback inputMailbox (key, scancode, action, mods) =
|
|
|
|
|
let
|
|
|
|
|
open Input
|
|
|
|
|
in
|
|
|
|
|
if key = KEY_ESC andalso action = PRESS andalso mods = 0 then
|
|
|
|
|
Mailbox.send (inputMailbox, InputMsg.KEY_ESC)
|
|
|
|
|
else
|
|
|
|
|
()
|
|
|
|
|
end
|
|
|
|
|
|
2024-10-06 10:23:07 +01:00
|
|
|
fun registerCallbacks (inputMailbox, window) =
|
|
|
|
|
let
|
|
|
|
|
val resizeCallback = frameBufferSizeCallback inputMailbox
|
|
|
|
|
val () = Input.exportFramebufferSizeCallback resizeCallback
|
|
|
|
|
val () = Input.setFramebufferSizeCallback window
|
2024-10-17 01:20:48 +01:00
|
|
|
|
2024-10-17 01:38:31 +01:00
|
|
|
val charCallback = charCallback inputMailbox
|
2024-10-17 01:20:48 +01:00
|
|
|
val () = Input.exportCharCallback charCallback
|
|
|
|
|
val () = Input.setCharCallback window
|
2024-11-08 09:46:01 +00:00
|
|
|
|
|
|
|
|
val keyCallback = keyCallback inputMailbox
|
|
|
|
|
val () = Input.exportKeyCallback keyCallback
|
|
|
|
|
val () = Input.setKeyCallback window
|
2024-10-06 10:23:07 +01:00
|
|
|
in
|
|
|
|
|
()
|
|
|
|
|
end
|
2024-09-30 13:43:43 +01:00
|
|
|
|
2024-10-05 12:56:23 +01:00
|
|
|
fun ioToLineGap (io, acc) =
|
2024-10-05 02:03:17 +01:00
|
|
|
case TextIO.inputLine io of
|
2024-10-05 12:56:23 +01:00
|
|
|
SOME str => ioToLineGap (io, LineGap.append (str, acc))
|
2024-10-05 15:07:23 +01:00
|
|
|
| NONE => LineGap.goToStart acc
|
2024-10-05 02:03:17 +01:00
|
|
|
|
2024-09-30 13:43:43 +01:00
|
|
|
fun main () =
|
|
|
|
|
let
|
|
|
|
|
(* Set up GLFW. *)
|
|
|
|
|
val _ = Glfw.init ()
|
|
|
|
|
val _ = Glfw.windowHint (Glfw.CONTEXT_VERSION_MAJOR (), 3)
|
|
|
|
|
val _ = Glfw.windowHint (Glfw.DEPRECATED (), Glfw.FALSE ())
|
|
|
|
|
val _ = Glfw.windowHint (Glfw.SAMPLES (), 4)
|
2024-10-05 02:03:17 +01:00
|
|
|
val window = Glfw.createWindow (1920, 1080, "shf")
|
2024-09-30 13:43:43 +01:00
|
|
|
val _ = Glfw.makeContextCurrent window
|
|
|
|
|
val _ = Gles3.loadGlad ()
|
2024-10-04 23:23:25 +01:00
|
|
|
|
2024-10-06 10:23:07 +01:00
|
|
|
(* load file intol gap buffer and create initial app *)
|
2024-10-17 02:57:26 +01:00
|
|
|
val io = TextIO.openIn "temp.txt"
|
2024-10-05 12:56:23 +01:00
|
|
|
val lineGap = ioToLineGap (io, LineGap.empty)
|
2024-10-05 02:03:17 +01:00
|
|
|
val _ = TextIO.closeIn io
|
2024-10-06 10:23:07 +01:00
|
|
|
val app = AppType.init (lineGap, 1920, 1080)
|
|
|
|
|
|
2024-11-15 09:24:48 +00:00
|
|
|
(* todo: remove temp line below which tests search list *)
|
|
|
|
|
val app = BuildSearchList.build (app, 0, lineGap, "val")
|
|
|
|
|
|
2024-10-06 10:23:07 +01:00
|
|
|
(* create mailboxes for CML communication *)
|
|
|
|
|
val inputMailbox = Mailbox.mailbox ()
|
|
|
|
|
val drawMailbox = Mailbox.mailbox ()
|
2024-10-05 02:03:17 +01:00
|
|
|
|
2024-10-06 10:23:07 +01:00
|
|
|
val () = registerCallbacks (inputMailbox, window)
|
2024-10-05 02:03:17 +01:00
|
|
|
|
2024-10-06 10:23:07 +01:00
|
|
|
val _ = CML.spawn (fn () => GlDraw.loop (drawMailbox, window))
|
|
|
|
|
val _ = CML.spawn (fn () =>
|
|
|
|
|
UpdateThread.loop (app, inputMailbox, drawMailbox))
|
2024-09-30 13:43:43 +01:00
|
|
|
in
|
2024-10-04 23:23:25 +01:00
|
|
|
()
|
2024-09-30 13:43:43 +01:00
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
val _ = RunCML.doit (Shell.main, NONE)
|