Agda-2.3.2.2: test/fail/CyclicModuleDependency.agda

module CyclicModuleDependency where

import CyclicModuleDependency