anchor.diff:                          | Symbol.Nonterminal nonterm as symbol ->
                               /// The state (set of items) transitioned into
                               /// via the edge labeled with this symbol.
  -                            let targetState = Lr1Item.goto symbol stateItems grammar predictiveSets
  +                            let targetState = Item.goto symbol stateItems grammar predictiveSets
   
                               /// The identifier of the target state.
                               let targetStateId, tableGenState =
  
positive.code:                             LrTableGenState.reductionRuleId (item.Nonterminal, item.Production) tableGenState
  
                          // Add 'reduce' actions to the parser table.
                          Lr0TableGenState.reduce stateId reductionRuleId grammar.Terminals tableGenState
                          // TEMP : Discard the unit return value until we can use a monadic fold.
                          |> snd
                      else
  
negative.code:         Table = Map.empty;
          ParserStates = Map.empty;
          ReductionRules = Map.empty;
          ReductionRulesById = Map.empty;
          ParserStatePositionGraphs = Map.empty; }
  
      /// Retrives the identifier for a given parser state (set of items).
      /// If the state has not been assigned an identifier, one is created
  