. ../../testutils.sh

check All.idr
idris2 HoleFix.idr < input
