idris-1.2.0: test/basic016/expected

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