Module hlbc::types

Bytecode elements definitions. All the Ref* types in this modules are references to bytecode elements like constants or function. They are required since we cannot use rust references as that would make our structure self-referential. They makes the code look a bit more complicated than it actually is. Every Ref* struct is cheaply copyable.

Structs

• ConstantDef
  A constant definition
• EnumConstruct
  An enum variant definition
• Function
  A function definition with its code.
• Native
  A native function reference. Contains no code but indicates the library from where to load it.
• ObjField
  An object field definition
• ObjProto
  An object method definition
• RefBytes
  A reference to the bytes constant pool
• RefEnumConstruct
  A reference to an enum variant
• RefField
  A reference to an object field
• RefFloat
  A reference to the f64 constant pool
• RefFun
  Index reference to a function or a native in the pool (findex)
• RefGlobal
  A reference to a global
• RefInt
  A reference to the i32 constant pool
• RefString
  Reference to the string constant pool
• RefType
  Reference to a type in the constant pool
• Reg
  A register argument
• TypeFun
  Common type for Type::Fun and Type::Method
• TypeObj
  Common type for Type::Obj and Type::Struct
• ValBool
  An inline bool value

Enums

• FunPtr
  Reference to a function or a native object
• Type
  Type available in the hashlink type system. Every type is one of those.