types

Documentation

Overview

Package types provides data structures for types in GoCaml.

Index

• Variables
• type Array
  • func (t *Array) String() string
• type Bool
  • func (t *Bool) String() string
• type Env
  • func NewEnv() *Env
  • func (env *Env) Dump()
  • func (env *Env) DumpExternals()
• type External
• type Float
  • func (t *Float) String() string
• type Fun
  • func (t *Fun) String() string
• type Int
  • func (t *Int) String() string
• type Option
  • func (t *Option) String() string
• type String
  • func (t *String) String() string
• type Tuple
  • func (t *Tuple) String() string
• type Type
• type Unit
  • func (t *Unit) String() string
• type Var
  • func (t *Var) String() string

Variables

var (
	UnitType   = &Unit{}
	BoolType   = &Bool{}
	IntType    = &Int{}
	FloatType  = &Float{}
	StringType = &String{}
)

Make singleton type values because it doesn't have any contextual information

Types

type Array

type Array struct {
	Elem Type
}

func (*Array) String

func (t *Array) String() string

type Bool

type Bool struct {
}

func (*Bool) String

func (t *Bool) String() string

type Env

type Env struct {
	// Types for declarations. This is referred by type variables to resolve
	// type variables' actual types
	//
	// XXX:
	// Currently nested identifiers don't work. Example:
	//   let
	//     x = 42
	//   in
	//     let x = true in print_bool (x);
	//     print_int (x)
	// We need alpha transform before type inference in order to ensure
	// all symbol names are unique.
	Table map[string]Type
	// External variable names which are referred but not defined.
	// External variables are exposed as external symbols in other object files.
	Externals map[string]*External
}

Result of type analysis.

func NewEnv

func NewEnv() *Env

NewEnv creates empty Env instance.

func (*Env) Dump

func (env *Env) Dump()

func (*Env) DumpExternals

func (env *Env) DumpExternals()

type External

type External struct {
	Type  Type
	CName string
}

type Float

type Float struct {
}

func (*Float) String

func (t *Float) String() string

type Fun

type Fun struct {
	Ret    Type
	Params []Type
}

func (*Fun) String

func (t *Fun) String() string

type Int

type Int struct {
}

func (*Int) String

func (t *Int) String() string

type Option

type Option struct {
	Elem Type
}

func (*Option) String

func (t *Option) String() string

type String

type String struct {
}

func (*String) String

func (t *String) String() string

type Tuple

type Tuple struct {
	Elems []Type
}

func (*Tuple) String

func (t *Tuple) String() string

type Type

type Type interface {
	String() string
}

type Unit

type Unit struct {
}

func (*Unit) String

func (t *Unit) String() string

type Var

type Var struct {
	Ref Type
}

func (*Var) String

func (t *Var) String() string