bytecode

const (
	ConstHashKindNone ConstHashKind = iota
	ConstHashKindInt
	ConstHashKindFloat
)

const (
	ConstKindUnit ConstKind
	ConstKindChar
	ConstKindInt
	ConstKindFloat
	ConstKindString
)

const (
	ObjectKindList ObjectKind
	ObjectKindTuple
	ObjectKindRecord
	ObjectKindOption
)

const (

	// OpKindLoadLocal adds named local object to the top of the stack
	OpKindLoadLocal OpKind
	// OpKindLoadGlobal adds global object to the top of the stack
	OpKindLoadGlobal
	// OpKindLoadConst adds const value object to the top of the stack
	OpKindLoadConst
	// OpKindApply executes the function from the top of the stack.
	// Arguments are taken from the top of the stack in reverse order
	// (topmost object is the last arg). Returned value is left on the top of the stack.
	// In case of NumArgs is less than number of function parameters it creates
	// a closure and leaves it on the top of the stack
	OpKindApply
	// OpKindCall executes native function.
	// Arguments are taken from the top of the stack in reverse order
	// (topmost object is last arg). Returned value is left on the top of the stack.
	OpKindCall
	// OpKindJump moves on delta ops unconditional
	// conditional jump tries to match pattern with object on the top of the stack.
	// If it cannot be matched it moves on delta ops
	// If it matches successfully - locals are extracted from pattern
	// Matched object is left on the top of the stack in both cases
	OpKindJump
	// OpKindMakeObject creates an object on stack.
	// List items stored on stack in reverse order (topmost object is the last item)
	// Record fields stored as repeating pairs const string and value (field name is on the top of the stack)
	// Data stores option name as const string on the top of the stack and
	// args after that in reverse order (topmost is the last arg)
	OpKindMakeObject
	// OpKindMakePattern creates pattern object
	// Arguments are taken from the top of the stack in reverse order
	// (topmost object is the last arg). Created object is left on the top of the stack.
	OpKindMakePattern
	// OpKindAccess takes record object from the top of the stack and leaves its field on the stack
	OpKindAccess
	// OpKindUpdate create new record with replaced field from the top of the stack and rest fields
	// form the second record object from stack. Created record is left on the top of the stack
	OpKindUpdate
	// OpKindSwapPop if pop mode - removes topmost object from the stack
	// if both mode - removes second object from the top of the stack
	OpKindSwapPop
)

const (
	PatternKindAlias PatternKind
	PatternKindAny
	PatternKindCons
	PatternKindConst
	PatternKindDataOption
	PatternKindList
	PatternKindNamed
	PatternKindRecord
	PatternKindTuple
)

const (
	StackKindObject StackKind
	StackKindPattern
)

const (
	SwapPopModeBoth SwapPopMode
	SwapPopModePop
)