anchor.diff:              we've taken to resolve it. *)
           //
           let lalr1Table =
  -            Lr0.resolveConflicts lalr1Table
  +            tprintf "  Using default strategy to solve any remaining conflicts..."
  +            let lalr1Table = Lr0.resolveConflicts lalr1Table
  +            tprintfn "done."
  +            lalr1Table
   
           // Return the compiled parser table.
  +        tprintfn "Finished compiling the parser specification."
           Choice1Of2 lalr1Table
   
  
positive.code: module FSharpYacc.Compiler
  
  open ExtCore
  open ExtCore.Collections
  open ExtCore.Control
  open ExtCore.Control.Collections
  
negative.code:     | Choice1Of2 lookaheadSets ->
          //
          let lalr1Table =
              tprintf "  Upgrading the SLR(1) parser table to LALR(1)..."
              let lalr1Table = Lalr1.upgrade (grammar, slr1Table, productionRuleIds, lookaheadSets)
              tprintfn "done."
              lalr1Table
  
          (* Apply precedence settings to resolve as many conflicts as possible. *)
          /// The LALR(1) parser table, after applying precedence settings.
          let lalr1Table =
              tprintf "  Applying precedence declarations..."
              // Apply precedences to resolve conflicts.
              let lalr1Table = Lr0.applyPrecedence (lalr1Table, precedenceSettings)
              tprintfn "done."
              lalr1Table
              
          (*  If we reach this point, the grammar is not LALR(1), but we can still create a
              parser by taking certain actions to resolve any remaining conflicts.
  