record

Vern,

     I find that in parse.y,you write like this
"decl:
    ¡­¡­
  > TOK_TYPE global_id ':' refined_type opt_attr opt_attr_attr';'
"
"refined_type:
    type_list '{' type_decl_list '}'
"

Why is there a 'type_list' here but a type???

Because in the manual,we define a record like this
"type conn_id : record{
        orig_h : addr ; # Address of originating host.
        Orig_p: port; # Port used by originator.
        Resp_h: addr; # Address of responding host.
        Resp_p : port; # Port used by responder.
    };
"
There is only one record here ???

Please help me!
               
Tad