source: driver/error.ml @ 2779

Last change on this file since 2779 was 2773, checked in by sacerdot, 8 years ago
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File size: 2.7 KB
Line 
1open Extracted.Errors
2open Extracted.ErrorMessages
3
4let error_to_string = function
5| AssemblyTooLarge -> "AssemblyTooLarge"
6| MISSING -> "MISSING"
7| EXTERNAL -> "EXTERNAL"
8| Jump_expansion_failed
9| ValueIsNotABoolean -> "ValueIsNotABoolean"
10| BadCast -> "BadCast"
11| BadlyTypedTerm -> "BadlyTypedTerm"
12| UnknownIdentifier -> "UnknownIdentifier"
13| BadLvalueTerm -> "BadLvalueTerm"
14| FailedLoad -> "FailedLoad"
15| FailedOp -> "FailedOp"
16| WrongNumberOfParameters -> "WrongNumberOfParameters"
17| FailedStore -> "FailedStore"
18| NonsenseState -> "NonsenseState"
19| ReturnMismatch -> "ReturnMismatch"
20| UnknownLabel -> "UnknownLabel"
21| BadFunctionValue -> "BadFunctionValue"
22| MainMissing -> "MainMissing"
23| UnknownField -> "UnknownField"
24| UndeclaredIdentifier -> "UndeclaredIdentifier"
25| BadlyTypedAccess -> "BadlyTypedAccess"
26| BadLvalue -> "BadLvalue"
27| MissingField -> "MissingField"
28| FIXME -> "FIXME"
29| MissingLabel -> "MissingLabel"
30| ParamGlobalMixup -> "ParamGlobalMixup"
31| DuplicateLabel -> "DuplicateLabel"
32| TypeMismatch -> "TypeMismatch"
33| UnknownLocal -> "UnknownLocal"
34| FailedConstant -> "FailedConstant"
35| BadState -> "BadState"
36| StoppedMidIO -> "StoppedMidIO"
37| UnsupportedOp -> "UnsupportedOp"
38| CorruptedPointer -> "CorruptedPointer"
39| NotATwoBytesPointer -> "NotATwoBytesPointer"
40| ValueNotABoolean -> "ValueNotABoolean"
41| NotAnInt32Val
42| WrongLength -> "WrongLength"
43| InitDataStoreFailed -> "InitDataStoreFailed"
44| DuplicateVariable -> "DuplicateVariable"
45| MissingId -> "MissingId"
46| IllTypedEvent -> "IllTypedEvent"
47| InternalStackFull -> "InternalStackFull"
48| InternalStackEmpty -> "InternalStackEmpty"
49| BadProgramCounter -> "BadProgramCounter"
50| ProgramCounterOutOfCode -> "ProgramCounterOutOfCode"
51| PointNotFound -> "PointNotFound"
52| LabelNotFound -> "LabelNotFound"
53| MissingSymbol -> "MissingSymbol"
54| BadFunction -> "BadFunction"
55| SuccessorNotProvided -> "SuccessorNotProvided"
56| BadPointer -> "BadPointer"
57| NoSuccessor -> "NoSuccessor"
58| MissingStackSize -> "MissingStackSize"
59| ExternalMain -> "ExternalMain"
60| BadRegister -> "BadRegister"
61| BadMain -> "BadMain"
62| MissingRegister -> "MissingRegister"
63| MissingStatement -> "MissingStatement"
64| BadJumpTable -> "BadJumpTable"
65| BadJumpValue -> "BadJumpValue"
66| FinalState -> "FinalState"
67| EmptyStack -> "EmptyStack"
68| OutOfBounds -> "OutOfBounds"
69| UnexpectedIO -> "UnexpectedIO"
70| TerminatedEarly -> "TerminatedEarly"
71| RepeatedCostLabel -> "RepeatedCostLabel"
72|BadCostLabelling -> "BadCostLabelling"
73
74let rec conv_list l =
75(match l with
76| Extracted.List.Nil -> [ ]
77| Extracted.List.Cons (h, t) -> h::conv_list t)
78
79let errormsg m =
80  String.concat " "
81    (conv_list
82      (Extracted.List.map
83        (function Extracted.Errors.MSG e -> error_to_string e | _ -> "")
84       m))
Note: See TracBrowser for help on using the repository browser.