humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add layerTree field to app type

Browse Source
This commit is contained in:
Humza Shahid
2025-08-09 08:22:28 +01:00
parent 8d855be27a
commit 8715879ceb
4 changed files with 44 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
dotscape
View File

Binary file not shown.

1
fcore/app-init.sml
View File

@@ -48,6 +48,7 @@ struct
, b = 0
, a = 1
, layer = 0
, layerTree = LayerTree.emptyTree
, modalNum = 0
, undo = []
, redo = []

1
fcore/app-type.sml
View File

@@ -34,6 +34,7 @@ struct
, b: int
, a: int
, layer: int
, layerTree: LayerTree.tree
, modalNum: int
, undo: square list
, redo: square list

42
fcore/app-with.sml
View File

@@ -52,6 +52,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -82,6 +83,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -113,6 +115,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -143,6 +146,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -174,6 +178,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -201,6 +206,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -232,6 +238,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -259,6 +266,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -290,6 +298,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -317,6 +326,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -348,6 +358,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -379,6 +390,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -410,6 +422,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -437,6 +450,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -468,6 +482,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -495,6 +510,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -526,6 +542,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -553,6 +570,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -584,6 +602,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -611,6 +630,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -642,6 +662,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -669,6 +690,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -700,6 +722,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum = prevNum
, undo
, redo
@@ -729,6 +752,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = newNum
, undo = undo
, redo = redo
@@ -760,6 +784,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -789,6 +814,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -820,6 +846,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -849,6 +876,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -880,6 +908,7 @@ struct
, b = _
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -909,6 +938,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -940,6 +970,7 @@ struct
, b
, a = _
, layer
, layerTree
, modalNum
, undo
, redo
@@ -969,6 +1000,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -1000,6 +1032,7 @@ struct
, b
, a
, layer = _
, layerTree
, modalNum
, undo
, redo
@@ -1029,6 +1062,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
, undo = undo
, redo = redo
@@ -1060,6 +1094,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -1093,6 +1128,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -1124,6 +1160,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -1157,6 +1194,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -1188,6 +1226,7 @@ struct
, b
, a
, layer
, layerTree
, modalNum
, undo
, redo
@@ -1221,6 +1260,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo
@@ -1252,6 +1292,7 @@ struct
, b = _
, a = _
, layer
, layerTree
, modalNum
, undo
, redo
@@ -1279,6 +1320,7 @@ struct
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = 0
, undo = undo
, redo = redo