@@ -137,11 +137,6 @@ rightArrow =
137 string "->" <|> string "\8594" <?> "->"
137 string "->" <|> string "\8594" <?> "->"
140−leftArrow :: IParser String
142− string "<-" <?> "<- for a record update"
145hasType :: IParser String
140hasType :: IParser String
147 string ":" <?> "the \"has type\" symbol ':'"
142 string ":" <?> "the \"has type\" symbol ':'"
@@ -632,6 +627,6 @@ processAs processor s =
632 , T.opStart = undefined
627 , T.opStart = undefined
633 , T.opLetter = undefined
628 , T.opLetter = undefined
634 , T.reservedNames = reserveds
629 , T.reservedNames = reserveds
635− , T.reservedOpNames = [":", "->", "<-", "|"]
630+ , T.reservedOpNames = [":", "->", "|"]
636 , T.caseSensitive = True
631 , T.caseSensitive = True