source: extracted/errorMessages.ml @ 2746

Last change on this file since 2746 was 2730, checked in by sacerdot, 7 years ago

Exported again.

File size: 25.2 KB
Line 
1open Preamble
2
3open Core_notation
4
5open Pts
6
7type errorMessage =
8| MISSING
9| EXTERNAL
10| Jump_expansion_failed
11| ValueIsNotABoolean
12| BadCast
13| BadlyTypedTerm
14| UnknownIdentifier
15| BadLvalueTerm
16| FailedLoad
17| FailedOp
18| WrongNumberOfParameters
19| FailedStore
20| NonsenseState
21| ReturnMismatch
22| UnknownLabel
23| BadFunctionValue
24| MainMissing
25| UnknownField
26| UndeclaredIdentifier
27| BadlyTypedAccess
28| BadLvalue
29| MissingField
30| FIXME
31| MissingLabel
32| ParamGlobalMixup
33| DuplicateLabel
34| TypeMismatch
35| UnknownLocal
36| FailedConstant
37| BadState
38| StoppedMidIO
39| UnsupportedOp
40| CorruptedPointer
41| NotATwoBytesPointer
42| ValueNotABoolean
43| NotAnInt32Val
44| WrongLength
45| InitDataStoreFailed
46| DuplicateVariable
47| MissingId
48| IllTypedEvent
49| InternalStackFull
50| InternalStackEmpty
51| BadProgramCounter
52| ProgramCounterOutOfCode
53| PointNotFound
54| LabelNotFound
55| MissingSymbol
56| BadFunction
57| SuccessorNotProvided
58| BadPointer
59| NoSuccessor
60| MissingStackSize
61| ExternalMain
62| BadRegister
63| BadMain
64| MissingRegister
65| MissingStatement
66| BadJumpTable
67| BadJumpValue
68| FinalState
69| EmptyStack
70| OutOfBounds
71| UnexpectedIO
72| TerminatedEarly
73| BadCostLabelling
74| RepeatedCostLabel
75
76(** val errorMessage_rect_Type4 :
77    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
78    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
79    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
80    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
81    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
82    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
83    'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1 **)
84let rec errorMessage_rect_Type4 h_MISSING h_EXTERNAL h_Jump_expansion_failed h_ValueIsNotABoolean h_BadCast h_BadlyTypedTerm h_UnknownIdentifier h_BadLvalueTerm h_FailedLoad h_FailedOp h_WrongNumberOfParameters h_FailedStore h_NonsenseState h_ReturnMismatch h_UnknownLabel h_BadFunctionValue h_MainMissing h_UnknownField h_UndeclaredIdentifier h_BadlyTypedAccess h_BadLvalue h_MissingField h_FIXME h_MissingLabel h_ParamGlobalMixup h_DuplicateLabel h_TypeMismatch h_UnknownLocal h_FailedConstant h_BadState h_StoppedMidIO h_UnsupportedOp h_CorruptedPointer h_NotATwoBytesPointer h_ValueNotABoolean h_NotAnInt32Val h_WrongLength h_InitDataStoreFailed h_DuplicateVariable h_MissingId h_IllTypedEvent h_InternalStackFull h_InternalStackEmpty h_BadProgramCounter h_ProgramCounterOutOfCode h_PointNotFound h_LabelNotFound h_MissingSymbol h_BadFunction h_SuccessorNotProvided h_BadPointer h_NoSuccessor h_MissingStackSize h_ExternalMain h_BadRegister h_BadMain h_MissingRegister h_MissingStatement h_BadJumpTable h_BadJumpValue h_FinalState h_EmptyStack h_OutOfBounds h_UnexpectedIO h_TerminatedEarly h_BadCostLabelling h_RepeatedCostLabel = function
85| MISSING -> h_MISSING
86| EXTERNAL -> h_EXTERNAL
87| Jump_expansion_failed -> h_Jump_expansion_failed
88| ValueIsNotABoolean -> h_ValueIsNotABoolean
89| BadCast -> h_BadCast
90| BadlyTypedTerm -> h_BadlyTypedTerm
91| UnknownIdentifier -> h_UnknownIdentifier
92| BadLvalueTerm -> h_BadLvalueTerm
93| FailedLoad -> h_FailedLoad
94| FailedOp -> h_FailedOp
95| WrongNumberOfParameters -> h_WrongNumberOfParameters
96| FailedStore -> h_FailedStore
97| NonsenseState -> h_NonsenseState
98| ReturnMismatch -> h_ReturnMismatch
99| UnknownLabel -> h_UnknownLabel
100| BadFunctionValue -> h_BadFunctionValue
101| MainMissing -> h_MainMissing
102| UnknownField -> h_UnknownField
103| UndeclaredIdentifier -> h_UndeclaredIdentifier
104| BadlyTypedAccess -> h_BadlyTypedAccess
105| BadLvalue -> h_BadLvalue
106| MissingField -> h_MissingField
107| FIXME -> h_FIXME
108| MissingLabel -> h_MissingLabel
109| ParamGlobalMixup -> h_ParamGlobalMixup
110| DuplicateLabel -> h_DuplicateLabel
111| TypeMismatch -> h_TypeMismatch
112| UnknownLocal -> h_UnknownLocal
113| FailedConstant -> h_FailedConstant
114| BadState -> h_BadState
115| StoppedMidIO -> h_StoppedMidIO
116| UnsupportedOp -> h_UnsupportedOp
117| CorruptedPointer -> h_CorruptedPointer
118| NotATwoBytesPointer -> h_NotATwoBytesPointer
119| ValueNotABoolean -> h_ValueNotABoolean
120| NotAnInt32Val -> h_NotAnInt32Val
121| WrongLength -> h_WrongLength
122| InitDataStoreFailed -> h_InitDataStoreFailed
123| DuplicateVariable -> h_DuplicateVariable
124| MissingId -> h_MissingId
125| IllTypedEvent -> h_IllTypedEvent
126| InternalStackFull -> h_InternalStackFull
127| InternalStackEmpty -> h_InternalStackEmpty
128| BadProgramCounter -> h_BadProgramCounter
129| ProgramCounterOutOfCode -> h_ProgramCounterOutOfCode
130| PointNotFound -> h_PointNotFound
131| LabelNotFound -> h_LabelNotFound
132| MissingSymbol -> h_MissingSymbol
133| BadFunction -> h_BadFunction
134| SuccessorNotProvided -> h_SuccessorNotProvided
135| BadPointer -> h_BadPointer
136| NoSuccessor -> h_NoSuccessor
137| MissingStackSize -> h_MissingStackSize
138| ExternalMain -> h_ExternalMain
139| BadRegister -> h_BadRegister
140| BadMain -> h_BadMain
141| MissingRegister -> h_MissingRegister
142| MissingStatement -> h_MissingStatement
143| BadJumpTable -> h_BadJumpTable
144| BadJumpValue -> h_BadJumpValue
145| FinalState -> h_FinalState
146| EmptyStack -> h_EmptyStack
147| OutOfBounds -> h_OutOfBounds
148| UnexpectedIO -> h_UnexpectedIO
149| TerminatedEarly -> h_TerminatedEarly
150| BadCostLabelling -> h_BadCostLabelling
151| RepeatedCostLabel -> h_RepeatedCostLabel
152
153(** val errorMessage_rect_Type5 :
154    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
155    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
156    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
157    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
158    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
159    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
160    'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1 **)
161let rec errorMessage_rect_Type5 h_MISSING h_EXTERNAL h_Jump_expansion_failed h_ValueIsNotABoolean h_BadCast h_BadlyTypedTerm h_UnknownIdentifier h_BadLvalueTerm h_FailedLoad h_FailedOp h_WrongNumberOfParameters h_FailedStore h_NonsenseState h_ReturnMismatch h_UnknownLabel h_BadFunctionValue h_MainMissing h_UnknownField h_UndeclaredIdentifier h_BadlyTypedAccess h_BadLvalue h_MissingField h_FIXME h_MissingLabel h_ParamGlobalMixup h_DuplicateLabel h_TypeMismatch h_UnknownLocal h_FailedConstant h_BadState h_StoppedMidIO h_UnsupportedOp h_CorruptedPointer h_NotATwoBytesPointer h_ValueNotABoolean h_NotAnInt32Val h_WrongLength h_InitDataStoreFailed h_DuplicateVariable h_MissingId h_IllTypedEvent h_InternalStackFull h_InternalStackEmpty h_BadProgramCounter h_ProgramCounterOutOfCode h_PointNotFound h_LabelNotFound h_MissingSymbol h_BadFunction h_SuccessorNotProvided h_BadPointer h_NoSuccessor h_MissingStackSize h_ExternalMain h_BadRegister h_BadMain h_MissingRegister h_MissingStatement h_BadJumpTable h_BadJumpValue h_FinalState h_EmptyStack h_OutOfBounds h_UnexpectedIO h_TerminatedEarly h_BadCostLabelling h_RepeatedCostLabel = function
162| MISSING -> h_MISSING
163| EXTERNAL -> h_EXTERNAL
164| Jump_expansion_failed -> h_Jump_expansion_failed
165| ValueIsNotABoolean -> h_ValueIsNotABoolean
166| BadCast -> h_BadCast
167| BadlyTypedTerm -> h_BadlyTypedTerm
168| UnknownIdentifier -> h_UnknownIdentifier
169| BadLvalueTerm -> h_BadLvalueTerm
170| FailedLoad -> h_FailedLoad
171| FailedOp -> h_FailedOp
172| WrongNumberOfParameters -> h_WrongNumberOfParameters
173| FailedStore -> h_FailedStore
174| NonsenseState -> h_NonsenseState
175| ReturnMismatch -> h_ReturnMismatch
176| UnknownLabel -> h_UnknownLabel
177| BadFunctionValue -> h_BadFunctionValue
178| MainMissing -> h_MainMissing
179| UnknownField -> h_UnknownField
180| UndeclaredIdentifier -> h_UndeclaredIdentifier
181| BadlyTypedAccess -> h_BadlyTypedAccess
182| BadLvalue -> h_BadLvalue
183| MissingField -> h_MissingField
184| FIXME -> h_FIXME
185| MissingLabel -> h_MissingLabel
186| ParamGlobalMixup -> h_ParamGlobalMixup
187| DuplicateLabel -> h_DuplicateLabel
188| TypeMismatch -> h_TypeMismatch
189| UnknownLocal -> h_UnknownLocal
190| FailedConstant -> h_FailedConstant
191| BadState -> h_BadState
192| StoppedMidIO -> h_StoppedMidIO
193| UnsupportedOp -> h_UnsupportedOp
194| CorruptedPointer -> h_CorruptedPointer
195| NotATwoBytesPointer -> h_NotATwoBytesPointer
196| ValueNotABoolean -> h_ValueNotABoolean
197| NotAnInt32Val -> h_NotAnInt32Val
198| WrongLength -> h_WrongLength
199| InitDataStoreFailed -> h_InitDataStoreFailed
200| DuplicateVariable -> h_DuplicateVariable
201| MissingId -> h_MissingId
202| IllTypedEvent -> h_IllTypedEvent
203| InternalStackFull -> h_InternalStackFull
204| InternalStackEmpty -> h_InternalStackEmpty
205| BadProgramCounter -> h_BadProgramCounter
206| ProgramCounterOutOfCode -> h_ProgramCounterOutOfCode
207| PointNotFound -> h_PointNotFound
208| LabelNotFound -> h_LabelNotFound
209| MissingSymbol -> h_MissingSymbol
210| BadFunction -> h_BadFunction
211| SuccessorNotProvided -> h_SuccessorNotProvided
212| BadPointer -> h_BadPointer
213| NoSuccessor -> h_NoSuccessor
214| MissingStackSize -> h_MissingStackSize
215| ExternalMain -> h_ExternalMain
216| BadRegister -> h_BadRegister
217| BadMain -> h_BadMain
218| MissingRegister -> h_MissingRegister
219| MissingStatement -> h_MissingStatement
220| BadJumpTable -> h_BadJumpTable
221| BadJumpValue -> h_BadJumpValue
222| FinalState -> h_FinalState
223| EmptyStack -> h_EmptyStack
224| OutOfBounds -> h_OutOfBounds
225| UnexpectedIO -> h_UnexpectedIO
226| TerminatedEarly -> h_TerminatedEarly
227| BadCostLabelling -> h_BadCostLabelling
228| RepeatedCostLabel -> h_RepeatedCostLabel
229
230(** val errorMessage_rect_Type3 :
231    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
232    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
233    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
234    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
235    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
236    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
237    'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1 **)
238let rec errorMessage_rect_Type3 h_MISSING h_EXTERNAL h_Jump_expansion_failed h_ValueIsNotABoolean h_BadCast h_BadlyTypedTerm h_UnknownIdentifier h_BadLvalueTerm h_FailedLoad h_FailedOp h_WrongNumberOfParameters h_FailedStore h_NonsenseState h_ReturnMismatch h_UnknownLabel h_BadFunctionValue h_MainMissing h_UnknownField h_UndeclaredIdentifier h_BadlyTypedAccess h_BadLvalue h_MissingField h_FIXME h_MissingLabel h_ParamGlobalMixup h_DuplicateLabel h_TypeMismatch h_UnknownLocal h_FailedConstant h_BadState h_StoppedMidIO h_UnsupportedOp h_CorruptedPointer h_NotATwoBytesPointer h_ValueNotABoolean h_NotAnInt32Val h_WrongLength h_InitDataStoreFailed h_DuplicateVariable h_MissingId h_IllTypedEvent h_InternalStackFull h_InternalStackEmpty h_BadProgramCounter h_ProgramCounterOutOfCode h_PointNotFound h_LabelNotFound h_MissingSymbol h_BadFunction h_SuccessorNotProvided h_BadPointer h_NoSuccessor h_MissingStackSize h_ExternalMain h_BadRegister h_BadMain h_MissingRegister h_MissingStatement h_BadJumpTable h_BadJumpValue h_FinalState h_EmptyStack h_OutOfBounds h_UnexpectedIO h_TerminatedEarly h_BadCostLabelling h_RepeatedCostLabel = function
239| MISSING -> h_MISSING
240| EXTERNAL -> h_EXTERNAL
241| Jump_expansion_failed -> h_Jump_expansion_failed
242| ValueIsNotABoolean -> h_ValueIsNotABoolean
243| BadCast -> h_BadCast
244| BadlyTypedTerm -> h_BadlyTypedTerm
245| UnknownIdentifier -> h_UnknownIdentifier
246| BadLvalueTerm -> h_BadLvalueTerm
247| FailedLoad -> h_FailedLoad
248| FailedOp -> h_FailedOp
249| WrongNumberOfParameters -> h_WrongNumberOfParameters
250| FailedStore -> h_FailedStore
251| NonsenseState -> h_NonsenseState
252| ReturnMismatch -> h_ReturnMismatch
253| UnknownLabel -> h_UnknownLabel
254| BadFunctionValue -> h_BadFunctionValue
255| MainMissing -> h_MainMissing
256| UnknownField -> h_UnknownField
257| UndeclaredIdentifier -> h_UndeclaredIdentifier
258| BadlyTypedAccess -> h_BadlyTypedAccess
259| BadLvalue -> h_BadLvalue
260| MissingField -> h_MissingField
261| FIXME -> h_FIXME
262| MissingLabel -> h_MissingLabel
263| ParamGlobalMixup -> h_ParamGlobalMixup
264| DuplicateLabel -> h_DuplicateLabel
265| TypeMismatch -> h_TypeMismatch
266| UnknownLocal -> h_UnknownLocal
267| FailedConstant -> h_FailedConstant
268| BadState -> h_BadState
269| StoppedMidIO -> h_StoppedMidIO
270| UnsupportedOp -> h_UnsupportedOp
271| CorruptedPointer -> h_CorruptedPointer
272| NotATwoBytesPointer -> h_NotATwoBytesPointer
273| ValueNotABoolean -> h_ValueNotABoolean
274| NotAnInt32Val -> h_NotAnInt32Val
275| WrongLength -> h_WrongLength
276| InitDataStoreFailed -> h_InitDataStoreFailed
277| DuplicateVariable -> h_DuplicateVariable
278| MissingId -> h_MissingId
279| IllTypedEvent -> h_IllTypedEvent
280| InternalStackFull -> h_InternalStackFull
281| InternalStackEmpty -> h_InternalStackEmpty
282| BadProgramCounter -> h_BadProgramCounter
283| ProgramCounterOutOfCode -> h_ProgramCounterOutOfCode
284| PointNotFound -> h_PointNotFound
285| LabelNotFound -> h_LabelNotFound
286| MissingSymbol -> h_MissingSymbol
287| BadFunction -> h_BadFunction
288| SuccessorNotProvided -> h_SuccessorNotProvided
289| BadPointer -> h_BadPointer
290| NoSuccessor -> h_NoSuccessor
291| MissingStackSize -> h_MissingStackSize
292| ExternalMain -> h_ExternalMain
293| BadRegister -> h_BadRegister
294| BadMain -> h_BadMain
295| MissingRegister -> h_MissingRegister
296| MissingStatement -> h_MissingStatement
297| BadJumpTable -> h_BadJumpTable
298| BadJumpValue -> h_BadJumpValue
299| FinalState -> h_FinalState
300| EmptyStack -> h_EmptyStack
301| OutOfBounds -> h_OutOfBounds
302| UnexpectedIO -> h_UnexpectedIO
303| TerminatedEarly -> h_TerminatedEarly
304| BadCostLabelling -> h_BadCostLabelling
305| RepeatedCostLabel -> h_RepeatedCostLabel
306
307(** val errorMessage_rect_Type2 :
308    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
309    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
310    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
311    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
312    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
313    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
314    'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1 **)
315let rec errorMessage_rect_Type2 h_MISSING h_EXTERNAL h_Jump_expansion_failed h_ValueIsNotABoolean h_BadCast h_BadlyTypedTerm h_UnknownIdentifier h_BadLvalueTerm h_FailedLoad h_FailedOp h_WrongNumberOfParameters h_FailedStore h_NonsenseState h_ReturnMismatch h_UnknownLabel h_BadFunctionValue h_MainMissing h_UnknownField h_UndeclaredIdentifier h_BadlyTypedAccess h_BadLvalue h_MissingField h_FIXME h_MissingLabel h_ParamGlobalMixup h_DuplicateLabel h_TypeMismatch h_UnknownLocal h_FailedConstant h_BadState h_StoppedMidIO h_UnsupportedOp h_CorruptedPointer h_NotATwoBytesPointer h_ValueNotABoolean h_NotAnInt32Val h_WrongLength h_InitDataStoreFailed h_DuplicateVariable h_MissingId h_IllTypedEvent h_InternalStackFull h_InternalStackEmpty h_BadProgramCounter h_ProgramCounterOutOfCode h_PointNotFound h_LabelNotFound h_MissingSymbol h_BadFunction h_SuccessorNotProvided h_BadPointer h_NoSuccessor h_MissingStackSize h_ExternalMain h_BadRegister h_BadMain h_MissingRegister h_MissingStatement h_BadJumpTable h_BadJumpValue h_FinalState h_EmptyStack h_OutOfBounds h_UnexpectedIO h_TerminatedEarly h_BadCostLabelling h_RepeatedCostLabel = function
316| MISSING -> h_MISSING
317| EXTERNAL -> h_EXTERNAL
318| Jump_expansion_failed -> h_Jump_expansion_failed
319| ValueIsNotABoolean -> h_ValueIsNotABoolean
320| BadCast -> h_BadCast
321| BadlyTypedTerm -> h_BadlyTypedTerm
322| UnknownIdentifier -> h_UnknownIdentifier
323| BadLvalueTerm -> h_BadLvalueTerm
324| FailedLoad -> h_FailedLoad
325| FailedOp -> h_FailedOp
326| WrongNumberOfParameters -> h_WrongNumberOfParameters
327| FailedStore -> h_FailedStore
328| NonsenseState -> h_NonsenseState
329| ReturnMismatch -> h_ReturnMismatch
330| UnknownLabel -> h_UnknownLabel
331| BadFunctionValue -> h_BadFunctionValue
332| MainMissing -> h_MainMissing
333| UnknownField -> h_UnknownField
334| UndeclaredIdentifier -> h_UndeclaredIdentifier
335| BadlyTypedAccess -> h_BadlyTypedAccess
336| BadLvalue -> h_BadLvalue
337| MissingField -> h_MissingField
338| FIXME -> h_FIXME
339| MissingLabel -> h_MissingLabel
340| ParamGlobalMixup -> h_ParamGlobalMixup
341| DuplicateLabel -> h_DuplicateLabel
342| TypeMismatch -> h_TypeMismatch
343| UnknownLocal -> h_UnknownLocal
344| FailedConstant -> h_FailedConstant
345| BadState -> h_BadState
346| StoppedMidIO -> h_StoppedMidIO
347| UnsupportedOp -> h_UnsupportedOp
348| CorruptedPointer -> h_CorruptedPointer
349| NotATwoBytesPointer -> h_NotATwoBytesPointer
350| ValueNotABoolean -> h_ValueNotABoolean
351| NotAnInt32Val -> h_NotAnInt32Val
352| WrongLength -> h_WrongLength
353| InitDataStoreFailed -> h_InitDataStoreFailed
354| DuplicateVariable -> h_DuplicateVariable
355| MissingId -> h_MissingId
356| IllTypedEvent -> h_IllTypedEvent
357| InternalStackFull -> h_InternalStackFull
358| InternalStackEmpty -> h_InternalStackEmpty
359| BadProgramCounter -> h_BadProgramCounter
360| ProgramCounterOutOfCode -> h_ProgramCounterOutOfCode
361| PointNotFound -> h_PointNotFound
362| LabelNotFound -> h_LabelNotFound
363| MissingSymbol -> h_MissingSymbol
364| BadFunction -> h_BadFunction
365| SuccessorNotProvided -> h_SuccessorNotProvided
366| BadPointer -> h_BadPointer
367| NoSuccessor -> h_NoSuccessor
368| MissingStackSize -> h_MissingStackSize
369| ExternalMain -> h_ExternalMain
370| BadRegister -> h_BadRegister
371| BadMain -> h_BadMain
372| MissingRegister -> h_MissingRegister
373| MissingStatement -> h_MissingStatement
374| BadJumpTable -> h_BadJumpTable
375| BadJumpValue -> h_BadJumpValue
376| FinalState -> h_FinalState
377| EmptyStack -> h_EmptyStack
378| OutOfBounds -> h_OutOfBounds
379| UnexpectedIO -> h_UnexpectedIO
380| TerminatedEarly -> h_TerminatedEarly
381| BadCostLabelling -> h_BadCostLabelling
382| RepeatedCostLabel -> h_RepeatedCostLabel
383
384(** val errorMessage_rect_Type1 :
385    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
386    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
387    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
388    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
389    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
390    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
391    'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1 **)
392let rec errorMessage_rect_Type1 h_MISSING h_EXTERNAL h_Jump_expansion_failed h_ValueIsNotABoolean h_BadCast h_BadlyTypedTerm h_UnknownIdentifier h_BadLvalueTerm h_FailedLoad h_FailedOp h_WrongNumberOfParameters h_FailedStore h_NonsenseState h_ReturnMismatch h_UnknownLabel h_BadFunctionValue h_MainMissing h_UnknownField h_UndeclaredIdentifier h_BadlyTypedAccess h_BadLvalue h_MissingField h_FIXME h_MissingLabel h_ParamGlobalMixup h_DuplicateLabel h_TypeMismatch h_UnknownLocal h_FailedConstant h_BadState h_StoppedMidIO h_UnsupportedOp h_CorruptedPointer h_NotATwoBytesPointer h_ValueNotABoolean h_NotAnInt32Val h_WrongLength h_InitDataStoreFailed h_DuplicateVariable h_MissingId h_IllTypedEvent h_InternalStackFull h_InternalStackEmpty h_BadProgramCounter h_ProgramCounterOutOfCode h_PointNotFound h_LabelNotFound h_MissingSymbol h_BadFunction h_SuccessorNotProvided h_BadPointer h_NoSuccessor h_MissingStackSize h_ExternalMain h_BadRegister h_BadMain h_MissingRegister h_MissingStatement h_BadJumpTable h_BadJumpValue h_FinalState h_EmptyStack h_OutOfBounds h_UnexpectedIO h_TerminatedEarly h_BadCostLabelling h_RepeatedCostLabel = function
393| MISSING -> h_MISSING
394| EXTERNAL -> h_EXTERNAL
395| Jump_expansion_failed -> h_Jump_expansion_failed
396| ValueIsNotABoolean -> h_ValueIsNotABoolean
397| BadCast -> h_BadCast
398| BadlyTypedTerm -> h_BadlyTypedTerm
399| UnknownIdentifier -> h_UnknownIdentifier
400| BadLvalueTerm -> h_BadLvalueTerm
401| FailedLoad -> h_FailedLoad
402| FailedOp -> h_FailedOp
403| WrongNumberOfParameters -> h_WrongNumberOfParameters
404| FailedStore -> h_FailedStore
405| NonsenseState -> h_NonsenseState
406| ReturnMismatch -> h_ReturnMismatch
407| UnknownLabel -> h_UnknownLabel
408| BadFunctionValue -> h_BadFunctionValue
409| MainMissing -> h_MainMissing
410| UnknownField -> h_UnknownField
411| UndeclaredIdentifier -> h_UndeclaredIdentifier
412| BadlyTypedAccess -> h_BadlyTypedAccess
413| BadLvalue -> h_BadLvalue
414| MissingField -> h_MissingField
415| FIXME -> h_FIXME
416| MissingLabel -> h_MissingLabel
417| ParamGlobalMixup -> h_ParamGlobalMixup
418| DuplicateLabel -> h_DuplicateLabel
419| TypeMismatch -> h_TypeMismatch
420| UnknownLocal -> h_UnknownLocal
421| FailedConstant -> h_FailedConstant
422| BadState -> h_BadState
423| StoppedMidIO -> h_StoppedMidIO
424| UnsupportedOp -> h_UnsupportedOp
425| CorruptedPointer -> h_CorruptedPointer
426| NotATwoBytesPointer -> h_NotATwoBytesPointer
427| ValueNotABoolean -> h_ValueNotABoolean
428| NotAnInt32Val -> h_NotAnInt32Val
429| WrongLength -> h_WrongLength
430| InitDataStoreFailed -> h_InitDataStoreFailed
431| DuplicateVariable -> h_DuplicateVariable
432| MissingId -> h_MissingId
433| IllTypedEvent -> h_IllTypedEvent
434| InternalStackFull -> h_InternalStackFull
435| InternalStackEmpty -> h_InternalStackEmpty
436| BadProgramCounter -> h_BadProgramCounter
437| ProgramCounterOutOfCode -> h_ProgramCounterOutOfCode
438| PointNotFound -> h_PointNotFound
439| LabelNotFound -> h_LabelNotFound
440| MissingSymbol -> h_MissingSymbol
441| BadFunction -> h_BadFunction
442| SuccessorNotProvided -> h_SuccessorNotProvided
443| BadPointer -> h_BadPointer
444| NoSuccessor -> h_NoSuccessor
445| MissingStackSize -> h_MissingStackSize
446| ExternalMain -> h_ExternalMain
447| BadRegister -> h_BadRegister
448| BadMain -> h_BadMain
449| MissingRegister -> h_MissingRegister
450| MissingStatement -> h_MissingStatement
451| BadJumpTable -> h_BadJumpTable
452| BadJumpValue -> h_BadJumpValue
453| FinalState -> h_FinalState
454| EmptyStack -> h_EmptyStack
455| OutOfBounds -> h_OutOfBounds
456| UnexpectedIO -> h_UnexpectedIO
457| TerminatedEarly -> h_TerminatedEarly
458| BadCostLabelling -> h_BadCostLabelling
459| RepeatedCostLabel -> h_RepeatedCostLabel
460
461(** val errorMessage_rect_Type0 :
462    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
463    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
464    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
465    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
466    'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
467    -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
468    'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1 **)
469let rec errorMessage_rect_Type0 h_MISSING h_EXTERNAL h_Jump_expansion_failed h_ValueIsNotABoolean h_BadCast h_BadlyTypedTerm h_UnknownIdentifier h_BadLvalueTerm h_FailedLoad h_FailedOp h_WrongNumberOfParameters h_FailedStore h_NonsenseState h_ReturnMismatch h_UnknownLabel h_BadFunctionValue h_MainMissing h_UnknownField h_UndeclaredIdentifier h_BadlyTypedAccess h_BadLvalue h_MissingField h_FIXME h_MissingLabel h_ParamGlobalMixup h_DuplicateLabel h_TypeMismatch h_UnknownLocal h_FailedConstant h_BadState h_StoppedMidIO h_UnsupportedOp h_CorruptedPointer h_NotATwoBytesPointer h_ValueNotABoolean h_NotAnInt32Val h_WrongLength h_InitDataStoreFailed h_DuplicateVariable h_MissingId h_IllTypedEvent h_InternalStackFull h_InternalStackEmpty h_BadProgramCounter h_ProgramCounterOutOfCode h_PointNotFound h_LabelNotFound h_MissingSymbol h_BadFunction h_SuccessorNotProvided h_BadPointer h_NoSuccessor h_MissingStackSize h_ExternalMain h_BadRegister h_BadMain h_MissingRegister h_MissingStatement h_BadJumpTable h_BadJumpValue h_FinalState h_EmptyStack h_OutOfBounds h_UnexpectedIO h_TerminatedEarly h_BadCostLabelling h_RepeatedCostLabel = function
470| MISSING -> h_MISSING
471| EXTERNAL -> h_EXTERNAL
472| Jump_expansion_failed -> h_Jump_expansion_failed
473| ValueIsNotABoolean -> h_ValueIsNotABoolean
474| BadCast -> h_BadCast
475| BadlyTypedTerm -> h_BadlyTypedTerm
476| UnknownIdentifier -> h_UnknownIdentifier
477| BadLvalueTerm -> h_BadLvalueTerm
478| FailedLoad -> h_FailedLoad
479| FailedOp -> h_FailedOp
480| WrongNumberOfParameters -> h_WrongNumberOfParameters
481| FailedStore -> h_FailedStore
482| NonsenseState -> h_NonsenseState
483| ReturnMismatch -> h_ReturnMismatch
484| UnknownLabel -> h_UnknownLabel
485| BadFunctionValue -> h_BadFunctionValue
486| MainMissing -> h_MainMissing
487| UnknownField -> h_UnknownField
488| UndeclaredIdentifier -> h_UndeclaredIdentifier
489| BadlyTypedAccess -> h_BadlyTypedAccess
490| BadLvalue -> h_BadLvalue
491| MissingField -> h_MissingField
492| FIXME -> h_FIXME
493| MissingLabel -> h_MissingLabel
494| ParamGlobalMixup -> h_ParamGlobalMixup
495| DuplicateLabel -> h_DuplicateLabel
496| TypeMismatch -> h_TypeMismatch
497| UnknownLocal -> h_UnknownLocal
498| FailedConstant -> h_FailedConstant
499| BadState -> h_BadState
500| StoppedMidIO -> h_StoppedMidIO
501| UnsupportedOp -> h_UnsupportedOp
502| CorruptedPointer -> h_CorruptedPointer
503| NotATwoBytesPointer -> h_NotATwoBytesPointer
504| ValueNotABoolean -> h_ValueNotABoolean
505| NotAnInt32Val -> h_NotAnInt32Val
506| WrongLength -> h_WrongLength
507| InitDataStoreFailed -> h_InitDataStoreFailed
508| DuplicateVariable -> h_DuplicateVariable
509| MissingId -> h_MissingId
510| IllTypedEvent -> h_IllTypedEvent
511| InternalStackFull -> h_InternalStackFull
512| InternalStackEmpty -> h_InternalStackEmpty
513| BadProgramCounter -> h_BadProgramCounter
514| ProgramCounterOutOfCode -> h_ProgramCounterOutOfCode
515| PointNotFound -> h_PointNotFound
516| LabelNotFound -> h_LabelNotFound
517| MissingSymbol -> h_MissingSymbol
518| BadFunction -> h_BadFunction
519| SuccessorNotProvided -> h_SuccessorNotProvided
520| BadPointer -> h_BadPointer
521| NoSuccessor -> h_NoSuccessor
522| MissingStackSize -> h_MissingStackSize
523| ExternalMain -> h_ExternalMain
524| BadRegister -> h_BadRegister
525| BadMain -> h_BadMain
526| MissingRegister -> h_MissingRegister
527| MissingStatement -> h_MissingStatement
528| BadJumpTable -> h_BadJumpTable
529| BadJumpValue -> h_BadJumpValue
530| FinalState -> h_FinalState
531| EmptyStack -> h_EmptyStack
532| OutOfBounds -> h_OutOfBounds
533| UnexpectedIO -> h_UnexpectedIO
534| TerminatedEarly -> h_TerminatedEarly
535| BadCostLabelling -> h_BadCostLabelling
536| RepeatedCostLabel -> h_RepeatedCostLabel
537
Note: See TracBrowser for help on using the repository browser.