Closed mtzguido closed 2 months ago
This should also preserve error ranges better.
--
This fixes the build after https://github.com/FStarLang/FStar/pull/3370. Sorry for not noticing earlier. It also makes re-raised exceptions preserve the original range, so I wonder if it improves error locations noticeably in Steel code.
This should also preserve error ranges better.
--
This fixes the build after https://github.com/FStarLang/FStar/pull/3370. Sorry for not noticing earlier. It also makes re-raised exceptions preserve the original range, so I wonder if it improves error locations noticeably in Steel code.