Agda-2.3.2.2: test/fail/IndentedCheckingMessages.agda

module IndentedCheckingMessages where

import A.M

Foo : Set
Foo = Foo