diff options
Diffstat (limited to 'src/GF/API')
| -rw-r--r-- | src/GF/API/GrammarToHaskell.hs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/GF/API/GrammarToHaskell.hs b/src/GF/API/GrammarToHaskell.hs index 81acdd47c..c3ca33247 100644 --- a/src/GF/API/GrammarToHaskell.hs +++ b/src/GF/API/GrammarToHaskell.hs @@ -50,9 +50,11 @@ haskPreamble = "class Gf a where gf :: a -> Trm", "class Fg a where fg :: Trm -> a", "", - predefInst "String" "K s", + predefInst "GString" "String" "K s", "", - predefInst "Int" "EInt s", + predefInst "GInt" "Integer" "EInt s", + "", + predefInst "GFloat" "Double" "EFloat s", "", "----------------------------------------------------", "-- below this line machine-generated", @@ -60,7 +62,7 @@ haskPreamble = "" ] -predefInst typ patt = let gtyp = gId typ in +predefInst gtyp typ patt = "newtype" +++ gtyp +++ "=" +++ gtyp +++ typ +++ " deriving Show" +++++ "instance Gf" +++ gtyp +++ "where" ++++ " gf (" ++ gtyp +++ "s) =" +++ patt +++++ |