open Preamble

open Core_notation

open Pts

type errorMessage =
| MISSING
| EXTERNAL
| AssemblyTooLarge
| Jump_expansion_failed
| ValueIsNotABoolean
| BadCast
| BadlyTypedTerm
| UnknownIdentifier
| BadLvalueTerm
| FailedLoad
| FailedOp
| WrongNumberOfParameters
| FailedStore
| NonsenseState
| ReturnMismatch
| UnknownLabel
| BadFunctionValue
| MainMissing
| UnknownField
| UndeclaredIdentifier
| BadlyTypedAccess
| BadLvalue
| MissingField
| FIXME
| MissingLabel
| ParamGlobalMixup
| DuplicateLabel
| TypeMismatch
| UnknownLocal
| FailedConstant
| BadState
| StoppedMidIO
| UnsupportedOp
| CorruptedPointer
| NotATwoBytesPointer
| ValueNotABoolean
| NotAnInt32Val
| WrongLength
| InitDataStoreFailed
| DuplicateVariable
| MissingId
| IllTypedEvent
| InternalStackFull
| InternalStackEmpty
| BadProgramCounter
| ProgramCounterOutOfCode
| PointNotFound
| LabelNotFound
| MissingSymbol
| BadFunction
| SuccessorNotProvided
| BadPointer
| NoSuccessor
| MissingStackSize
| ExternalMain
| BadRegister
| BadMain
| MissingRegister
| MissingStatement
| BadJumpTable
| BadJumpValue
| FinalState
| EmptyStack
| OutOfBounds
| UnexpectedIO
| TerminatedEarly
| BadCostLabelling
| RepeatedCostLabel
| NotTerminated
| RepeatedCostLabel0
| FramesEmptyOnPop
| BlockInFramesCorrupted
| FrameErrorOnPush
| FrameErrorOnPop
| FunctionNotFound
| StackOverflow