git.iko.soy/Idris-dev
on master help sign in
adjust test with --consolewidth for use with -f curses
7a91805Andreas Reuleaux
test/quasiquote003/run+1−1
compare with master
unifiedsplit
@@ -1,3 +1,3 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ --check NoInfer.idr
2+idris --consolewidth 80 $@ --check NoInfer.idr
3rm -f *.ibc
3rm -f *.ibc