123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330(* This file was auto-generated based on "parser.messages". *)(* Please note that the function [message] can raise [Not_found]. *)letmessage=funs->matchswith|846->"expected one of\n- plain text law in markdown format\n- a catala metadata block started with '```catala-metadata'\n- a catala code block started with '```catala'\n- a catala test block started with '```catala-test-cli' or '```catala-test'\n- a directive, e.g. '> Include: <filename>'\n"|841->"expected a newline\n"|836->"expected a page specification in the form '@p.<number>', or a newline\n"|835->"expected a file name or 'JORFTEXTNNNNNNNNNNNN'\n"|834->"expected ':', then a file name or 'JORFTEXTNNNNNNNNNNNN'\n"|824->"expected a directive, e.g. 'Include: <filename>'\n"|815->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|598->"expected the definition of another argument in the form '<var> content <type>'\n"|597->"expected 'equals <expression>'\n"|595->"expected a type\n"|594->"expected 'content <type>'\n"|813->"expected an expression\n"|812->"expected 'equals <expression>'\n"|811->"expected ')', or ',' followed by another argument declaration in the form '<var>\ncontent <type>'\n"|810->"expected a variable name, following the form 'depends on (<var> content <type>, ...)'\n"|809->"expected a variable name, following the form 'depends on <var> content <type>'\n"|808->"expected 'equals <expression>', optionally preceded by 'depends on <var> content\n<type>'\n"|807->"expected a type\n"|806->"expected 'content <type>'\n"|772->"expected a scope name\n"|771->"expected the form '<ident> scope <Scope_name>', or a scope variable declaration\n"|765->"expected the next definition in scope\n"|764->"expected a closing paren, or a comma followed by another argument declaration (', <ident> content <type>')\n"|763->"expected the form 'depends on (<ident> content <type> [, <ident> content <type> ...])'\n"|762->"expected the form 'depends on <ident> content <type>'\n"|761->"expected the next declaration for the scope\n"|758->"expected the next declaration for the scope\n"|617->"expected either another 'state' definitions for the variable, or the next\ndeclaration for the scope\n"|756->"expected a 'state' declaration for the preceding declaration, or the next declaration for the scope\n"|755->"expected a closing paren, or a comma followed by another argument specification\n"|754->"expected a name and type for the dependency of this definition ('<ident> content <type>')\n"|753->"expected a name and type for the dependency of this definition ('<ident> content <type>')\n"|752->"expected either 'state' definitions for the variable, or the next declaration\nfor the scope\n"|751->"expected a type\n"|748->"expected either 'condition', or 'content' followed by the expected variable type\n"|632->"expected a variable name\n"|724->"expected a variable name, optionally preceded by 'output'\n"|545->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|542->"expected 'fulfilled' or 'not fulfilled'\n"|541->"expected 'equals' then an expression defining the rule\n"|438->"expected 'equals' then an expression defining the rule\n"|435->"expected an identifier defining the name of the state\n"|443->"expected either 'fulfilled' or 'not fulfilled'\n"|552->"expected either 'fulfilled' or 'not fulfilled'\n"|419->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|416->"expected another field in the form '-- <var>: <expression>', or a closing '}' brace\n"|415->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|414->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|402->"expected a binary operator, or the next case in the form '-- NextCase : <expression>', or a keyword ending the match expression and starting the next item\n"|400->"expected an expression\n"|399->"expected a colon followed by an expression, as in '-- Case : <expression>'\n"|396->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|394->"expected an expression\n"|393->"expected ':' followed by an expression\n"|390->"expected 'with pattern -- <pattern> : <expression> ...'\n"|346->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|344->"expected an expression\n"|343->"expected the keyword 'in'\n"|333->"expected an expression\n"|331->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|329->"expected an expression\n"|328->"expected 'else <expression>'\n"|326->"expected an expression, followed by 'else <expression>'\n"|324->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|322->"expected the form 'we have <expression>'\n"|321->"expected 'we have <expression>'\n"|312->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|310->"expected an expression, following the form 'such that <expression>'\n"|309->"expected the form 'such that <expression>'\n"|308->"expected 'such that <expression>'\n"|149->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|147->"expected an expression defining the enumeration case content\n"|142->"expected a 'fldname : expression' binding\n"|141->"expected a list of field bindings of the form '-- fld : expression'\n"|319->"expected an expression describing the list to operate on\n"|341->"expected an expression\n"|90->"expected 'var equals expression' after 'let'\n"|83->"expected a binary operator continuing the expression, or a keyword ending the expression and starting the next item\n"|63->"expected an expression defining the list to operate on\n"|62->"expected 'of' then the list to operate on\n"|60->"expected an expression defining the list to operate on\n"|59->"expected 'of' then the list to operate on\n"|57->"expected a numeric expression to apply '-' on\n"|54->"expected a boolean expression to apply 'not' on\n"|52->"expected an expression, following the form '-- var_name : <expression>'\n"|51->"expected a colon, following the form '-- var_name : <expression>'\n"|48->"expected a variable name, following the form '-- var_name : <expression>'\n"|47->"expected a list of variable-value bindings in the form `-- var_name : <expression>`\n"|46->"expected the arguments to the scope call ('{ --var: ... }')\n"|45->"expected 'with' then the arguments to the scope call ('{ -- var : ... }'), or a\nbinary operator to be applied on the results of the call\n"|44->"expected a scope to be applied\n"|43->"expected 'of' then a scope to be applied\n"|41->"expected the list on which to operate the sum\n"|40->"expected 'of' then the list on which to operate\n"|36->"expected the structure or enumeration type of the definition under the given module.\n"|35->"expected one of\n- a dot specifying the path to the given structure or enumeration ('Path.To.variable')\n- a dependency specification ('depends on ...')\n- the body of the declaration ('equals ...')\n"|30->"the 'sum' operator must be followed by the type to be summed.\n"|23->"expected an identifier (variable name, structure field or enumeration\nconstructor, possibly with a submodule qualification)\n"|22->"expected one of:\n- a dot followed by an identifier ('Path.And.var')\n- or a structure content ('Structname { -- field1: ... }')\n- or enumeration content ('EnumConstr content ...')\n"|21->"expected an identifier (variable name, structure field or enumeration\nconstructor, possibly with a submodule qualification)\n"|7->"expected some law text or code block\n"|5->"expected some law text or code block\n"|0->"expected some law text or code block\n"|1->"expected some law text or code block\n"|844->"expected some declaration or scope use inside this code block\n"|8->"expected the name of the scope being used\n"|9->"expected a scope use condition or the content of this scope use\n"|10->"expected an expression\n"|65->"expected an expression to match with\n"|391->"expected a pattern matching case\n"|392->"expected the name of the constructor for the enum case in the pattern matching\n"|96->"expected a list element\n"|332->"expected a semicolon or a right square bracket after the list element\n"|73->"expected an expression inside the parenthesis\n"|361->"unmatched parenthesis that should have been closed by here\n"|424->"expected a unit for this literal, or a valid operator to complete the expression\n"|107->"expected an expression for the test of the conditional\n"|325->"expected the \"then\" keyword as the conditional expression is complete\n"|109->"expected the \"all\" keyword to mean the \"for all\" construction of the universal test\n"|110->"expected an identifier for the bound variable of the universal test\n"|318->"expected the \"in\" keyword for the rest of the universal test\n"|117->"expected an identifier that will designate the existential witness for the test\n"|305->"expected the \"in\" keyword to continue this existential test\n"|20->"expected a payload for the enum case constructor, or the rest of the expression (with an operator ?)\n"|427->"expected the next item in the scope (rule, definition or assertion), or the start of a new top-level declaration\n"|428->"expected the name of the variable subject to the rule\n"|430->"expected 'under condition' followed by a condition, 'equals' followed by the definition body, or the rest of the variable qualified name\n"|450->"expected the name of the parameter for this dependent variable\n"|446->"expected the filled keyword the this rule\n"|431->"expected a struct field or a sub-scope context item after the dot\n"|456->"expected the name of the label\n"|457->"expected a rule or a definition after the label declaration\n"|506->"expected the label to which the exception is referring back\n"|522->"expected a rule or a definition after the exception declaration\n"|538->"expected the name of the variable you want to define\n"|452->"expected an expression for defining this function, introduced by the 'equals' keyword ; or a comma followed by another argument\n"|543->"expected an expression for the definition\n"|551->"expected an expression that shoud be asserted during execution\n"|439->"expected an expression for this condition\n"|441->"expected a consequence for this definition under condition\n"|554->"expected a new scope use item\n"|561->"expected the kind of the declaration (struct, scope or enum)\n"|562->"expected the struct name\n"|564->"expected a colon\n"|566->"expected struct data or condition\n"|567->"expected the name of this struct data\n"|568->"expected the type of this struct data, introduced by the content keyword\n"|569->"expected the type of this struct data\n"|586->"expected the name of this struct condition\n"|588->"expected a new struct data, or another declaration or scope use\n"|589->"expected the type of the parameter of this struct data function\n"|603->"expected the name of the scope you are declaring\n"|604->"expected a colon followed by the list of context items of this scope\n"|606->"expected a context item introduced by \"context\"\n"|794->"expected the name of your enum\n"|795->"expected a colon\n"|798->"expected the name of an enum case\n"|799->"expected a payload for your enum case, or another case or declaration\n"|800->"expected a content type\n"|797->"expected another enum case, or a new declaration or scope use\n"|_->raiseNot_found