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