formatting

This commit is contained in:
2024-07-31 22:28:42 +01:00
parent 16fa1e49af
commit 818503d0ac
3 changed files with 6 additions and 8 deletions

View File

@@ -12,8 +12,8 @@ end
message-types/input-msg.sml message-types/input-msg.sml
message-types/draw-msg.sml message-types/draw-msg.sml
functional-core/app-type.sml functional-core/app-type.sml
ann ann
"allowVectorExps true" "allowVectorExps true"
in in

View File

@@ -142,8 +142,7 @@ struct
fun getTriangleStageVector (model: app_type, drawVec) = fun getTriangleStageVector (model: app_type, drawVec) =
case #triangleStage model of case #triangleStage model of
NO_TRIANGLE => drawVec NO_TRIANGLE => drawVec
| FIRST {x1, y1} => | FIRST {x1, y1} => getFirstTriangleStageVector (x1, y1, drawVec)
getFirstTriangleStageVector (x1, y1, drawVec)
| SECOND {x1, y1, x2, y2} => | SECOND {x1, y1, x2, y2} =>
getSecondTriangleStageVector (x1, y1, x2, y2, drawVec) getSecondTriangleStageVector (x1, y1, x2, y2, drawVec)
@@ -202,8 +201,7 @@ struct
end end
| SECOND {x1, y1, x2, y2} => | SECOND {x1, y1, x2, y2} =>
let let
val model = val model = AppType.addTriangleAndResetStage
AppType.addTriangleAndResetStage
(model, x1, y1, x2, y2, hpos, vpos) (model, x1, y1, x2, y2, hpos, vpos)
val drawVec = getTrianglesVector model val drawVec = getTrianglesVector model

View File

@@ -72,7 +72,7 @@ struct
let let
val _ = AppDraw.uploadTrianglesVector (triangleDrawObject, triangleVec) val _ = AppDraw.uploadTrianglesVector (triangleDrawObject, triangleVec)
val triangleDrawLength = Vector.length triangleVec div 2 val triangleDrawLength = Vector.length triangleVec div 2
(* have to reset buttons too *) (* buttons are reset by setting buttonDrawLength to 0 *)
in in
draw draw
( drawMailbox ( drawMailbox