Source file messages.ml

(* This file was auto-generated based on "data_parser.messages". *)

(* Please note that the function [message] can raise [Not_found]. *)

let message =
  fun s ->
    match s with
    | 209 ->
        "An arrow '->' or '=>' or an end of input are expected\n"
    | 208 ->
        "A closing bracket ')' or an arrow '->' or '=>' are expected\n"
    | 204 | 201 ->
        "A type expression is expected\n"
    | 190 | 191 | 192 | 193 | 196 ->
        "This is not a valid type expression\n"
    | 189 ->
        "A type in the form of \"<type>\", followed by a closing bracket ')' and a semicolon ';', is expected\n"
    | 60 | 63 ->
        "An expression of the form \"<term>:<type>\" is expected\n"
    | 50 ->
        "A dot '.' or variable sequence and a dot '.' are expected\n"
    | 49 | 52 ->
        "A variable sequence (possibly limited to one element) and a dot '.' are expected\n"
    | 48 | 67 ->
        "A term \"<term>\" and a closing bracket ')' before an expression of the form \":<type>\" are expected\n"
    | 51 ->
        "An expression of the form \"<term>:<type>\" is expected\n"
    | 47 | 55 | 68 | 69 ->
        "An expression of the form \"<term>:<type>\" or \":<type>\" is expected\n"
    | 218 ->
        "A term, an arrow ('->' or '=>'), or a left parenthesis '(' are expected\n"
    | 105 | 185 | 214 ->
        "A term, an arrow ('->' or '=>'), a left parenthesis '(', or a colon ':' are expected\n"
    | 73 | 81 | 98 ->
        "A term, a left parenthesis '(', or a colon ':' are expected\n"
    | 14 ->
        "A term, a left parenthesis '(', or a semi-colon ';' are expected\n"
    | 13 | 26 ->
        "A term, an arrow ('->' or '=>'), a left parenthesis '(', or a semi-colon ';' are expected\n"
    | 10 ->
        "A term \"<term>\" is expected\n"
    | 9 | 11 ->
        "An identifier (the name of a bound variable) or a dot '.' are expected\n"
    | 8 ->
        "An identifier (the name of a bound variable) is expected\n"
    | 0 ->
        "An identifier (i.e., a type or a term) or a symbol are expected\n"
    | 36 ->
        "A comma ',' or an interpretation symbol ':=' are expected\n"
    | 6 | 28 ->
        "A term or a semicolon ';' is expected\n"
    | 37 ->
        "An identifier (i.e., a type or a term) or a symbol are expected\n"
    | 7 | 4 ->
        "A term or a type are expected\n"
    | 27 ->
        "An arrow ('->' or '=>'), or a semi-colon are expected\n"
    | 34 | 5 ->
        "An arrow ('->' or '=>'), a term, or a semi-colon are expected\n"
    | 22 | 19 ->
        "A type expression is expected\n"
    | 41 ->
        "An equality symbol '=' is expected\n"
    | 132 | 42 | 131 ->
        "A signature entry (type declaration, type definition, term declaration, or term definition) is expected\n"
    | 39 ->
        "A declaration of a signature (keyword 'signature') or of a lexicon (keyword 'lexicon' or 'nl_lexicon') is expected\n"
    | 141 ->
        "An identifier (the name of a new lexicon) is expected\n"
    | 142 ->
        "A left parenthesis '(' is expected\n"
    | 144 ->
        "A right parenthesis ')' is expected\n"
    | 145 ->
        "A colon ':' is expected\n"
    | 146 ->
        "An identifier (the name of a signature) is expected\n"
    | 147 ->
        "An equality symbol '=' is expected\n"
    | 149 ->
        "A semi-colon ';' or the 'end' keyword are expected\n"
    | 155 ->
        "An identifier (the name of a new lexicon) is expected\n"
    | 156 ->
        "A left parenthesis '(' is expected\n"
    | 157 ->
        "An identifier (the name of a signature) is expected\n"
    | 158 ->
        "A right parenthesis ')' is expected\n"
    | 159 ->
        "A expression in the form of \": <identifier> =\" where the identifier is the name of a signature is expected\n"
    | 160 | 143 | 40 ->
        "An identifier (the name of a signature) is expected\n"
    | 161 ->
        "An equality symbold '=' is expected\n"
    | 162 | 150 | 148 ->
        "A lexicon entry of the form \"<term> := <term>;\" or \"<type> := <type>\" is expected\n"
    | 165 | 164 ->
        "An expression representing the composition of lexicons is expected\n"
    | 170 ->
        "The composition operator '<<' or a right parenthesis ')' is expected\n"
    | 167 | 174 ->
        "The composition operator '<<' is expected\n"
    | 168 ->
        "An identifier (the name of a lexicon), or an expression representing the composition of lexicons is expected\n"
    | 180 ->
        "An identifier or a keyword ('infix', 'prefix', or 'binder') is expected\n"
    | 43 ->
        "A symbol is expected\n"
    | 86 ->
        "An associativity specification (one of the keywords 'Left', 'Right', or 'NonAssoc') or a precedence specification in the form of \"< <sym>\" where \"<sym>\" is an other infix symbol are expected\n"
    | 90 ->
        "A right square bracket ']' or a comma \",\" followed by a precedence specification in the form of \"< <sym>\" where \"<sym>\" is an other infix symbol are expected\n"
    | 89 ->
        "An associativity specification (one of the keywords 'Left', 'Right', or 'NonAssoc') is expected\n"
    | 91 ->
        "A precedence specification in the form of \"< <sym>\" where \"<sym>\" is an other infix symbol is expected\n"
    | 88 ->
        "A right square bracket ']' or a comma ',' followed by an associativity specification (one of the keywords 'Left', 'Right', or 'NonAssoc') are expected\n"
    | 87 ->
        "An identifier is expected\n"
    | 78 | 95 ->
        "A symbol or a declaration of associativity an precedence property are expected\n"
    | 79 | 44 | 96 ->
        "A typing judgement in the form of \": <type>;\" or a defintion in the form of \"= <term>: <type>;\" is expected\n"
    | 80 | 45 | 97 ->
        "A typing judgment in the form \"<term> : <type>;\" is expected\n"
    | 46 ->
        "A typing judgment in the form \": <type>;\" is expected\n"
    | 84 | 82 | 76 | 74 | 99 | 101 ->
        "A type is expected after the colon ':'\n"
    | 103 ->
        "A comma ',' or a colon ':' are expected in a type or term declaration. An equality symbol '=' is expected in a type or term definition\n"
    | 104 ->
        "A definition in the form of \"<term> : <type>;\" or a type definition of the form \"<type> : type;\" (with the keyword 'type') is expected after a term or a type defintion, resp\n"
    | 110 | 109 | 134 | 182 ->
        "After a term or type declaration of the form \"<ident1>, <ident2>\", a type declaration of the form \": type;\" (with the keyword 'type') or a typing judgment of the form \": <type>;\" is expected\n"
    | 112 ->
        "An identifier or a symbol (the name of the binder) is expected after the keyword 'binder'\n"
    | 120 ->
        "A typing judgement in the form of \": <type>\" or a definition in the form of \"= <term> : <type>\" is expected after the declaration of a binder\n"
    | 121 | 114 ->
        "A term is expected as right hand side of a term definition\n"
    | 122 ->
        "A term, a left parenthesis '(', or a colon ':' for a typing judgment in the form of \": <type>\" is expected after defining a binder\n"
    | 184 ->
        "A typing judgment in the form of \"<term> : <type>\" is expected\n"
    | 188 | 210 ->
        "A term is expected\n"
    | 217 ->
        "A type in the form of \"<type>;\" is expected\n"
    | 54 | 115 ->
        "A typing judgement in the form of \": <type>;\", or a type definition with a colon ':' and the 'type' keyword in the form of \": type;\" are expected in a term or a type definition\n"
    | 195 | 186 | 113 | 125 | 118 | 123 | 116 | 106 | 187 ->
        "A type expression is expected after ':'\n"
    | _ ->
        raise Not_found