msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Merge mine and aarne's variants linearization changes.

Browse Source
This commit is contained in:
bjorn
2008-10-03 09:53:25 +00:00
parent 59cb392bda
commit 5bc73e10bc
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/PGF/Linearize.hs
View File

@@ -60,16 +60,13 @@ linTree pgf lang = lin
R ts -> R $ ts ++ (Data.List.map (kks . prCId) xs)
TM s -> R $ (TM s) : (Data.List.map (kks . prCId) xs)
lin (Fun fun es) = let argVariants = mapM (liftVariants . lin) es
mkVariants [t] = t
mkVariants ts = FV ts
in mkVariants [comp args $ look fun | args <- argVariants]
in variants [compute pgf lang args $ look fun | args <- argVariants]
lin (Lit (LStr s)) = R [kks (show s)] -- quoted
lin (Lit (LInt i)) = R [kks (show i)]
lin (Lit (LFlt d)) = R [kks (show d)]
lin (Var x) = TM (prCId x)
lin (Meta i) = TM (show i)
comp ls t = variants [compute pgf lang ts t | ts <- combinations (map unvariants ls)]
look = lookLin pgf lang
variants :: [Term] -> Term