Alex Wood
Alex Wood
A while back I made the unwinder work more efficiently by using `setjmp`/`longjmp` instead of C++ exceptions. In order for this to work with C++ functions, C++ functions that aren't...
Function interpolation in BIR is closely related to several bugs, such as #1402, #1401, #1365, #1330 maybe, #1326 maybe, #1266 maybe, #1264, #1260, probably more. It's inherently a complex mutation...
We would like to support good backtraces for bytecode functions. This means that the existing backtrace machinery for native code needs to be extended so it can _also_ handle bytecode...
The bytecode compiler should store enough information for the debugger to be able to figure out where the code is. This probably entails something like DWARF line tables. There should...
Currently structure objects use the same underlying representation as standard objects, the `Instance_O` with a `Rack_O`. This is essentially just a vector of boxed objects. It would be nice if...
We store global function bindings directly in the naming symbols. Every symbol has `_Function` and `_SetfFunction` slots. `cl:fdefinition` consults these slots, as does the lower level mechanism used for function...
rtypes are currently just keywords. This is simple, but limiting if we want things like unboxed structs or SIMD vectors that are more parameterized. The keywords should still be available...
i.e. cmp/debuginfo.lisp. This subsystem is old and was originally written for bclap. It's based on a menagerie of dynamic variables. It doesn't do inlining very well due to how function...
A while ago I wrote an abstract interpreter in Cleavir based on stuff in Cousot. The practical upshot is that it should provide a clean way to do actual fixpoint...
Currently local multiple value calls, i.e. mv-calls to a function in the same module, are not really inlined at the LLVM level. Local mv calls come up kind of a...