package elpi

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file error_messages.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

(* 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
    | 61 | 79 | 91 | 93 ->
        "Anonymous predicate declaration expected.\nExamples:\n(pred i:ty, o:ty)\n(pred)\n"
    | 546 ->
        "You cannot ascribe a type on the head predicate.\n"
    | 302 | 301 | 139 | 140 | 141 | 142 | 214 | 308 | 309 | 60 ->
        "Illformed type cast.\nExamples:\n(x : ty)\npi x : ty \\ t\nlam (x : ty \\ t)\n"
    | 3 | 58 | 98 | 99 | 102 | 106 | 109 | 110 | 114 | 115 | 505 | 506 | 533 | 534 ->
        "Illformed pi or sigma.\nExamples:\npi X\\ p X\npi X Y Z\\ p X, q Y Z\nsigma X\\ p X\nsigma X Y Z\\ p X, q Y Z\n"
    | 484 | 419 | 420 | 422 ->
        "Mixfix declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\ninfixl and 30.\ninfixr ++ 45.\nprefix - 12.\n"
    | 361 | 362 ->
        "Useonly directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nuseonly foo.\nuseonly foo, bar.\n"
    | 365 | 467 ->
        "Closed directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nclosed foo.\nclosed foo, bar.\n"
    | 404 ->
        "Local kind declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nlocalkind foo.\nlocalkind foo, bar.\n"
    | 375 | 398 | 482 ->
        "Module/Signature header expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nmodule foo.\nsig bar.\n"
    | 426 | 425 ->
        "Definition export directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nexportdef foo, bar.\nexportdef foo  (term -> term).\n"
    | 530 | 531 | 88 | 62 | 476 | 86 | 74 | 75 | 539 | 540 | 541 | 542 | 71 | 69 | 72 ->
        "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 mapR i:list A, i:(pred i:A, o:B), o:list B.\nfunc map list A, (func A -> B) -> list B.\n"
    | 492 ->
        "External declaration expected. Examples:\nexternal type foo term -> prop.\nexternal pred foo i:term.\n"
    | 429 | 434 | 431 | 432 ->
        "Constraint Handling Rule header expected. Examples:\nconstraint foo {\nconstraint foo bar {\n"
    | 412 | 364 | 414 | 415 | 413 ->
        "Kind declaration expected. Examples:\nkind term  type.\nkind list  type -> type.\n"
    | 406 | 407 | 409 ->
        "Local symbol declaration expected. Examples:\nlocal foo.\nlocal foo, bar.\nlocal foo (term -> term).\n"
    | 395 | 396 ->
        "Namespace header expected. Examples:\nnamespace foo {\n"
    | 377 | 379 | 381 | 382 | 383 | 384 | 385 | 387 | 388 | 389 ->
        "Shortening directive expected. Examples:\nshorten foo.{ bar }.\nshorten foo.{ bar , baz }.\nshorten foo.{ bar , baz. { qux , dim } }.\n"
    | 367 | 368 | 103 | 373 | 471 | 369 | 370 ->
        "Type abbreviation expected. Examples:\ntypeabbrev context (list term).\ntypeabbrev (two A) (pair A A).\n"
    | 124 | 113 | 288 | 277 | 213 | 219 ->
        "List expected. Examples:\n[ this , that | More ].\n[ Head | Tail ].\n"
    | 618 | 623 | 8 | 622 ->
        "Malformed accumulate. Examples:\naccumulate foo.\naccumulate foo, bar.\naccumulate \"foo/bar\".\n"
    | 509 | 508 | 490 | 515 | 519 | 520 | 524 | 525 | 527 | 512 | 513 | 510 ->
        "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).\nrule (E :> Ctx ?- match this goal).\n"
    | 493 | 494 | 473 | 500 | 499 | 497 | 496 ->
        "Malformed type declaration. Examples:\ntype app tm -> tm -> tm.\ntype lam (tm -> tm) -> tm.\ntype (++) list A -> list A -> list A.\nsymbol app : tm -> tm -> tm.\n"
    | 464 | 465 ->
        "Malformed 'external' attribute. Example:\n:external pred\n"
    | 459 | 461 | 441 ->
        "Malformed grafting attribute. Example:\n:before \"some name\"\n:after \"some other name\"\n:replace \"some other name\"\n:remove \"some other name\"\n"
    | 455 ->
        "Malformed 'if' attribute. Example:\n:if \"VARIABLE\"\n"
    | 445 | 446 | 453 ->
        "Malformed 'index' attribute. Example:\n:index(1 _ 1)\n"
    | 443 ->
        "Malformed 'name' attribute. Example:\n:name \"name of the clause\"\n"
    | 437 | 439 | 450 ->
        "Attribute expected. Examples:\n:name \"some name\"\n:index (_ 1 1)\n"
    | 400 | 401 | 402 | 403 ->
        "Malformed macro declaration. Example:\nmacro @foo X Y :- p X => q Y.\n"
    | 356 ->
        "Prefix symbol expected.\n"
    | 353 ->
        "Postifx symbol expected.\n"
    | 319 ->
        "Infix symbol expected.\n"
    | 47 ->
        "Right parenthesis ')' expected.\n"
    | 0 | 107 | 108 ->
        "Term expected.\n"
    | 44 ->
        "Malformed as binding. Examples:\n(f X as Y)\n([_,_|_] as Y)\n"
    | 298 ->
        "Mixfix symbol or term expected.\n"
    | 550 | 552 | 572 | 574 | 554 | 576 | 579 | 581 | 583 | 585 | 587 | 589 | 591 | 593 | 595 | 556 | 558 | 560 | 570 | 599 | 601 | 607 | 609 | 613 | 615 | 536 | 537 | 224 | 246 | 228 | 258 | 226 | 232 | 242 | 248 | 260 | 230 | 234 | 262 | 266 | 238 | 264 | 268 | 236 | 240 | 256 | 272 | 222 | 296 | 127 | 305 | 315 | 208 | 162 | 178 | 186 | 190 | 158 | 170 | 182 | 152 | 156 | 184 | 188 | 160 | 120 | 123 | 144 | 168 | 148 | 130 | 138 | 136 | 180 | 146 | 154 | 210 | 164 | 194 | 198 | 202 | 204 | 276 | 280 | 285 | 289 | 545 | 299 | 307 | 538 | 166 | 172 | 174 | 176 | 192 | 244 | 250 | 252 | 254 | 270 | 278 | 562 | 564 | 566 | 568 | 597 | 200 | 611 | 313 | 311 | 96 | 100 | 217 | 95 | 547 | 59 | 286 | 125 | 211 | 215 | 216 | 206 | 282 | 605 | 209 | 101 | 64 | 67 | 68 | 77 | 83 | 501 ->
        "Term expected, got keyword.\n"
    | 549 ->
        "Unexpected keyword.\n"
    | 359 | 486 ->
        "Unexpected start of program clause or declaration.\n"
    | 167 | 155 | 187 | 183 | 159 | 189 | 157 | 153 | 147 | 179 | 145 | 177 | 569 | 578 | 571 | 245 | 573 | 553 | 575 | 580 | 582 | 584 | 586 | 588 | 590 | 592 | 594 | 235 | 267 | 237 | 265 | 261 | 233 | 229 | 259 | 231 | 225 | 257 | 227 | 151 | 181 | 606 | 555 | 557 | 559 | 598 | 600 | 608 | 612 | 614 | 551 | 263 | 247 | 241 | 143 | 163 | 169 | 185 | 161 | 193 | 197 | 201 | 203 | 207 | 223 | 239 | 255 | 271 | 275 | 279 | 284 | 304 | 291 | 218 | 165 | 171 | 173 | 175 | 191 | 243 | 249 | 251 | 253 | 269 | 561 | 563 | 565 | 567 | 596 | 199 | 610 | 205 | 281 | 604 | 65 | 603 | 602 | 274 | 273 | 196 | 195 ->
        "This infix operator expects a right hand side.\n"
    | 126 | 544 | 119 ->
        "This prefix operator expects an argument.\n"
    | _ ->
        raise Not_found
OCaml

Innovation. Community. Security.