summaryrefslogtreecommitdiff
path: root/src/PGF/Linearize.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-12-16 13:56:23 +0000
committeraarne <aarne@cs.chalmers.se>2008-12-16 13:56:23 +0000
commite32e9147034b564b2de1b0a54be714c98a0daf9b (patch)
treeaeb96806bb7615fad41282395ab45780b3aaa3e3 /src/PGF/Linearize.hs
parent8c7aa2f5bb56c09a29c54917e8ae7549db7080fb (diff)
datatype for bracketed texts, and improved word alignment
Diffstat (limited to 'src/PGF/Linearize.hs')
-rw-r--r--src/PGF/Linearize.hs3
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]