lookupFunDefn test: Add pruviloj
commit5eaf49cc053fc2596f14d696e7dbf0aab2907ff0
authorShea Levy <shea@shealevy.com>
dateTue 1 Dec 2015, 08:49 (11 years ago)
parent3264b8f
test/meta004/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ --nocolour --check --consolewidth 70 meta004.idr
2+idris $@ -p pruviloj --nocolour --check --consolewidth 70 meta004.idr
33rm -f *.ibc