[clean-list] Type checker to track files

[zuurb078 at planet.nl]

I want to write a program that composes a text file, using input from other files within a certain file path.
 
Would it be possible use the type checker to make sure that the contents of the the output text file is influenced only by files on the mentioned file path, not by any other files,  channels, GUI's.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.science.ru.nl/pipermail/clean-list/attachments/20100920/175aba0d/attachment.html>