| * I would like to make GHC generate only the core file and | the hi file, nothing more. However, I haven't found a way of | making GHC stop after outputting the hi file. Being able to | do this is useful in some other cases as well; I sometimes | look at the raw core that comes is printed with the -ddump* | flags. It is often the case that I don't want anything to be | generated then. This would be a Good Thing and not too hard. How would you like to specify where to stop? "After the last blob of debug output" might be a reasonable answer, but we definitely also want to be able to carry on. Yet another flag? | * Speaking of arguments, it would be a nice thing if one | could get the output in A-normal-form. This is done by GHC | anyway when converting to STG and in some cases it would be | really useful. GHC is controlled by a little script, one "instruction" of which is "dump the ext-core". I have long wanted to externalise the script file so that you can write it youself; just one more thing we have not done yet. Simon