On 15/12/2010, at 12:05 PM, john skaller wrote:
> 
> bottom line: I have no idea what's causing the bug, but I also have no idea
> what invariants really have to be preserved so it makes looking for the bug
> irrelevant: got to have design invariants before you can look for places the
> invariants are broken.

A similar issue here:

(** The bound symbol type. *)
type t = {
  id:string;
  sr:Flx_srcref.t;
  vs:Flx_types.ivs_list_t;
  pubmap:Flx_btype.name_map_t;
  privmap:Flx_btype.name_map_t;
  dirs:Flx_types.sdir_t list;
  bbdcl:Flx_bbdcl.t;
}

Now, the pubmap, privmap, and dirs are **only** useful during lookup.
Really they should never get into the bound symbol table.



--
john skaller
skal...@users.sourceforge.net





------------------------------------------------------------------------------
Lotusphere 2011
Register now for Lotusphere 2011 and learn how
to connect the dots, take your collaborative environment
to the next level, and enter the era of Social Business.
http://p.sf.net/sfu/lotusphere-d2d
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to