anchor.diff:                              // If this is a new state, add it to the list of states which need to be visited.
                               let workSet =
                                   if isNewState then
  -                                    Set.add targetStateId workSet
  +                                    TagSet.add targetStateId workSet
                                   else workSet
   
                               // The next symbol to be parsed is a terminal (token),
  
positive.code:             LrTableGenState.stateId initialParserState tableGenState
              
          // Create the parser table.
          createTableImpl grammar (Set.singleton initialParserStateId) tableGenState
          // Get the table from the table-generation state.
          |> snd
  
  
negative.code:                             // If this is a new state, add it to the list of states which need to be visited.
                              let workSet =
                                  if isNewState then
                                      TagSet.add targetStateId workSet
                                  else workSet
  
                              // The next symbol to be parsed is a nonterminal,
  