package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a
doc/src/elpi.parser/error_messages.ml.html
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 | 62 | 80 | 92 | 94 -> "Anonymous predicate declaration expected.\nExamples:\n(pred i:ty, o:ty)\n(pred)\n" | 547 -> "You cannot ascribe a type on the head predicate.\n" | 303 | 302 | 140 | 141 | 142 | 143 | 215 | 309 | 310 | 61 -> "Illformed type cast.\nExamples:\n(x : ty)\npi x : ty \\ t\nlam (x : ty \\ t)\n" | 4 | 59 | 99 | 100 | 103 | 107 | 110 | 111 | 115 | 116 | 506 | 507 | 534 | 535 -> "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" | 485 | 420 | 421 | 423 -> "Mixfix declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\ninfixl and 30.\ninfixr ++ 45.\nprefix - 12.\n" | 362 | 363 -> "Useonly directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nuseonly foo.\nuseonly foo, bar.\n" | 366 | 468 -> "Closed directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nclosed foo.\nclosed foo, bar.\n" | 405 -> "Local kind declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nlocalkind foo.\nlocalkind foo, bar.\n" | 376 | 399 | 483 -> "Module/Signature header expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nmodule foo.\nsig bar.\n" | 427 | 426 -> "Definition export directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nexportdef foo, bar.\nexportdef foo (term -> term).\n" | 531 | 532 | 89 | 63 | 477 | 87 | 75 | 76 | 540 | 541 | 542 | 543 | 72 | 70 | 73 -> "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" | 493 -> "External declaration expected. Examples:\nexternal type foo term -> prop.\nexternal pred foo i:term.\n" | 430 | 435 | 432 | 433 -> "Constraint Handling Rule header expected. Examples:\nconstraint foo {\nconstraint foo bar {\n" | 413 | 365 | 415 | 416 | 414 -> "Kind declaration expected. Examples:\nkind term type.\nkind list type -> type.\n" | 407 | 408 | 410 -> "Local symbol declaration expected. Examples:\nlocal foo.\nlocal foo, bar.\nlocal foo (term -> term).\n" | 396 | 397 -> "Namespace header expected. Examples:\nnamespace foo {\n" | 378 | 380 | 382 | 383 | 384 | 385 | 386 | 388 | 389 | 390 -> "Shortening directive expected. Examples:\nshorten foo.{ bar }.\nshorten foo.{ bar , baz }.\nshorten foo.{ bar , baz. { qux , dim } }.\n" | 368 | 369 | 104 | 374 | 472 | 370 | 371 -> "Type abbreviation expected. Examples:\ntypeabbrev context (list term).\ntypeabbrev (two A) (pair A A).\n" | 125 | 114 | 289 | 278 | 214 | 220 -> "List expected. Examples:\n[ this , that | More ].\n[ Head | Tail ].\n" | 619 | 624 | 9 | 623 -> "Malformed accumulate. Examples:\naccumulate foo.\naccumulate foo, bar.\naccumulate \"foo/bar\".\n" | 510 | 509 | 491 | 516 | 520 | 521 | 525 | 526 | 528 | 513 | 514 | 511 -> "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" | 494 | 495 | 474 | 501 | 500 | 498 | 497 -> "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" | 465 | 466 -> "Malformed 'external' attribute. Example:\n:external pred\n" | 460 | 462 | 442 -> "Malformed grafting attribute. Example:\n:before \"some name\"\n:after \"some other name\"\n:replace \"some other name\"\n:remove \"some other name\"\n" | 456 -> "Malformed 'if' attribute. Example:\n:if \"VARIABLE\"\n" | 446 | 447 | 454 -> "Malformed 'index' attribute. Example:\n:index(1 _ 1)\n" | 444 -> "Malformed 'name' attribute. Example:\n:name \"name of the clause\"\n" | 438 | 440 | 451 -> "Attribute expected. Examples:\n:name \"some name\"\n:index (_ 1 1)\n" | 401 | 402 | 403 | 404 -> "Malformed macro declaration. Example:\nmacro @foo X Y :- p X => q Y.\n" | 357 -> "Prefix symbol expected.\n" | 354 -> "Postifx symbol expected.\n" | 320 -> "Infix symbol expected.\n" | 48 -> "Right parenthesis ')' expected.\n" | 0 | 108 | 109 -> "Term expected.\n" | 45 -> "Malformed as binding. Examples:\n(f X as Y)\n([_,_|_] as Y)\n" | 299 -> "Mixfix symbol or term expected.\n" | 551 | 553 | 573 | 575 | 555 | 577 | 580 | 582 | 584 | 586 | 588 | 590 | 592 | 594 | 596 | 557 | 559 | 561 | 571 | 600 | 602 | 608 | 610 | 614 | 616 | 537 | 538 | 225 | 247 | 229 | 259 | 227 | 233 | 243 | 249 | 261 | 231 | 235 | 263 | 267 | 239 | 265 | 269 | 237 | 241 | 257 | 273 | 223 | 297 | 128 | 306 | 316 | 209 | 163 | 179 | 187 | 191 | 159 | 171 | 183 | 153 | 157 | 185 | 189 | 161 | 121 | 124 | 145 | 169 | 149 | 131 | 139 | 137 | 181 | 147 | 155 | 211 | 165 | 195 | 199 | 203 | 205 | 277 | 281 | 286 | 290 | 546 | 300 | 308 | 539 | 167 | 173 | 175 | 177 | 193 | 245 | 251 | 253 | 255 | 271 | 279 | 563 | 565 | 567 | 569 | 598 | 201 | 612 | 314 | 312 | 97 | 101 | 218 | 96 | 548 | 60 | 287 | 126 | 212 | 216 | 217 | 207 | 283 | 606 | 210 | 102 | 65 | 68 | 69 | 78 | 84 | 502 -> "Term expected, got keyword.\n" | 550 -> "Unexpected keyword.\n" | 360 | 487 -> "Unexpected start of program clause or declaration.\n" | 168 | 156 | 188 | 184 | 160 | 190 | 158 | 154 | 148 | 180 | 146 | 178 | 570 | 579 | 572 | 246 | 574 | 554 | 576 | 581 | 583 | 585 | 587 | 589 | 591 | 593 | 595 | 236 | 268 | 238 | 266 | 262 | 234 | 230 | 260 | 232 | 226 | 258 | 228 | 152 | 182 | 607 | 556 | 558 | 560 | 599 | 601 | 609 | 613 | 615 | 552 | 264 | 248 | 242 | 144 | 164 | 170 | 186 | 162 | 194 | 198 | 202 | 204 | 208 | 224 | 240 | 256 | 272 | 276 | 280 | 285 | 305 | 292 | 219 | 166 | 172 | 174 | 176 | 192 | 244 | 250 | 252 | 254 | 270 | 562 | 564 | 566 | 568 | 597 | 200 | 611 | 206 | 282 | 605 | 66 | 604 | 603 | 275 | 274 | 197 | 196 -> "This infix operator expects a right hand side.\n" | 127 | 545 | 120 -> "This prefix operator expects an argument.\n" | _ -> raise Not_found
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>