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
