minor changes to saved format

2024-08-29 03:59:47 +01:00
parent 1fdd4f33ec
commit 84b7a6a2f5
1 changed files with 6 additions and 12 deletions
--- a/imperative-shell/file-thread.sml
+++ b/imperative-shell/file-thread.sml
@@ -15,20 +15,14 @@ struct
      {x1, y1, x2, y2, x3, y3} :: tl =>
        let
          val triString = String.concat
-            [ "x1:"
-            , Real32.toString x1
-            , " y1:"
-            , Real32.toString y1
+            [ "x " , Real32.toString x1
+            , " y " , Real32.toString y1

-            , " x2:"
-            , Real32.toString x2
-            , " y2:"
-            , Real32.toString y2
+            , " x " , Real32.toString x2
+            , " y " , Real32.toString y2

-            , " x3:"
-            , Real32.toString x3
-            , " y3:"
-            , Real32.toString y3
+            , " x " , Real32.toString x3
+            , " y " , Real32.toString y3
            , "\n"
            ]