idris-1.3.3: test/basic016/expected.out

 Cycle detected in imports: CycleA.idr -> CycleB -> CycleC -> CycleA -> CycleB