GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-06 17:52:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

generate Eq instance for GADT

Browse Source
This commit is contained in:
aarne
2011-04-06 12:27:31 +00:00
parent 7067b1c992
commit 75e401d1a7
1 changed files with 33 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
src/compiler/GF/Compile/PGFtoHaskell.hs
View File

@@ -129,16 +129,28 @@ predefTypeSkel = [(c,[]) | c <- ["String", "Int", "Float"]]
-- GADT version of data types -- GADT version of data types
datatypesGADT :: Prefix -> (OIdent -> Bool) -> (String,HSkeleton) -> String datatypesGADT :: Prefix -> (OIdent -> Bool) -> (String,HSkeleton) -> String
datatypesGADT gId lexical (_,skel) = datatypesGADT gId lexical (_,skel) = unlines $
unlines (concatMap (hCatTypeGADT gId) (skel ++ predefTypeSkel)) concatMap (hCatTypeGADT gId) (skel ++ predefTypeSkel) ++
+++++ [
"data Tree :: * -> * where" ++++ "",
unlines (concatMap (map (" "++) . hDatatypeGADT gId lexical) skel) ++++ "data Tree :: * -> * where"
unlines [ ] ++
concatMap (map (" "++) . hDatatypeGADT gId lexical) skel ++
[
" GString :: String -> Tree GString_", " GString :: String -> Tree GString_",
" GInt :: Int -> Tree GInt_", " GInt :: Int -> Tree GInt_",
" GFloat :: Double -> Tree GFloat_" " GFloat :: Double -> Tree GFloat_",
] "",
"instance Eq (Tree a) where",
" i == j = case (i,j) of"
] ++
concatMap (map (" "++) . hEqGADT gId lexical) skel ++
[
" (GString x, GString y) -> x == y",
" (GInt x, GInt y) -> x == y",
" (GFloat x, GFloat y) -> x == y",
" _ -> False"
]
hCatTypeGADT :: Prefix -> (OIdent, [(OIdent, [OIdent])]) -> [String] hCatTypeGADT :: Prefix -> (OIdent, [(OIdent, [OIdent])]) -> [String]
hCatTypeGADT gId (cat,rules) hCatTypeGADT gId (cat,rules)
@@ -154,6 +166,17 @@ hDatatypeGADT gId lexical (cat, rules)
++ if lexical cat then [lexicalConstructor cat +++ ":: String ->"+++ t] else [] ++ if lexical cat then [lexicalConstructor cat +++ ":: String ->"+++ t] else []
where t = "Tree" +++ gId cat ++ "_" where t = "Tree" +++ gId cat ++ "_"
hEqGADT :: Prefix -> (OIdent -> Bool) -> (OIdent, [(OIdent, [OIdent])]) -> [String]
hEqGADT gId lexical (cat, rules)
| isListCat (cat,rules) = let r = listr cat in ["(" ++ patt "x" r ++ "," ++ patt "y" r ++ ") -> " ++ listeqs]
| otherwise = ["(" ++ patt "x" r ++ "," ++ patt "y" r ++ ") -> " ++ eqs r | r <- rules]
where
patt s (f,xs) = unwords (gId f : mkSVars s (length xs))
eqs (_,xs) = unwords ("and" : "[" : intersperse "," [x ++ " == " ++ y |
(x,y) <- zip (mkSVars "x" (length xs)) (mkSVars "y" (length xs)) ] ++ ["]"])
listr c = (c,["foo"]) -- foo just for length = 1
listeqs = "and [x == y | (x,y) <- zip x1 y1]"
prCompos :: Prefix -> (OIdent -> Bool) -> (String,HSkeleton) -> [String] prCompos :: Prefix -> (OIdent -> Bool) -> (String,HSkeleton) -> [String]
prCompos gId lexical (_,catrules) = prCompos gId lexical (_,catrules) =
["instance Compos Tree where", ["instance Compos Tree where",
@@ -201,7 +224,8 @@ hInstance gId lexical m (cat,rules)
mkRHS f vars = "mkApp (mkCId \"" ++ f ++ "\")" +++ mkRHS f vars = "mkApp (mkCId \"" ++ f ++ "\")" +++
"[" ++ prTList ", " ["gf" +++ x | x <- vars] ++ "]" "[" ++ prTList ", " ["gf" +++ x | x <- vars] ++ "]"
mkVars n = ["x" ++ show i | i <- [1..n]] mkVars = mkSVars "x"
mkSVars s n = [s ++ show i | i <- [1..n]]
----fInstance m ("Cn",_) = "" --- ----fInstance m ("Cn",_) = "" ---
fInstance _ _ m (cat,[]) = "" fInstance _ _ m (cat,[]) = ""