anchor.diff:  
       // Validate %type declarations of nonterminals.
       let precompilationState =
  +        // TODO : Change to use List.rev and State.List.iter
           (spec.NonterminalDeclarations, precompilationState)
           ||> List.foldBack (fun (declaredType, nonterminalId) precompilationState ->
               // Has this nonterminal been declared?
  
positive.code:         { messages with
              Warnings = message :: messages.Warnings; }
  
  
  /// Reserved terminal identifiers.
  /// Defining a terminal with any of these identifiers will cause an error message
  
negative.code:     // Copy some fields which don't need to be validated from the
      // original specification to the precompilation state.
      let precompilationState =
          PrecompilationState.setHeader spec.Header precompilationState
  
      (* NOTE :   In the code below, we fold *backwards* over the lists of declarations because they are all provided
                  in reverse order (compared to the way they were ordered in the parser specification file). *)
  