From 6bed1fed963a20d5b78c6814a5156041ea0bad0d Mon Sep 17 00:00:00 2001 From: bringert Date: Mon, 29 Jan 2007 12:30:49 +0000 Subject: [PATCH] Handle coercion functions (_) in CFG generation for SRG. --- src/GF/Speech/TransformCFG.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/GF/Speech/TransformCFG.hs b/src/GF/Speech/TransformCFG.hs index 87fe8a160..37d90fb52 100644 --- a/src/GF/Speech/TransformCFG.hs +++ b/src/GF/Speech/TransformCFG.hs @@ -75,9 +75,11 @@ cfgToCFRules s = symb = mapSymbol catToString id catToString = prt gfcc = stateGFCC s - nameToTerm (Name f prs) = CFObj f (zipWith profileToTerm args prs) - where C.Typ args _ = lookType gfcc (i2i f) - i2i (IC c) = C.CId c + nameToTerm (Name IW [Unify [n]]) = CFRes n + nameToTerm (Name f@(IC c) prs) = + CFObj f (zipWith profileToTerm args prs) + where C.Typ args _ = lookType gfcc (C.CId c) + nameToTerm n = error $ "cfgToCFRules.nameToTerm" ++ show n profileToTerm (C.CId t) (Unify []) = CFMeta t profileToTerm _ (Unify xs) = CFRes (last xs) -- FIXME: unify profileToTerm (C.CId t) (Constant f) = maybe (CFMeta t) (\x -> CFObj x []) (forestName f)