revived GADT generation
This commit is contained in:
1 parent
88a0790f32
commit
14f11bb2b9
1 file changed
+4
-3
@@ -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",
|
||||
"",
|
||||
|
||||
Reference in new issue
Block a user