summaryrefslogtreecommitdiff
path: root/src/runtime/haskell-bind/PGF2.hsc
diff options
context:
space:
mode:
Diffstat (limited to 'src/runtime/haskell-bind/PGF2.hsc')
-rw-r--r--src/runtime/haskell-bind/PGF2.hsc7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/runtime/haskell-bind/PGF2.hsc b/src/runtime/haskell-bind/PGF2.hsc
index cdafb6eb9..1f8d07c12 100644
--- a/src/runtime/haskell-bind/PGF2.hsc
+++ b/src/runtime/haskell-bind/PGF2.hsc
@@ -31,7 +31,12 @@ module PGF2 (-- * PGF
Fun,functions, functionsByCat, functionType, hasLinearization,
-- ** Expressions
Expr,showExpr,readExpr,
- mkAbs,unAbs,mkApp,unApp,mkStr,unStr,mkInt,unInt,mkFloat,unFloat,
+ mkAbs,unAbs,
+ mkApp,unApp,
+ mkStr,unStr,
+ mkInt,unInt,
+ mkFloat,unFloat,
+ mkMeta,unMeta,
-- ** Types
Type(..), Hypo, BindType(..), startCat, showType,