From c834cb348c440cc40e9153bf480d0407220cf98d Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 4 Mar 2011 17:05:40 +0000 Subject: [PATCH] revived GADT generation --- src/compiler/GF/Compile/PGFtoHaskell.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/compiler/GF/Compile/PGFtoHaskell.hs b/src/compiler/GF/Compile/PGFtoHaskell.hs index 765a0e959..0546402ce 100644 --- a/src/compiler/GF/Compile/PGFtoHaskell.hs +++ b/src/compiler/GF/Compile/PGFtoHaskell.hs @@ -49,14 +49,15 @@ haskPreamble name = [ "module " ++ name ++ " where", "", - "import PGF", + "import PGF hiding (Tree)", + "import qualified PGF", "----------------------------------------------------", "-- automatic translation from GF to Haskell", "----------------------------------------------------", "", "class Gf a where", - " gf :: a -> Tree", - " fg :: Tree -> a", + " gf :: a -> PGF.Tree", + " fg :: PGF.Tree -> a", "", predefInst "GString" "String" "unStr" "mkStr", "",