Dear all,

I'm new to tup. What I like very much is its capability of dependency 
inference. If my understanding is correct, the dependency 'B depends on A' is 
infered if and only if there is a rule producing B that requires reading A. 
Under mild assumptions, this seems to be safe. However, it is not optimal in 
all situations:

Let's assume that 'producing B' is a black box that involves reading A and that 
cannot be changed. If we know that 'producing B' only requires partial 
information A' of A, we need to reproduce B if and only if A' was changed.

This optimization opportunity could be exploited in tup if there was some means 
to explicitly exclude the inferred dependency:

- produce A' from A with flag ^o^
- produce B from A explicitly excluding the dependency on A and using a wrapper 
that involves reading A'

I see that explicit dependency exclusion opens opportunity for shooting oneself 
in the foot. On the other hand, practical use cases like linking with a shared 
library exist.

I would volunteer for implementing this feature provided that someone will give 
me some quick hints were to start.

Greetings,
Simon

-- 
-- 
tup-users mailing list
email: [email protected]
unsubscribe: [email protected]
options: http://groups.google.com/group/tup-users?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"tup-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to