source: extracted/errorMessages.ml @ 2717

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

Extracted code for the whole compiler.
The space cost model is not there yet.

I have fixed by hand the few extraction problems
(i.e. composed coercions not extracted and type
definitions with wrong syntax).

I have also changed all axioms to be implemented
so that they do not fail at initialization time.

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