handle LeftArrow and Rightarrow properly in Html

[wix.git] / src / Doc.lhs

diff --git a/src/Doc.lhs b/src/Doc.lhs
index 6d1baa7..f8336f5 100644 (file)
--- a/src/Doc.lhs
+++ b/src/Doc.lhs
@@ -46,7 +46,7 @@ data Text      = WS
 data Glyph     = Euro | CircleR | CircleC | TradeMark | ServiceMark
                | Emdash | Ellipsis | Cent | Daggar | DoubleDaggar
                | Clover | Flat | Sharp | Natural | CheckMark | XMark
 data Glyph     = Euro | CircleR | CircleC | TradeMark | ServiceMark
                | Emdash | Ellipsis | Cent | Daggar | DoubleDaggar
                | Clover | Flat | Sharp | Natural | CheckMark | XMark

-               | LeftArrow | DoubleLeftArrow | DoubleRightArrow
+               | LeftArrow | RightArrow | DoubleLeftArrow | DoubleRightArrow

                | DoubleLeftRightArrow | LeftRightArrow | Degree
 
 data Login     = Login String (Maybe String)
                | DoubleLeftRightArrow | LeftRightArrow | Degree
 
 data Login     = Login String (Maybe String)