Re: typedef (well, objectdef) in Cecil?

From: Vassily Litvinov (vass@cs.washington.edu)
Date: Fri Feb 07 2003 - 16:04:37 PST

  • Next message: Craig Chambers: "Re: typedef (well, objectdef) in Cecil?"

    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