source: extracted/errorMessages.ml @ 2649

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

...

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