Source file error_messages.ml

(* This file was auto-generated based on "error_messages.txt". *)

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

let message =
  fun s ->
    match s with
    | 420 | 355 | 356 | 358 ->
        "Mixfix declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\ninfixl and 30.\ninfixr ++ 45.\nprefix - 12.\n"
    | 271 | 274 | 289 ->
        "Useonly directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nuseonly foo.\nuseonly foo, bar.\n"
    | 290 | 291 | 401 ->
        "Closed directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nclosed foo.\nclosed foo, bar.\n"
    | 340 ->
        "Local kind declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nlocalkind foo.\nlocalkind foo, bar.\n"
    | 303 | 326 | 418 ->
        "Module/Signature header expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nmodule foo.\nsig bar.\n"
    | 275 | 276 | 278 | 279 | 280 | 282 | 283 | 287 | 361 | 362 | 363 ->
        "Definition export directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nexportdef foo, bar.\nexportdef foo  (term -> term).\n"
    | 453 | 454 | 460 | 455 | 456 ->
        "Predicate declaration expected. Examples:\npred append i:list A, i:list A, o:list A.\npred append i:list A i:list A o:list A.\npred map i:list A, i:(A -> B -> prop), o:list B.\n"
    | 469 ->
        "Unexpected keyword.\n"
    | 428 ->
        "External declaration expected. Examples:\nexternal type foo term -> prop.\nexternal pred foo i:term.\n"
    | 365 | 370 | 367 | 368 ->
        "Constraint Handling Rule header expected. Examples:\nconstraint foo {\nconstraint foo bar {\n"
    | 348 | 349 | 350 | 351 ->
        "Kind declaration expected. Examples:\nkind term  type.\nkind list  type -> type.\n"
    | 342 | 343 | 344 ->
        "Local symbol declaration expected. Examples:\nlocal foo.\nlocal foo, bar.\nlocal foo (term -> term).\n"
    | 323 | 324 ->
        "Namespace header expected. Examples:\nnamespace foo {\n"
    | 305 | 307 | 309 | 310 | 311 | 312 | 313 | 315 | 316 | 317 ->
        "Shortening directive expected. Examples:\nshorten foo.{ bar }.\nshorten foo.{ bar , baz }.\nshorten foo.{ bar , baz. { qux , dim } }.\n"
    | 293 | 294 | 298 | 301 | 302 | 295 ->
        "Type abbreviation expected. Examples:\ntypeabbrev context (list term).\ntypeabbrev (two A) (pair A A).\n"
    | 22 | 185 | 176 ->
        "List expected. Examples:\n[ this , that | More ].\n[ Head | Tail ].\n"
    | 38 ->
        "Closing '[' with ')'.\n"
    | 536 | 541 | 272 | 540 ->
        "Malformed accumulate. Examples:\naccumulate foo.\naccumulate foo, bar.\naccumulate \"foo/bar\".\n"
    | 433 | 432 | 426 | 435 | 436 | 438 | 442 | 443 | 447 | 448 | 450 ->
        "Malformed CHR rule declaration. Examples:\nrule (match this).\nrule (match this) \\ (remove that).\nrule (match this) \\ (remove that) | (only when).\nrule (match this) \\ (remove that) | (only when) <=> (add this).\n"
    | 429 | 430 | 431 ->
        "Malformed type declaration. Examples:\ntype app tm -> tm -> tm.\ntype lam (tm -> tm) -> tm.\ntype (++) list A -> list A -> list A.\n"
    | 398 | 399 ->
        "Malformed 'external' attribute. Example:\n:external pred\n"
    | 393 | 395 | 376 ->
        "Malformed grafting attribute. Example:\n:before \"some name\"\n:after \"some other name\"\n:replace \"some other name\"\n:remove \"some other name\"\n"
    | 390 ->
        "Malformed 'if' attribute. Example:\n:if \"VARIABLE\"\n"
    | 380 | 381 | 388 ->
        "Malformed 'index' attribute. Example:\n:index(1 _ 1)\n"
    | 378 ->
        "Malformed 'name' attribute. Example:\n:name \"name of the clause\"\n"
    | 373 | 374 | 385 ->
        "Attribute expected. Examples:\n:name \"some name\"\n:index (_ 1 1)\n"
    | 336 | 337 | 338 | 339 ->
        "Malformed macro declaration. Example:\nmacro @foo X Y :- p X => q Y.\n"
    | 328 | 329 | 330 | 334 | 412 ->
        "Malformed mode declaration. Example:\nmode (foo i i o).\n"
    | 266 ->
        "Prefix symbol expected.\n"
    | 263 ->
        "Postifx symbol expected.\n"
    | 231 ->
        "Infix symbol expected.\n"
    | 225 ->
        "Right parenthesis ')' expected.\n"
    | 0 | 19 | 20 ->
        "Term expected.\n"
    | 217 ->
        "Malformed as binding. Examples:\n(f X as Y)\n([_,_|_] as Y)\n"
    | 9 | 197 ->
        "Mixfix symbol or term expected.\n"
    | 472 | 474 | 494 | 496 | 476 | 498 | 501 | 503 | 505 | 507 | 509 | 511 | 513 | 515 | 517 | 478 | 480 | 482 | 492 | 521 | 523 | 525 | 527 | 531 | 533 | 463 | 464 | 125 | 147 | 129 | 159 | 127 | 133 | 143 | 149 | 161 | 131 | 135 | 163 | 167 | 139 | 165 | 169 | 137 | 120 | 141 | 157 | 173 | 123 | 183 | 193 | 41 | 223 | 227 | 116 | 118 | 74 | 90 | 98 | 102 | 70 | 82 | 94 | 64 | 68 | 96 | 100 | 72 | 34 | 37 | 58 | 80 | 62 | 44 | 52 | 50 | 92 | 60 | 66 | 56 | 76 | 106 | 108 | 112 | 114 | 175 | 179 | 182 | 186 | 467 | 220 | 465 | 78 | 84 | 86 | 88 | 104 | 145 | 151 | 153 | 155 | 171 | 177 | 484 | 486 | 488 | 490 | 519 | 110 | 529 ->
        "Term expected, got keyword.\n"
    | 471 ->
        "Unexpected keyword.\n"
    | 269 | 422 ->
        "Unexpected start of program clause or declaration.\n"
    | 79 | 67 | 99 | 95 | 71 | 101 | 69 | 65 | 61 | 91 | 59 | 89 | 491 | 500 | 493 | 146 | 495 | 475 | 497 | 502 | 504 | 506 | 508 | 510 | 512 | 514 | 516 | 136 | 168 | 138 | 166 | 162 | 134 | 130 | 160 | 132 | 126 | 158 | 128 | 63 | 93 | 524 | 477 | 479 | 481 | 520 | 522 | 526 | 530 | 532 | 473 | 164 | 148 | 142 | 57 | 75 | 81 | 97 | 73 | 105 | 107 | 111 | 113 | 115 | 124 | 140 | 156 | 172 | 174 | 178 | 181 | 222 | 39 | 188 | 119 | 77 | 83 | 85 | 87 | 103 | 144 | 150 | 152 | 154 | 170 | 483 | 485 | 487 | 489 | 518 | 109 | 528 ->
        "This infix operator expects a right hand side.\n"
    | 40 | 466 | 29 ->
        "This prefix operator expects an argument.\n"
    | _ ->
        raise Not_found