15.3.279  src/lib/compiler/front/typer/main/validate-message-type.api

## validate-message-type.api

# Compiled by:
#     src/lib/compiler/front/typer/typer.sublib

# This API is implemented by:
#
#     src/lib/compiler/front/typer/main/validate-message-type.pkg


api Validate_Message_Type {

    validate_message_type
        :
        ( raw_syntax::Any_Type,
          symbolmapstack::Symbolmapstack,
          line_number_db::Source_Code_Region,
          typer_junk::Per_Compile_Stuff,
          Int                                   # Syntax error count.
        )
        ->
        Int;                                    # Updated syntax error count.
};


## Code by Jeff Prothero: Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.