Merge pull request #8 from runtimeverification/raoul/replace-toml-parser

Replace TOML parser.
runtimeverification · May 28, 2024 · 9febf1b · 9febf1b
2 parents 50d8e40 + 815bfd7
commit 9febf1b
Show file tree

Hide file tree

Showing 5 changed files with 25 additions and 17 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [2.0.3] - 2024-05-28
+
+- Fixed a bug in the TOML parser
+
 ## [2.0.2] - 2024-05-27
 
 - Added information about the Simbolik API.

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -11,7 +11,7 @@
   },
   "publisher": "runtimeverification",
   "description": "Advanced Solidity and EVM Debugger",
-  "version": "2.0.2",
+  "version": "2.0.3",
   "engines": {
     "vscode": "^1.79.0"
   },
@@ -210,7 +210,7 @@
   "dependencies": {
     "@solidity-parser/parser": "^0.18.0",
     "@types/ws": "^8.5.10",
-    "ws": "^8.16.0",
-    "toml": "^3.0.0"
+    "smol-toml": "^1.2.0",
+    "ws": "^8.16.0"
   }
 }
diff --git a/src/foundry.ts b/src/foundry.ts
@@ -1,6 +1,6 @@
 import * as vscode from 'vscode';
 import {getConfigValue} from './utils';
-import {parse as parseToml} from 'toml';
+import {parse as parseToml} from 'smol-toml';
 
 
 export

diff --git a/tsconfig.json b/tsconfig.json
@@ -3,8 +3,8 @@
   "compilerOptions": {
     "rootDir": "src",
     "outDir": "build",
-    "lib": ["ES2020"],
-    "target": "ES2020"
+    "lib": ["ES2022"],
+    "target": "ES2022"
   },
   "include": [
     "src/**/*.ts",