Compiling to C with #line directive actually gives a good enough debugging experience, similar to compiling to JavaScript with source map. This is <i>much</i> easier than generating debug info, even with LLVM.