From: Vassily Litvinov (vass@cs.washington.edu)
Date: Fri Feb 07 2003 - 16:04:37 PST
I wonder if Andrei's AnalysisAction is a concrete object (as otherwise
it's hard to pass it around). If so, type synonyms are not going to help.
But in this case there is a more general question of whether concrete
objects are allowed to have type parameters, in the first place. As
otherwise the fields of this object could be viewed of different types
(for those fields whose types refer to the type parameters), which is
unsound.
In other words, AnalysisAction[CSELatticeElmt, ForwardCFGAnalysisGraph]
and AnalysisAction[CSELatticeElmt, BackwardCFGAnalysisGraph] would need to
be different concrete objects.
Just wondering.
Vass
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://mailman.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Fri Feb 07 2003 - 16:04:42 PST