Heejin Ahn
Heejin Ahn
@Rosstate > @aheejin This issue is about stack inspection as a high-level consideration. You are digging into specifics that belong in something more focused on two-phase exception handling. That could...
[test-dwarf.zip](https://github.com/llvm/llvm-project/files/9304321/test-dwarf.zip) Oh, I meant to attach the files and forgot it. I zipped test-dwarf-clang.o and test-dwarf-gcc.o and attached it here. (Github apparently doesn't support `.o` files)
Thank you for checking my report! 1. So do you mean the things I reported (repeating lines and weird missing/added types) are indeed bugs in the tool? 2. This snippet...
Thank you for the fixes! (Sorry for the delayed response)
@dschuff Do you have any comments?
The current formal reduction rule for `rethrow` in the core spec is: ``` caught{a val*} B^l[rethrow l] end ↪ caught{a val*} B^l[val* (throw a)] end ``` So this does a...
@Ms2ger Gentle ping for my latest question :)
1. I think multi-level unwinding support is good and well suited for languages we currently try to support. It may not very well suited for Haskell, but in case we...
> Thank you for your response. Specific points: > 1. The 'static' proposal does not prevent multi-level unwinding. It simply requires code at each level. (Haskell's approach to exceptions is...
We had some spec changes, which is still not final. Toolchain implementation work is going on but not yet finished. This hasn't been updated very timely manner, sorry, I'll try...