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|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"|_->raiseNot_found