Agda-2.3.2.2: examples/compiler/main.agda

module main where

open import Not-named-according-to-the-Haskell-lexical-syntax

main = return Not-named-according-to-the-Haskell-lexical-syntax.unit

-- The following code once triggered an MAlonzo bug resulting in the
-- error message "Panic: ... no such name main.M.d".

module M where
  data D : Set where
    d : D