From b7fe4eacc90c538a7a366c5ee6cef2c285451c47 Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 3 Oct 2008 07:16:39 +0000 Subject: [PATCH] Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23 --- src/PGF/ShowLinearize.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/PGF/ShowLinearize.hs b/src/PGF/ShowLinearize.hs index 663264d63..87538201c 100644 --- a/src/PGF/ShowLinearize.hs +++ b/src/PGF/ShowLinearize.hs @@ -48,7 +48,9 @@ mkRecord typ trm = case (typ,trm) of (S [FV ps,ty],R ts) -> RT [(str par, mkRecord ty t) | (par, t) <- zip ps ts] (_,W s (R ts)) -> mkRecord typ (R [K (KS (s ++ u)) | K (KS u) <- ts]) (FV ps, C i) -> RCon $ str $ ps !! i - (S [], _) -> RS $ str trm + (S [], _) -> case realizes trm of + [s] -> RS s + ss -> RFV $ map RS ss _ -> RS $ show trm ---- printTree trm where str = realize