> I would stronly argue against an initial . in the file name. That only makes > sense if it is in the users home directory and these look like they would be > some where else. Any way, a common convention to use is > ~/.mlton/... Yes, I think this is what Matthew was suggesting.