extracted/errorMessages.mli

   1 open Preamble
   2
   3 open Core_notation
   4
   5 open Pts
   6
   7 type 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
  84