reduce number of type conversoins required for mouse move callback (and fix the other code which uses it too)

This commit is contained in:
2024-08-01 21:17:39 +01:00
parent 39b8b45b45
commit 0fc6201231
7 changed files with 7 additions and 7 deletions

View File

@@ -1,7 +1,7 @@
signature INPUT_MESSAGE =
sig
datatype t =
MOUSE_MOVE of {x: int, y: int}
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
| MOUSE_LEFT_CLICK
| MOUSE_LEFT_RELEASE
end
@@ -9,7 +9,7 @@ end
structure InputMessage :> INPUT_MESSAGE =
struct
datatype t =
MOUSE_MOVE of {x: int, y: int}
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
| MOUSE_LEFT_CLICK
| MOUSE_LEFT_RELEASE
end