idris-1.3.3: test/proof007/expected.out

DefaultArgUnknownName.idr:9:8-23:
  |
9 | test = funWithBadDefArg
  |        ~~~~~~~~~~~~~~~~
When checking right hand side of test with expected type
        ()

When checking argument arg to function DefaultArgUnknownName.funWithBadDefArg:
        No such variable sadgjhsag