Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file error_messages.ml
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192(* This file was auto-generated based on "error_messages.txt". *)(* Please note that the function [message] can raise [Not_found]. *)letmessage=funs->matchswith|62|74|94|82|96->"Anonymous predicate declaration expected.\nExamples:\n(pred i:ty, o:ty)\n(pred)\n(func tm -> ty)\n(func)\n"|552->"You cannot ascribe a type on the head predicate.\n"|305|304|142|143|144|145|217|311|312|61->"Illformed type cast.\nExamples:\n(x : ty)\npi x : ty \\ t\nlam (x : ty \\ t)\n"|4|59|101|102|105|109|112|113|117|118|508|509|537|538->"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"|487|422|423|425->"Mixfix declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\ninfixl and 30.\ninfixr ++ 45.\nprefix - 12.\n"|364|365->"Useonly directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nuseonly foo.\nuseonly foo, bar.\n"|368|470->"Closed directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nclosed foo.\nclosed foo, bar.\n"|407->"Local kind declaration expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nlocalkind foo.\nlocalkind foo, bar.\n"|378|401|485->"Module/Signature header expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nmodule foo.\nsig bar.\n"|429|428->"Definition export directive expected (Teyjus compatibility, ignored by Elpi).\nExamples:\nexportdef foo, bar.\nexportdef foo (term -> term).\n"|533|534|91|63|535|89|77|78|543|544|545|546|72|70|73|479|547->"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.\nfunc intdiv int, int -> int.. .\n"|495->"External declaration expected. Examples:\nexternal type foo term -> prop.\nexternal pred foo i:term.\n"|432|437|434|435->"Constraint Handling Rule header expected. Examples:\nconstraint foo {\nconstraint foo bar {\n"|415|367|417|418|416->"Kind declaration expected. Examples:\nkind term type.\nkind list type -> type.\n"|409|410|412->"Local symbol declaration expected. Examples:\nlocal foo.\nlocal foo, bar.\nlocal foo (term -> term).\n"|398|399->"Namespace header expected. Examples:\nnamespace foo {\n"|380|382|384|385|386|387|388|390|391|392->"Shortening directive expected. Examples:\nshorten foo.{ bar }.\nshorten foo.{ bar , baz }.\nshorten foo.{ bar , baz. { qux , dim } }.\n"|370|371|106|376|474|372|373->"Type abbreviation expected. Examples:\ntypeabbrev context (list term).\ntypeabbrev (two A) (pair A A).\n"|127|116|291|280|216|222->"List expected. Examples:\n[ this , that | More ].\n[ Head | Tail ].\n"|624|629|9|628->"Malformed accumulate. Examples:\naccumulate foo.\naccumulate foo, bar.\naccumulate \"foo/bar\".\n"|512|511|493|518|522|523|527|528|530|515|516|513->"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"|496|497|476|503|502|500|499->"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"|467|468->"Malformed 'external' attribute. Example:\n:external pred\n"|462|464|444->"Malformed grafting attribute. Example:\n:before \"some name\"\n:after \"some other name\"\n:replace \"some other name\"\n:remove \"some other name\"\n"|458->"Malformed 'if' attribute. Example:\n:if \"VARIABLE\"\n"|448|449|456->"Malformed 'index' attribute. Example:\n:index(1 _ 1)\n"|446->"Malformed 'name' attribute. Example:\n:name \"name of the clause\"\n"|440|442|453->"Attribute expected. Examples:\n:name \"some name\"\n:index (_ 1 1)\n"|403|404|405|406->"Malformed macro declaration. Example:\nmacro @foo X Y :- p X => q Y.\n"|359->"Prefix symbol expected.\n"|356->"Postifx symbol expected.\n"|322->"Infix symbol expected.\n"|48->"Right parenthesis ')' expected.\n"|0|110|111->"Term expected.\n"|45->"Malformed as binding. Examples:\n(f X as Y)\n([_,_|_] as Y)\n"|301->"Mixfix symbol or term expected.\n"|556|558|578|580|560|582|585|587|589|591|593|595|597|599|601|562|564|566|576|605|607|613|615|619|621|540|541|227|249|231|261|229|235|245|251|263|233|237|265|269|241|267|271|239|243|259|275|225|299|130|308|318|211|165|181|189|193|161|173|185|155|159|187|191|163|123|126|147|171|151|133|141|139|183|149|157|213|167|197|201|205|207|279|283|288|292|551|302|310|542|169|175|177|179|195|247|253|255|257|273|281|568|570|572|574|603|203|617|316|314|99|103|220|98|553|60|289|128|214|218|219|209|285|611|212|104|65|68|69|80|86|504->"Term expected, got keyword.\n"|555->"Unexpected keyword.\n"|362|489->"Unexpected start of program clause or declaration.\n"|170|158|190|186|162|192|160|156|150|182|148|180|575|584|577|248|579|559|581|586|588|590|592|594|596|598|600|238|270|240|268|264|236|232|262|234|228|260|230|154|184|612|561|563|565|604|606|614|618|620|557|266|250|244|146|166|172|188|164|196|200|204|206|210|226|242|258|274|278|282|287|307|294|221|168|174|176|178|194|246|252|254|256|272|567|569|571|573|602|202|616|208|284|610|66|609|608|277|276|199|198->"This infix operator expects a right hand side.\n"|129|550|122->"This prefix operator expects an argument.\n"|_->raiseNot_found