export PGFError

This commit is contained in:
krangelov
2021-08-12 14:41:50 +02:00
parent edba4fda32
commit 7e35db47a6
2 changed files with 8 additions and 2 deletions

View File

@@ -19,6 +19,8 @@ module PGF ( PGF2.PGF, readPGF
, PGF2.Type(..), PGF2.Hypo , PGF2.Type(..), PGF2.Hypo
, PGF2.mkType, PGF2.unType , PGF2.mkType, PGF2.unType
, PGF2.mkHypo, PGF2.mkDepHypo, PGF2.mkImplHypo , PGF2.mkHypo, PGF2.mkDepHypo, PGF2.mkImplHypo
, PGF2.PGFError(..)
) where ) where
import qualified PGF2 as PGF2 import qualified PGF2 as PGF2

View File

@@ -37,9 +37,13 @@ module PGF2 (-- * PGF
readType, readType,
mkType, unType, mkType, unType,
mkHypo, mkDepHypo, mkImplHypo, mkHypo, mkDepHypo, mkImplHypo,
-- * Concrete syntax -- * Concrete syntax
ConcName ConcName,
) where
-- * Exceptions
PGFError(..)
) where
import Control.Exception(Exception,throwIO,mask_,bracket) import Control.Exception(Exception,throwIO,mask_,bracket)
import System.IO.Unsafe(unsafePerformIO) import System.IO.Unsafe(unsafePerformIO)