Agda-2.3.2.2: test/fail/PragmasApplyOnlyToCurrentModule.agda

{-# OPTIONS --no-termination-check #-}

module PragmasApplyOnlyToCurrentModule where

import Imports.NonTerminating