@@ -55,12 +55,10 @@ lexWS = do i <- getInput
5555
5656 simpleSpace = skipMany1 (satisfy isSpace)
5757 oneLineComment = do try (do string ("--")
58− skipMany simpleSpace
5958 satisfy (\x -> x /= '|' && x /= '^'))
6059 skipMany (satisfy (/= '\n'))
6160 return ()
6261 multiLineComment = do try (do string "{-"
63− skipMany simpleSpace
6462 satisfy (\x -> x /= '|' && x /= '^'))
6563 inCommentMulti
6664
@@ -136,7 +134,6 @@ mkName (n, ns) = NS (UN n) (reverse (parseNS ns))
136134pDocComment :: Char -> CParser a String
137135pDocComment c
138136 = try (do string ("--")
139− option ' ' (lchar ' ')
140137 char c
141138 skipMany simpleSpace
142139 i <- getInput
@@ -145,7 +142,6 @@ pDocComment c
145142 whiteSpace
146143 return doc)
147144 <|> try (do string ("{-")
148− option ' ' (lchar ' ')
149145 char c
150146 skipMany simpleSpace
151147 i <- getInput