@@ -137,11 +137,6 @@ rightArrow =
137137 string "->" <|> string "\8594" <?> "->"
138138
139139
140−leftArrow :: IParser String
141−leftArrow =
142− string "<-" <?> "<- for a record update"
143−
144−
145140hasType :: IParser String
146141hasType =
147142 string ":" <?> "the \"has type\" symbol ':'"
@@ -632,6 +627,6 @@ processAs processor s =
632627 , T.opStart = undefined
633628 , T.opLetter = undefined
634629 , T.reservedNames = reserveds
635− , T.reservedOpNames = [":", "->", "<-", "|"]
630+ , T.reservedOpNames = [":", "->", "|"]
636631 , T.caseSensitive = True
637632 }