From 2d7fd2bb26f8bc4191c3a75c641f4e03d9e4a083 Mon Sep 17 00:00:00 2001
From: Fyodor Soikin <name.fa@gmail.com>
Date: Mon, 4 Dec 2023 09:45:46 -0500
Subject: [PATCH] Upgrade to PureScript 0.15.13 and Elmish 0.11.1 (#29)

---
 examples/package-lock.json | 14 +++++++-------
 examples/package.json      |  2 +-
 examples/test/Main.purs    | 11 -----------
 package-lock.json          | 14 +++++++-------
 package.json               |  2 +-
 packages.dhall             |  6 ++++--
 6 files changed, 20 insertions(+), 29 deletions(-)
 delete mode 100644 examples/test/Main.purs

diff --git a/examples/package-lock.json b/examples/package-lock.json
index 5260887..1752fa1 100644
--- a/examples/package-lock.json
+++ b/examples/package-lock.json
@@ -8,7 +8,7 @@
       "license": "MIT",
       "dependencies": {
         "esbuild": "^0.14.1",
-        "purescript": "^0.15.10",
+        "purescript": "^0.15.13",
         "react": "^17.0.2",
         "react-dom": "^17.0.2",
         "spago": "^0.21.0",
@@ -1663,9 +1663,9 @@
       }
     },
     "node_modules/purescript": {
-      "version": "0.15.10",
-      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.10.tgz",
-      "integrity": "sha512-USvNla7eWMsIcbcQJ6jNiHduiXzKT+d3Cc9hjTffZ/9fHHZaMUf+k4TXbh+/OtecDEfPu736Ky51VX4bRj4iiA==",
+      "version": "0.15.13",
+      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.13.tgz",
+      "integrity": "sha512-nCftRcyk9qJKjuaRQ3vcDnLmiiEBp/3A2GOBrGSIeV2ZpjX4+/d7tPkvtCUR/r5GdEVdllrwc7P4R4ZkXwj8Ng==",
       "hasInstallScript": true,
       "dependencies": {
         "purescript-installer": "^0.3.5"
@@ -3715,9 +3715,9 @@
       }
     },
     "purescript": {
-      "version": "0.15.10",
-      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.10.tgz",
-      "integrity": "sha512-USvNla7eWMsIcbcQJ6jNiHduiXzKT+d3Cc9hjTffZ/9fHHZaMUf+k4TXbh+/OtecDEfPu736Ky51VX4bRj4iiA==",
+      "version": "0.15.13",
+      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.13.tgz",
+      "integrity": "sha512-nCftRcyk9qJKjuaRQ3vcDnLmiiEBp/3A2GOBrGSIeV2ZpjX4+/d7tPkvtCUR/r5GdEVdllrwc7P4R4ZkXwj8Ng==",
       "requires": {
         "purescript-installer": "^0.3.5"
       }
diff --git a/examples/package.json b/examples/package.json
index b471dfc..c086ffc 100644
--- a/examples/package.json
+++ b/examples/package.json
@@ -21,7 +21,7 @@
   "license": "MIT",
   "dependencies": {
     "esbuild": "^0.14.1",
-    "purescript": "^0.15.10",
+    "purescript": "^0.15.13",
     "react": "^17.0.2",
     "react-dom": "^17.0.2",
     "spago": "^0.21.0",
diff --git a/examples/test/Main.purs b/examples/test/Main.purs
deleted file mode 100644
index f91f98c..0000000
--- a/examples/test/Main.purs
+++ /dev/null
@@ -1,11 +0,0 @@
-module Test.Main where
-
-import Prelude
-
-import Effect (Effect)
-import Effect.Class.Console (log)
-
-main :: Effect Unit
-main = do
-  log "🍝"
-  log "You should add some tests."
diff --git a/package-lock.json b/package-lock.json
index 1a2f68f..30e8e67 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -13,7 +13,7 @@
       "devDependencies": {
         "@happy-dom/global-registrator": "7.4.0",
         "pulp": "^16.0.0",
-        "purescript": "^0.15.10",
+        "purescript": "^0.15.13",
         "react": "^17.0.2",
         "react-dom": "^17.0.2",
         "spago": "^0.21.0"
@@ -3196,9 +3196,9 @@
       }
     },
     "node_modules/purescript": {
-      "version": "0.15.10",
-      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.10.tgz",
-      "integrity": "sha512-USvNla7eWMsIcbcQJ6jNiHduiXzKT+d3Cc9hjTffZ/9fHHZaMUf+k4TXbh+/OtecDEfPu736Ky51VX4bRj4iiA==",
+      "version": "0.15.13",
+      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.13.tgz",
+      "integrity": "sha512-nCftRcyk9qJKjuaRQ3vcDnLmiiEBp/3A2GOBrGSIeV2ZpjX4+/d7tPkvtCUR/r5GdEVdllrwc7P4R4ZkXwj8Ng==",
       "dev": true,
       "hasInstallScript": true,
       "dependencies": {
@@ -7233,9 +7233,9 @@
       }
     },
     "purescript": {
-      "version": "0.15.10",
-      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.10.tgz",
-      "integrity": "sha512-USvNla7eWMsIcbcQJ6jNiHduiXzKT+d3Cc9hjTffZ/9fHHZaMUf+k4TXbh+/OtecDEfPu736Ky51VX4bRj4iiA==",
+      "version": "0.15.13",
+      "resolved": "https://registry.npmjs.org/purescript/-/purescript-0.15.13.tgz",
+      "integrity": "sha512-nCftRcyk9qJKjuaRQ3vcDnLmiiEBp/3A2GOBrGSIeV2ZpjX4+/d7tPkvtCUR/r5GdEVdllrwc7P4R4ZkXwj8Ng==",
       "dev": true,
       "requires": {
         "purescript-installer": "^0.3.5"
diff --git a/package.json b/package.json
index 181b6eb..f751e59 100644
--- a/package.json
+++ b/package.json
@@ -35,7 +35,7 @@
   "devDependencies": {
     "@happy-dom/global-registrator": "7.4.0",
     "pulp": "^16.0.0",
-    "purescript": "^0.15.10",
+    "purescript": "^0.15.13",
     "react": "^17.0.2",
     "react-dom": "^17.0.2",
     "spago": "^0.21.0"
diff --git a/packages.dhall b/packages.dhall
index ad60136..b7db8c0 100644
--- a/packages.dhall
+++ b/packages.dhall
@@ -1,5 +1,7 @@
 let upstream =
-      https://raw.githubusercontent.com/purescript/package-sets/psc-0.15.10-20230926/src/packages.dhall
-        sha256:684d460e9ca2089c89535e9a4ec56b83fb8b927ddd87afa6fa764ffb60bf1488
+      https://raw.githubusercontent.com/purescript/package-sets/psc-0.15.13-20231201/src/packages.dhall
+        sha256:706a855400108a03b35bd37afe7f50802deed882c555171d266338d4694ddbe8
 
 in  upstream
+  with elmish.version = "v0.11.1"
+  with elmish-html.version = "v0.8.2"