[idris] Add temporary manual test

yurrriq · Aug 22, 2020 · 66698c1 · 66698c1
1 parent 4b32736
commit 66698c1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -12,6 +12,9 @@ gap-check: ${srcs}
 gap-docs: makedoc.g ${srcs}
 	gap --nointeract -b $<
 
+idris-check: $(shell find {src,test} -name '*.idr')
+	idris --execute -isrc -itest -p contrib -p specdris test/Data/GIS/Test.idr
+
 .PHONY: update
 niv-update: package ?= nixpkgs
 niv-update: sources := nix/sources.json

diff --git a/test/Data/GIS/Test.idr b/test/Data/GIS/Test.idr
@@ -19,6 +19,6 @@ pcSpaceExamples =
 runTests : IO ()
 runTests = spec pcSpaceExamples
 
--- namespace Main
---   main : IO ()
---   main = runTests
+namespace Main
+  main : IO ()
+  main = runTests