Spun out existing misc examples into own file

2024-09-21 22:17:19 +03:00 · 2015-04-16 09:55:04 +01:00 · 2015-04-16 09:55:04 +01:00 · ff46849765
commit ff46849765
parent 3c53610811
7 changed files with 1 additions and 1 deletions
--- a/samples/misc/Makefile
+++ b/samples/misc/Makefile
@ -2,7 +2,7 @@ check:
 	rm -f *.ibc
 	for x in *.idr ; do \
 	echo "Checking $$x"; \
-	idris -p effects --check $$x; \
+	idris --check $$x; \
 	done

 .PHONY: check
--- a/samples/misc/binary.idr
+++ b/samples/misc/binary.idr
--- a/samples/misc/interp-alt.idr
+++ b/samples/misc/interp-alt.idr
--- a/samples/misc/interp.idr
+++ b/samples/misc/interp.idr
--- a/samples/misc/javaffi.idr
+++ b/samples/misc/javaffi.idr
--- a/samples/misc/named_instance.lidr
+++ b/samples/misc/named_instance.lidr
--- a/samples/misc/reflection.idr
+++ b/samples/misc/reflection.idr