diff options
Diffstat (limited to 'src/PGF/Linearize.hs')
| -rw-r--r-- | src/PGF/Linearize.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/PGF/Linearize.hs b/src/PGF/Linearize.hs index 36f639053..c15bbd105 100644 --- a/src/PGF/Linearize.hs +++ b/src/PGF/Linearize.hs @@ -146,11 +146,10 @@ linTreeMark pgf lang = lin [] R ts -> R $ map (mark p) ts FV ts -> R $ map (mark p) ts S ts -> S $ bracket p ts - K s -> S $ bracketw p [t] + K s -> S $ bracket p [t] W s (R ts) -> R [mark p $ kks (s ++ u) | K (KS u) <- ts] _ -> t -- otherwise in normal form bracket p ts = [kks ("("++show p)] ++ ts ++ [kks ")"] - bracketw p ts = [kks ("{"++show p)] ++ ts ++ [kks "}"] -- for easy word alignment sub p i = p ++ [i] |