diff options
| author | aarne <aarne@chalmers.se> | 2011-03-04 17:05:40 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-03-04 17:05:40 +0000 |
| commit | 14f11bb2b9d0e6b40d4dfe0f5d23a9a48d827b07 (patch) | |
| tree | a44614436dcd83e6e5c9df1a6ef6e448692036ca /src/compiler/GF/Compile | |
| parent | 88a0790f322789c1851d38e0c80fc5e1b37bf24e (diff) | |
revived GADT generation
Diffstat (limited to 'src/compiler/GF/Compile')
| -rw-r--r-- | src/compiler/GF/Compile/PGFtoHaskell.hs | 7 |
1 files 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", "", |