From 7d218a4b9458f1b9f66fe878f0adc9a69dfe6d1c Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 25 Jan 2025 11:58:03 -0800
Subject: [PATCH] compiler output compatible with older version

---
 newt-vscode/package.json | 13 ++++++++++++-
 newt/Prelude.newt        |  2 +-
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/newt-vscode/package.json b/newt-vscode/package.json
index 0f345a4..48daae2 100644
--- a/newt-vscode/package.json
+++ b/newt-vscode/package.json
@@ -54,7 +54,18 @@
         "command": "newt-vscode.check",
         "title": "Check newt file"
       }
-    ]
+    ],
+    "configuration": {
+      "type": "object",
+      "title": "Newt Configuration",
+      "properties": {
+        "newt.path": {
+          "type": "string",
+          "default": "build/exec/newt",
+          "description": "Path to the newt executable"
+        }
+      }
+    }
   },
   "scripts": {
     "vscode:prepublish": "npm run package",
diff --git a/newt/Prelude.newt b/newt/Prelude.newt
index e1c4b2c..7b5b528 100644
--- a/newt/Prelude.newt
+++ b/newt/Prelude.newt
@@ -804,7 +804,7 @@ snoc : ∀ a. List a → a → List a
 snoc xs x = xs ++ (x :: Nil)
 
 instance ∀ a b. {{Show a}} {{Show b}} → Show (a × b) where
-  show (a,b) = "(" ++ show a ++ "," ++ show b ++ ")"
+  show (a,b) = "(" ++ show a ++ ", " ++ show b ++ ")"
 
 instance ∀ a. {{Show a}} → Show (List a) where
   show xs = joinBy ", " $ map show xs