Merge pull request #69 from meraymond2/0.0.11

0.0.11
meraymond2 · Oct 14, 2021 · 9d57600 · 9d57600
2 parents 0268319 + fb24d05
commit 9d57600
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,10 +1,14 @@
 ## Unreleased
 ### Added
+### Changed
+### Fixed
+
+## 0.0.11
+### Added
 - Syntax highlighting for idris/idris2 code blocks in markdown files.
 - `Idris: Activate Extension` command, to manually activate when working with non-idris files.
 - Support for commands in idris2 blocks in markdown files.
 - Load packages from .ipkg file in Idris 1.
-
 ### Changed
 ### Fixed
 - Support completions for Idris 1 .lidr files.

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -3,7 +3,7 @@
   "publisher": "meraymond",
   "displayName": "Idris Language",
   "description": "Language support for Idris and Idris 2.",
-  "version": "0.0.10",
+  "version": "0.0.11",
   "license": "MIT",
   "repository": {
     "type": "git",

diff --git a/src/state.ts b/src/state.ts
@@ -4,7 +4,7 @@ import * as vscode from "vscode"
 import { ExtLanguage } from "./languages"
 import { handleWarning } from "./providers/diagnostics"
 import { VirtualDocInfo } from "./providers/virtual-docs"
-import { loadIpkgFile, extractPkgs } from "./ipkg"
+import { extractPkgs } from "./ipkg"
 
 // I’m not using the Memento API because I don’t want persistence across sessions, and I do want type-safety.