messages.ml 6.25 KB
Newer Older
1

2
(* This file was auto-generated based on "data_parser.messages.new". *)
3 4 5 6 7 8 9 10

(* Please note that the function [message] can raise [Not_found]. *)

let message =
  fun s ->
    match s with
    | 0 ->
        "A term is expected.\n"
11
    | 27 | 25 ->
12
        "A term or a colon ':' are expected.\n"
13
    | 1 ->
14
        "A term is expected.\n"
15
    | 32 | 37 | 17 | 18 | 21 | 22 ->
16
        "A term or a right parenthesis ')' are expected.\n"
17
    | 3 ->
18
        "An identifier (the name of a bound variable) or a dot '.' are expected.\n"
19
    | 5 | 2 ->
20
        "An identifier (the name of a bound variable) is expected.\n"
21
    | 40 | 7 | 19 | 38 ->
22
        "A term or a colon ':' are expected.\n"
23
    | 4 ->
24
        "A term is expected.\n"
25
    | 60 ->
26
        "An identifier (i.e., a type or a term) or a symbol are expected.\n"
27
    | 72 ->
28
        "A comma ',' or an interpretation symbol ':=' are expected.\n"
29
    | 73 ->
30
        "An identifier (i.e., a type or a term) or a symbol are expected.\n"
31
    | 65 | 64 | 42 | 41 ->
32
        "A term or a type are expected.\n"
33
    | 56 ->
34
        "An arrow ('->' or '=>'), a right parenthesis, a term, or a semi-colon are expected.\n"
35
    | 43 ->
36
        "An arrow ('->' or '=>'), a right parenthesis, or a semi-colon are expected.\n"
37
    | 45 ->
38
        "An arrow ('->' or '=>'), or a semi-colon are expected.\n"
39
    | 70 | 57 ->
40
        "An end of input is expected (no more keyword or semi-colon or colon).\n"
41
    | 68 ->
42
        "An arrow ('->' or '=>'), a term, or a semi-colon are expected.\n"
43
    | 52 | 50 | 54 | 46 ->
44
        "A type expression is expected.\n"
45
    | 77 ->
46
        "An equality symbol '=' is expected.\n"
47
    | 124 | 78 ->
48
        "A signature entry (type declaration, type definition, term declaration, or term definition) is expected.\n"
49
    | 75 ->
50
        "A declaration of a signature (keyword 'signature') or of a lexicon (keyword 'lexicon' or 'nl_lexicon') is expected.\n"
51
    | 133 ->
52
        "An identifier (the name of a new lexicon) is expected.\n"
53
    | 134 ->
54
        "A left parenthesis '(' is expected.\n"
55
    | 136 ->
56
        "A right parenthesis ')' is expected.\n"
57
    | 137 ->
58
        "A colon ':' is expected.\n"
59
    | 138 ->
60
        "An identifier (the name of a signature) is expected.\n"
61
    | 139 ->
62
        "An equality symbol '=' is expected.\n"
63
    | 141 ->
64
        "A semi-colon ';' or the 'end' keyword are expected.\n"
65
    | 147 ->
66
        "An identifier (the name of a new lexicon) is expected\n"
67
    | 148 ->
68
        "A left parenthesis '(' is expected.\n"
69
    | 149 ->
70
        "An identifier (the name of a signature) is expected.\n"
71
    | 150 ->
72
        "A right parenthesis ')' is expected.\n"
73
    | 151 ->
74
        "A expression in the form of \": <identifier> =\" where the identifier is the name of a signature is expected.\n"
75
    | 152 | 135 | 76 ->
76
        "An identifier (the name of a signature) is expected.\n"
77
    | 153 ->
78
        "An equality symbold '=' is expected.\n"
79
    | 154 | 142 | 140 ->
80
        "A lexicon entry of the form \"<term> := <term>;\" or \"<type> := <type>\" is expected.\n"
81
    | 157 | 156 ->
82
        "An expression representing the composition of lexicons is expected.\n"
83
    | 162 ->
84
        "The composition operator '<<' or a right parenthesis ')' is expected.\n"
85
    | 159 | 166 ->
86
        "The composition operator '<<' is expected.\n"
87
    | 160 ->
88
        "An identifier (the name of a lexicon), or an expression representing the composition of lexicons is expected.\n"
89
    | 172 ->
90
        "An identifier or a keyword ('infix', 'prefix', or 'binder') is expected.\n"
91
    | 87 | 79 ->
92
        "A symbol is expected.\n"
93
    | 88 | 80 ->
94
        "A typing judgmenet in the form of \": <type>;\" or a defintion in the form of \"= <term>: <type>;\" is expected.\n"
95
    | 89 | 81 ->
96
        "A typing judgment in the form \"<term> : <type>;\" is expected.\n"
97
    | 90 | 82 ->
98
        "A typing judgment in the form \": <type>;\" is expected.\n"
99
    | 93 | 91 | 85 | 83 ->
100
        "A type is expected after the colon ':'.\n"
101
    | 95 ->
102
        "A comma ',' or a colon ':' are expected in a type or term declaration. An equality symbol '=' is expected in a type or term definition.\n"
103
    | 96 ->
104
        "A definition in the form of \"<term> : <type>;\" or a type definition of the form \"<type> : type;\" (with the keyword 'type') is expected after a term or a type defintion, resp.\n"
105
    | 100 ->
106
        "A typing judgement in the form of \": <type>\" is expected in a term definition.\n"
107
    | 101 ->
108
        "A type is expected in a term definition.\n"
109
    | 103 ->
110
        "A typing judgement in the form of \": <type>;\" or a type definition with a colon ':' and the 'type' keyword in the form of \": type;\" is expected in a term or a type definition.\n"
111
    | 116 ->
112
        "The 'type' keyword or a typing judgement in the form of \": <type>;\" is expected after the definition of a type or a term, resp.\n"
113
    | 97 ->
114
        "In a type definition, a colon ':' is expeced before the keyword 'type'.\n"
115
    | 98 ->
116
        "In a type definition, the keyword 'type' is expected after the colon ':'.\n"
117
    | 106 | 105 ->
118
        "After a term or type declaration of the form \"<ident1>, <ident2>\", a type declaration of the form \": type;\" (with the keyword 'type') or a typing judgment of the form \": <type>;\" is expected.\n"
119
    | 126 ->
120
        "After a term declaration of the form \"<term>: \", a type expression and a semicolon \"<type> ;\" are expected.\n"
121
    | 174 ->
122
        "After a term declaration of the form \"<term>: <type>\", a semicolon ';' is expected.\n"
123
    | 108 ->
124
        "An identidier (the name of the binder) is expected after the keyword 'binder'.\n"
125
    | 109 ->
126
        "A typing judgement in the form of \": <type>\" or a definition in the form of \"= <term> : <type>\" is expected after the declaration of a binder.\n"
127
    | 110 ->
128
        "A term is expected as right hand side of a term definition.\n"
129
    | 111 ->
130
        "A typing judgment in the form of \": <type>\" is expected after defining a binder.\n"
131
    | 176 | 8 ->
132
        "A typing judgment in the form of \"<term> : <type>\" is expected.\n"
133
    | 178 ->
134
        "A typing judgement in the form of \": <type>\" is expected after a term.\n"
135
    | 180 | 179 | 114 | 112 | 123 ->
136
        "A type expression is expected after ':'.\n"
137 138
    | _ ->
        raise Not_found