In C++ code we want to catch exceptions before returning to Haskell, or things don't end well, but some code does not need this overhead.
If we can generate C++ code with a noexcept qualifier on it, we can take advantage of the C++ compiler to enforce this safety condition while allowing us to generate faster code.
In C++ code we want to catch exceptions before returning to Haskell, or things don't end well, but some code does not need this overhead. If we can generate C++ code with a
noexcept
qualifier on it, we can take advantage of the C++ compiler to enforce this safety condition while allowing us to generate faster code.