let rec make_struct_type_list varlist env = match varlist with
    (Ast.SynVarDeclareNoInit (dt,_))::rest ->
      let _ = annotate_data_type dt env in 
        dt::(make_struct_type_list rest env)
  | _::rest -> raise_type_error ["Struct declaration cannot contain a field initialization."]
  | [] -> []