group

Topic: Thpoint types

Thesa primitive operation NumberLit

Thesa first universal machine for th field

Object

Branch

Exception

ObjectA

ObjectB

Label

Program

test universal field machine

Thesa

ThesaProgram

see

ThesaGroup: entries related to compiling

Topic: bootstrap the compiler

ThesaTest: test Thesa's \\primitives

enum of type ItemIdLit

define an enum object

code

none

enumeration with enums Program functions Program

type of ItemIdLit with global fields ProgramA fields ProgramB interfaces ProgramC

type with global fields ProgramA fields ProgramB interfaces ProgramC

object of type ItemIdLit

interface with functions ProgramA interfaces ProgramB

interface with functions Program

ItemIdLit enumeration of functions Program

ItemIdLit interface function

ItemIdLit interface of functions Program

is a field of ItemIdLit

is a global field of ItemIdLit

define label

define label reference

enum of type ItemIdLit

pass

goto Label

if ItemIdLitA is ItemIdLitB goto Label

unless ItemIdLitA is ItemIdLitB goto Label

ItemIdLitA = ItemIdLitB

label Label

trace ItemIdLitA