agda/test/Compiler/simple/Issue728.agda

{-# OPTIONS --guardedness #-}

module Issue728 where

open import Common.MAlonzo using () renaming (main to mainDefault)

main = mainDefault