4 files changed, 7 insertions, 62 deletions
diff --git a/src/runtime/haskell-bind/PGF.hs b/src/runtime/haskell-bind/PGF.hs
new file mode 100644
index 000000000..8aeca7ab8
--- /dev/null
+++ b/src/runtime/haskell-bind/PGF.hs
@@ -0,0 +1,3 @@
+module PGF(module PGF2) where
+
+import PGF2
diff --git a/src/runtime/haskell-bind/PGF/Internal.hs b/src/runtime/haskell-bind/PGF/Internal.hs
new file mode 100644
index 000000000..e8193b788
--- /dev/null
+++ b/src/runtime/haskell-bind/PGF/Internal.hs
@@ -0,0 +1 @@
+module PGF.Internal where
diff --git a/src/runtime/haskell-bind/examples/pgf-hsbind-trans.hs b/src/runtime/haskell-bind/examples/pgf-hsbind-trans.hs
deleted file mode 100644
index 96808f906..000000000
--- a/src/runtime/haskell-bind/examples/pgf-hsbind-trans.hs
+++ /dev/null
@@ -1,61 +0,0 @@
--- | pgf-hsbind-trans: A simple batch translator to illustrate the use of the Haskell binding
---   to the C implementation of the PGF run-time system.
---
--- AR April 2015 modified from pgf-shell
-
-import PGF2
-import PGF.Lexing (lexText')
-
-import Data.Char(isSpace,toLower)
-import Data.List (nub)
-import System.Environment
-import qualified Data.Map as Map
-
-maxNumTrees :: Int
-maxNumTrees = 1
-
-maxNumVariants :: Int
-maxNumVariants = 1
-
-main = getPGF =<< getArgs
-
-getPGF args = case args of
-  [path,from,to,cat,mxt,mxv] -> pgfTrans from to (Just cat) (read mxt, read mxv) =<< readPGF path
-  [path,from,to]        -> pgfTrans from to Nothing (maxNumTrees,maxNumVariants) =<< readPGF path
-  _                     -> putStrLn "Usage: pgf-hsbind-trans <path to pgf> <from-lang> <to-lang> [<cat> <#trees> <#variants>]"
-
-pgfTrans from to mcat mx pgf = do
-  cfrom <- getConcr' pgf from
-  cto   <- getConcr' pgf to
-  let cat = maybe (startCat pgf) id mcat
-  interact (unlines . map (translates pgf cfrom cto cat mx) . lines)
-
-getConcr' pgf lang =
-    maybe (fail $ "Concrete syntax not found: "++show lang) return $
-    Map.lookup lang (languages pgf)
-
-linearizeAndShow gr mxv (t,p) = [show t]++take mxv (nub (map unstar (linearizeAll gr t)))++[show p]
-  where
-    unstar s = case s of
-      '*':' ':cs -> cs
-      _ -> s
-
-translates pgf cfrom cto cat (mxt,mxv) s0 = 
-  let s1 = lextext cfrom s0
-      (s,p) = case reverse s1 of c:_ | elem c ".?!" -> (init s1,[c]) ; _ -> (s1,[]) -- separate final punctuation
-  in
-  case cparse pgf cfrom cat s of
-    Left tok -> unlines [s,"Parse error: "++tok]
-    Right ts -> unlines $ (("> "++ s):) $ take mxt $ map ((++p) . unlines . linearizeAndShow cto mxv) ts -- append punctuation
-
-cparse pgf concr cat input = parseWithHeuristics concr cat input (-1) callbacks where
-  callbacks = maybe [] cb $ lookup "App" literalCallbacks
-  cb fs = [(cat,f pgf ("TranslateEng",concr) input)|(cat,f)<-fs]
-
-lextext cnc = unwords . lexText' (\w -> case lookupMorpho cnc w of
-  _:_ -> w
-  _ -> case lookupMorpho cnc (uncapitInit w) of 
-    [] -> w 
-    _ -> uncapitInit w
-  )
- where uncapitInit (c:cs) = toLower c : cs
diff --git a/src/runtime/haskell-bind/pgf2.cabal b/src/runtime/haskell-bind/pgf2.cabal
index df1cc2b1a..8f29ea969 100644
--- a/src/runtime/haskell-bind/pgf2.cabal
+++ b/src/runtime/haskell-bind/pgf2.cabal
@@ -14,7 +14,9 @@ extra-source-files:  README
 cabal-version:       >=1.10
 
 library
-  exposed-modules:     PGF2, SG
+  exposed-modules:     PGF2, SG,
+                       -- backwards compatibility API:
+                       PGF, PGF.Internal
   other-modules:       PGF2.FFI, PGF2.Expr, PGF2.Type, SG.FFI
   build-depends:       base >=4.3, bytestring >=0.9,
                        containers, pretty