On Wed, Jul 06, 2011 at 10:05:34AM -0700, Johan Hake wrote: > On Wednesday July 6 2011 08:08:48 Garth N. Wells wrote: > > On 06/07/11 16:00, Johan Hake wrote: > > > On Jul 6, 2011, at 1:54, Anders Logg <[email protected]> wrote: > > >> I'm thinking of how to handle this bug: > > >> > > >> https://bugs.launchpad.net/ffc/+bug/787010 > > >> > > >> I see two solutions: > > >> > > >> 1. Handle parameters with dynamical type in C++ (fairly easy to add). > > > > > > Not sure I like this. It is nice to have a strongly typed regime here. > > > > We could store all parameters as strings and let the using perform any > > casts (boost::lexical_cast is good for this). > > > > >> 2. Not use parameters that may change type in FFC (from "auto" to an > > >> int). > > > > > > Is it possible to store the parameter As an int internally in FFC, -1 for > > > auto, and then add logic to the parsing of this variable so 'auto' > > > becomes -1?
You mean from the command-line? Perhaps. > > That should be fine, just not as pretty. > > I do not care, I just think Parameter should be static wrt typing. If we want > to change that and introduce a set of new paramters that might be fine. But it > requires more work and I think it is overkill for this bug. I think the best solution at this point is to avoid multi-type parameters in FFC. It should be possible to work around it. I'll try to find a good solution. -- Anders > Johan > > > Garth > > > > > Did that make sense? > > > > > > Johan > > > > > > > > > _______________________________________________ > > > Mailing list: https://launchpad.net/~dolfin > > > Post to : [email protected] > > > Unsubscribe : https://launchpad.net/~dolfin > > > More help : https://help.launchpad.net/ListHelp > > > > _______________________________________________ > > Mailing list: https://launchpad.net/~dolfin > > Post to : [email protected] > > Unsubscribe : https://launchpad.net/~dolfin > > More help : https://help.launchpad.net/ListHelp > > _______________________________________________ > Mailing list: https://launchpad.net/~dolfin > Post to : [email protected] > Unsubscribe : https://launchpad.net/~dolfin > More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
