Matthew Flatt

Results 280 comments of Matthew Flatt

I've updated the PR to change the way relative-tail calls are handled under `call-setting-continuation-attachment` in a non-tail position. Instead of allocating an attachment-moving wrapper as a closure, the relative-tail call...

Rebased and folded in #377 plus subsequent improvements.

The PR remains as ready as ever, and the conflicts look easily resolvable. Whether there's any demand for the feature here is another question, though. If there's interest in refining...

The f4_sum_cb_i8 example works for my old RPi with an old Raspian, so I'm not certain what's going wrong. But the last sub-case of the `(fp-ftd& ,ftd)` case of `do-result`...

I've spent more time on arm32le, so here are some follow-ups: * I never saw the failure with `f4_sum_cb_i8`, maybe due to a forgiving gcc on my ancient Raspian installation....

The `-fomit-frame-pointer` workaround may be related to the inline assembly that `mkheader.ss` generates. The inline assumbly uses r11 (the frame pointer register), but that choice seems arbitrary. I changed it...

The two main pieces for pb in the Racket branch are "pb.ss", which is a backend like "x86_64.ss" or "arm32.ss", and "pb.c"/"pb.h", which is the interpreter loop that should drop...

Hand-rolling a continuation in C for the fasl reader looked more painful than I was willing to try. Unlike a traversal of an existing tree, say, where the continuation can...

In the case of weak and ephemeron pairs, I concluded that weak references shouldn't count against ordered finalization. I'm not 100% certain of that choice (or anything else about finalization),...

It turns out that the fragile situation goes wrong if a pair's `car` refers back to the pair. The forwarding mark gets overwritten with the forwarded pointer for the `car`,...