source: extracted/errorMessages.ml @ 2960

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

New extraction, it diverges in RTL execution now.

File size: 1.3 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| RepeatedCostLabel0
78| FramesEmptyOnPop
79| BlockInFramesCorrupted
80| FrameErrorOnPush
81| FrameErrorOnPop
82| FunctionNotFound
83| StackOverflow
Note: See TracBrowser for help on using the repository browser.