handle LeftArrow and Rightarrow properly in Html

darcs-hash:20090128220433-5007d-a4650f68a36fd46f4d552be3c5bec3d9cdaaa47a.gz

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
-               | LeftArrow | DoubleLeftArrow | DoubleRightArrow
+               | LeftArrow | RightArrow | DoubleLeftArrow | DoubleRightArrow
                | DoubleLeftRightArrow | LeftRightArrow | Degree
 
 data Login     = Login String (Maybe String)

diff --git a/src/Html.lhs b/src/Html.lhs
index 74259f7..1989e64 100644 (file)
--- a/src/Html.lhs
+++ b/src/Html.lhs
@@ -284,7 +284,8 @@ instance ToHtml Text where
  toHtml (GlyphText Sharp)         = "⋘"
  toHtml (GlyphText CheckMark)     = "✓"
  toHtml (GlyphText XMark)         = "✗"
- toHtml (GlyphText LeftArrow)            = "&#;"  -- FIXME
+ toHtml (GlyphText LeftArrow)            = "←"
+ toHtml (GlyphText RightArrow)           = "→"
  toHtml (GlyphText DoubleLeftArrow)      = "&#;"  -- FIXME
  toHtml (GlyphText DoubleRightArrow)     = "&#;"  -- FIXME
  toHtml (GlyphText DoubleLeftRightArrow) = "&#;"  -- FIXME