anchor.diff:      // Special characters.
   
       /// All non-whitespace special characters.
  -    let specChars = ",(){}*<>+|;="
  +    let specChars = ",(){}*<>+|;=-"
   
       // TODO(CaptainHayashi):
       //   these two predicates should probably have their names transposed!
  
positive.code:         parseIdentifier .>> ws >>= (
              fun id -> choice [ pstring "++" >>% Postfix (id, Increment)
                               ; pstring "--" >>% Postfix (id, Decrement)
                               ; pstring "=" >>. ws >>. parseFetch id 
                               ]
          )
      
      /// Parser for atomic actions.
      let parseAtomic =
          // TODO(CaptainHayashi):
  
negative.code:     /// Parser for compare-and-swaps.
      /// This parser DOES NOT parse whitespace afterwards.
      let parseCAS = pstring "CAS"
                         >>. inParens ( pipe3ws (parseIdentifier .>> ws .>> pstring ",")
                                                (parseExpression .>> ws .>> pstring ",")
                                                parseExpression
                                                (curry3 CompareAndSwap)
                                      )
  
      /// Parser for fetch sigils.
      /// This parser SOMETIMES parses whitespace afterwards.
  