Module `Obc`

type name = string

type exp =

| Oconst of immediate
| Oconstr0 of Lident.t
| Oconstr1 of Lident.t * exp list
| Oglobal of Lident.t
| Olocal of Zident.t
| Ovar of is_mutable * Zident.t
| Ostate of left_state_value
| Oaccess of exp * exp
| Oupdate of size * exp * exp * exp
| Oslice of exp * size * size
| Oconcat of exp * size * exp * size
| Ovec of exp * size
| Otuple of exp list
| Oapp of exp * exp list
| Orecord of (Lident.t * exp) list
| Orecord_access of exp * Lident.t
| Orecord_with of exp * (Lident.t * exp) list
| Otypeconstraint of exp * type_expression
| Oifthenelse of exp * exp * exp
| Omethodcall of method_call
| Oinst of inst

and is_mutable = bool

and inst =

| Olet of pattern * exp * inst
| Oletvar of Zident.t * is_mutable * Deftypes.typ * exp option * inst
| Ofor of bool * Zident.t * exp * exp * inst
| Owhile of exp * inst
| Omatch of exp * inst match_handler list
| Oif of exp * inst * inst option
| Oassign of left_value * exp
| Oassign_state of left_state_value * exp
| Osequence of inst list
| Oexp of exp

and is_shared = bool

and left_value =

| Oleft_name of Zident.t
| Oleft_record_access of left_value * Lident.t
| Oleft_index of left_value * exp

and left_state_value =

| Oself
| Oleft_state_global of Lident.t
| Oleft_instance_name of Zident.t
| Oleft_state_name of Zident.t
| Oleft_state_record_access of left_state_value * Lident.t
| Oleft_state_index of left_state_value * exp
| Oleft_state_primitive_access of left_state_value * primitive_access

and primitive_access =

| Oder
| Ocont
| Ozero_out
| Ozero_in

and immediate =

| Oint of int
| Oint32 of int
| Obool of bool
| Ofloat of float
| Ochar of char
| Ostring of string
| Ovoid
| Oany

and pattern =

| Owildpat
| Otuplepat of pattern list
| Ovarpat of Zident.t * type_expression
| Oconstpat of immediate
| Oaliaspat of pattern * Zident.t
| Oconstr0pat of Lident.t
| Oconstr1pat of Lident.t * pattern list
| Oorpat of pattern * pattern
| Otypeconstraintpat of pattern * type_expression
| Orecordpat of (Lident.t * pattern) list

and 'a match_handler = {

w_pat : pattern;
w_body : 'a;

}

and machine = {

ma_kind : Deftypes.kind;
ma_params : pattern list;
ma_initialize : inst option;
ma_memories : mentry list;
ma_instances : ientry list;
ma_methods : method_desc list;

}

and mentry = {

m_name : Zident.t;
m_value : exp option;
m_typ : Deftypes.typ;
m_kind : Deftypes.mkind option;
m_size : exp path;

}

and ientry = {

i_name : Zident.t;
i_machine : exp;
i_kind : Deftypes.kind;
i_params : exp path;
i_size : exp list;

}

and method_desc = {

me_name : method_name;
me_params : pattern list;
me_body : inst;
me_typ : Deftypes.typ;

}

and method_call = {

met_machine : Lident.t option;
met_name : method_name;
met_instance : (Zident.t * exp path) option;
met_args : exp list;

}

and method_name = name

and 'a path = 'a list

and implementation_list = implementation list

and implementation =

| Oletvalue of name * inst
| Oletfun of name * pattern list * inst
| Oletmachine of name * machine
| Oopen of string
| Otypedecl of (string * string list * type_decl) list

and type_expression =

| Otypevar of string
| Otypefun of kind * Zident.t option * type_expression * type_expression
| Otypetuple of type_expression list
| Otypeconstr of Lident.t * type_expression list
| Otypevec of type_expression * size

and size =

| Sconst of int
| Sname of Zident.t
| Sglobal of Lident.t
| Sop of size_op * size * size

and size_op =

| Splus
| Sminus

and kind =

| Ofun
| Onode

and type_decl =

| Oabstract_type
| Oabbrev of type_expression
| Ovariant_type of constr_decl list
| Orecord_type of (string * type_expression) list

and constr_decl =

| Oconstr0decl of string
| Oconstr1decl of string * type_expression list

Install

Dune Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Obc/index.html

Module `Obc`

package zelus

Install

Dune Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Obc/index.html

Module Obc

Module `Obc`