jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Changed field to a record in the signature.

Browse source
This commit is contained in:
Léonard Gérard 2010-06-17 16:08:35 +02:00
parent d1e5090803
commit fe1588af5c
2 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
global/modules.ml
View file

@ -26,6 +26,7 @@ type env =
mutable types: type_def NamesEnv.t;
mutable constr: ty NamesEnv.t;
mutable structs : structure NamesEnv.t;
mutable fields: name NamesEnv.t;
format_version : string;
}
@ -37,7 +38,7 @@ type modules =
let current =
{ name = ""; values = NamesEnv.empty; types = NamesEnv.empty;
constr = NamesEnv.empty; structs = NamesEnv.empty;
constr = NamesEnv.empty; structs = NamesEnv.empty; fields = NamesEnv.empty;
format_version = interface_format_version }
let modules =

5
global/signature.ml
View file

@ -16,7 +16,7 @@ open Static
let interface_format_version = "6"
(** Node argument *)
type arg = { a_type : ty; a_name : name option }
type arg = { a_name : name option; a_type : ty }
type param = { p_name : name }
@ -27,7 +27,8 @@ type node =
node_params : param list; (** Static parameters *)
node_params_constraints : size_constr list }
type structure = (name * ty) list
type field = { f_name : name; f_type : ty }
type structure = field list
type type_def = | Tabstract | Tenum of name list | Tstruct of structure