source: extracted/errorMessages.ml @ 2817

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

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

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