From: skaller <sk...@us...> - 2004-12-22 16:03:46
|
On Thu, 2004-12-23 at 00:16, Bardur Arantsson wrote: > IMHO, using a different extension than .ml is a bit silly. > You already know it's a test from the test_ prefix. The reason is that there is a function 'patch_file' which transforms *.tst to *.ml, meaning, the basename is preserved. This transformation is currently the identity and could be dropped entirely. Alternatively .. or as well .. the generated code, including a copy of the source, could go into a tmp directory as Janne suggested. -- John Skaller, mailto:sk...@us... voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net |