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