Agda-2.3.2.2: test/fail/NoTerminationCheck1.agda
-- 2012-03-08 Andreas
module NoTerminationCheck1 where
{-# NO_TERMINATION_CHECK #-}
-- error: misplaced pragma
-- 2012-03-08 Andreas
module NoTerminationCheck1 where
{-# NO_TERMINATION_CHECK #-}
-- error: misplaced pragma