Mon Oct 21 10:18:47 PDT 2002 malcolm * In hat-trans, make a distinction between the real source file location (possibly in /tmp) and the name it should have (for naming directories, the transformed file, and the .hx file). M ./src/hattrans/Flags.hs -11 +5