From 7e35db47a6c3c91f4988de580a65ec3b9e3cc5b1 Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Thu, 12 Aug 2021 14:41:50 +0200
Subject: [PATCH] export PGFError

---
 src/runtime/haskell/PGF.hs   | 2 ++
 src/runtime/haskell/PGF2.hsc | 8 ++++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs
index 28438eb0d..b439ef45f 100644
--- a/src/runtime/haskell/PGF.hs
+++ b/src/runtime/haskell/PGF.hs
@@ -19,6 +19,8 @@ module PGF ( PGF2.PGF, readPGF
            , PGF2.Type(..), PGF2.Hypo
            , PGF2.mkType, PGF2.unType
            , PGF2.mkHypo, PGF2.mkDepHypo, PGF2.mkImplHypo
+
+           , PGF2.PGFError(..)
            ) where
 
 import qualified PGF2 as PGF2
diff --git a/src/runtime/haskell/PGF2.hsc b/src/runtime/haskell/PGF2.hsc
index 8fd42f2fb..e36ca39b0 100644
--- a/src/runtime/haskell/PGF2.hsc
+++ b/src/runtime/haskell/PGF2.hsc
@@ -37,9 +37,13 @@ module PGF2 (-- * PGF
              readType,
              mkType, unType,
              mkHypo, mkDepHypo, mkImplHypo,
+
              -- * Concrete syntax
-             ConcName
-            ) where
+             ConcName,
+
+             -- * Exceptions
+             PGFError(..)
+             ) where
 
 import Control.Exception(Exception,throwIO,mask_,bracket)
 import System.IO.Unsafe(unsafePerformIO)