in generated export string, use structure name which is based on the name of the input file

This commit is contained in:
2025-08-26 16:21:52 +01:00
parent 2de690f325
commit 4a8ff38a66
5 changed files with 10 additions and 8 deletions

View File

@@ -5,7 +5,7 @@ struct
SOME line => loadIO (io, str ^ line)
| NONE => str
fun convertFile (fullPath, filename) =
fun convertFile fullPath =
let
val io = TextIO.openIn fullPath
val text = loadIO (io, "")
@@ -17,7 +17,7 @@ struct
val maxSide = Int.max (canvasWidth, canvasHeight)
val squares = LayerTree.flatten (maxSide, tree)
val exportString =
CollisionTree.toExportString (squares, canvasWidth, canvasHeight)
CollisionTree.toExportString (squares, canvasWidth, canvasHeight, fullPath)
val pathWithoutExtension = String.substring
(fullPath, 0, String.size fullPath - 4)
@@ -57,7 +57,7 @@ struct
()
else if endsWithDsc path then
(* is a file ending with .dsc extension *)
convertFile (folderPath, path)
convertFile folderPath
else
(* is a file but doesn't end with .dsc, so ignore *)
()