Merge pull request #60 from mattpolzin/version-bump

add a check for TODOs in the source code and bump the version to 1.0.0

.github/workflows/checks.yml

@@ -0,0 +1,22 @@
+
+name: Checks
+
+on:
+  pull_request:
+
+jobs:
+  check-versions:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Check versions
+        run: ./version-check.sh
+
+  check-todos:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Check todos
+        run: ./todo-check.sh

Makefile

@@ -29,6 +29,7 @@ harmony: build
 
 package: build
 	./version-check.sh
+	./todo-check.sh
 	# leave ./harmony in place
 	mkdir harmony-npm
 	cp harmony ./harmony-npm

harmony.ipkg

@@ -1,5 +1,5 @@
 package harmony
-version = 0.7.1
+version = 1.0.0
 authors = "Mathew Polzin"
 license = "MIT"
 -- brief =

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mattpolzin/harmony",
-  "version": "0.7.1",
+  "version": "1.0.0",
   "publishConfig": {
     "access": "public"
   },

src/AppVersion.idr

@@ -2,7 +2,7 @@ module AppVersion
 
 export
 appVersion : String
-appVersion = "0.7.1"
+appVersion = "1.0.0"
 
 export
 printVersion : HasIO io => io ()

src/System/File/Node.idr

@@ -1,5 +1,7 @@
 module System.File.Node
 
+-- TODO: Remove this once Idris2 gains a version newer than 0.5.1. This has been added to the base library.
+
 %foreign "node:lambda:(f) => require('fs').unlinkSync(f)"
 prim__removeFile : String -> PrimIO ()
 

src/System/Node.idr

@@ -1,5 +1,7 @@
 module System.Node
 
+-- TODO: Remove this once Idris2 gains a version newer than 0.5.1. This has been added to the base library.
+
 %foreign "node:lambda:(cmd) => require('child_process').spawnSync(cmd, [], {shell: true, stdio: 'inherit'}).status"
 prim__system : String -> PrimIO Int
 

src/System/Random/Node.idr

@@ -4,6 +4,8 @@ import Data.List
 
 %default total
 
+-- TODO: Remove this once Idris2 gains a version newer than 0.5.1. This has been added to the base library.
+
 %foreign "node:lambda:() => Math.random()"
 prim__rnd : PrimIO Double
 

todo-check.sh

@@ -0,0 +1,20 @@
+#/bin/sh
+
+todos=$(find . \( -name '*.idr' -o -name '*.js' \) ! -path '*build*' ! -path '*node_modules*' | xargs sed -n '/TODO/p')
+
+pkgversion="$(cat harmony.ipkg | sed -n 's/version = \(.*\)/\1/p')"
+
+if [[ "$todos" != '' ]]; then
+  echo "TODOs found:"
+  echo "$todos"
+
+  criticals="$(echo "$todos" | sed -n "/TODO $pkgversion/p")"
+
+  if [[ "$criticals" != '' ]]; then
+    echo ""
+    echo "Cannot proceeed with critical TODOs for the current version number:"
+    echo "$criticals"
+    exit 1
+  fi
+fi
+