26 Jan
2005
26 Jan
'05
8:23 p.m.
On 01/26/2005 11:47 AM, Jonathan Turkanis wrote: [snip]
I will examine your code. At first glance, it looks a little frightening ;-)
Yeah, I know. What I was trying to do was create a morphism on data types, where the data types in category C1 are an inheritance heirarchy of some type (e.g. the types representing nodes in an AST), and then create a "mirror" of this in another category C2. However, each class in C2 would dynamically inherit from the corresponding class in C1 AND would also have the same relationships between the types in C2 that are in C1. The diagram in: http://lists.boost.org/MailArchives/boost/msg61156.php may help illustrate. Thanks for any help. Regards, Larry