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