source: src/common/ErrorMessages.ma @ 2783

Last change on this file since 2783 was 2751, checked in by mckinna, 7 years ago

Added

| AssemblyTooLarge? : ErrorMessage?

to complete compiler.ma

File size: 2.2 KB
Line 
1include "basics/pts.ma".
2
3inductive ErrorMessage: Type[0] ≝
4   MISSING: ErrorMessage
5 | EXTERNAL: ErrorMessage
6 | AssemblyTooLarge : ErrorMessage
7 | Jump_expansion_failed : ErrorMessage
8 | ValueIsNotABoolean : ErrorMessage
9 | BadCast : ErrorMessage
10 | BadlyTypedTerm : ErrorMessage
11 | UnknownIdentifier : ErrorMessage
12 | BadLvalueTerm : ErrorMessage
13 | FailedLoad : ErrorMessage
14 | FailedOp : ErrorMessage
15 | WrongNumberOfParameters : ErrorMessage
16 | FailedStore : ErrorMessage
17 | NonsenseState : ErrorMessage
18 | ReturnMismatch : ErrorMessage
19 | UnknownLabel : ErrorMessage
20 | BadFunctionValue : ErrorMessage
21 | MainMissing : ErrorMessage
22 | UnknownField : ErrorMessage
23 | UndeclaredIdentifier : ErrorMessage
24 | BadlyTypedAccess : ErrorMessage
25 | BadLvalue : ErrorMessage
26 | MissingField : ErrorMessage
27 | FIXME : ErrorMessage
28 | MissingLabel : ErrorMessage
29 | ParamGlobalMixup : ErrorMessage
30 | DuplicateLabel : ErrorMessage
31 | TypeMismatch : ErrorMessage
32 | UnknownLocal : ErrorMessage
33 | FailedConstant : ErrorMessage
34 | BadState : ErrorMessage
35 | StoppedMidIO : ErrorMessage
36 | UnsupportedOp : ErrorMessage
37 | CorruptedPointer: ErrorMessage
38 | NotATwoBytesPointer: ErrorMessage
39 | ValueNotABoolean: ErrorMessage
40 | NotAnInt32Val: ErrorMessage
41 | WrongLength: ErrorMessage
42 | InitDataStoreFailed : ErrorMessage
43 | DuplicateVariable : ErrorMessage
44 | MissingId : ErrorMessage
45 | IllTypedEvent : ErrorMessage
46 | InternalStackFull : ErrorMessage
47 | InternalStackEmpty : ErrorMessage
48 | BadProgramCounter : ErrorMessage
49 | ProgramCounterOutOfCode : ErrorMessage
50 | PointNotFound : ErrorMessage
51 | LabelNotFound : ErrorMessage
52 | MissingSymbol : ErrorMessage
53 | BadFunction : ErrorMessage
54 | SuccessorNotProvided : ErrorMessage
55 | BadPointer : ErrorMessage
56 | NoSuccessor : ErrorMessage
57 | MissingStackSize : ErrorMessage
58 | ExternalMain: ErrorMessage
59 | BadRegister : ErrorMessage
60 | BadMain : ErrorMessage
61 | MissingRegister : ErrorMessage
62 | MissingStatement : ErrorMessage
63 | BadJumpTable : ErrorMessage
64 | BadJumpValue : ErrorMessage
65 | FinalState : ErrorMessage
66 | EmptyStack: ErrorMessage
67 | OutOfBounds: ErrorMessage
68 | UnexpectedIO : ErrorMessage
69 | TerminatedEarly : ErrorMessage
70 | BadCostLabelling : ErrorMessage
71 | RepeatedCostLabel : ErrorMessage.
Note: See TracBrowser for help on using the repository browser.