Robby Findler

The framework's preference library writes to the file only when preference:set is called. When the file is read and a value doesn't satisfy the preference, it is just ignored and...

Thank you for working on this. A few comments/questions: - why remove the unit? (I would have initialized the preference in private/main.rkt, if that's the reason) - this exception handler...

The unit is for the rest of the framework. The framework also tries to guarantee that all of the preferences are initialized before any of the other code runs to...

The directory might not exist later when the auto save (or backup) file is being saved.

Which makes me think of another problem: what happens if there are multiple files with the same name (but in different directories)? There probably needs to be some kind of...

Oh, I see `encode-as-path-element` now, sorry for not checking for that first. Under Windows, the path length limit seems to be [260 chars](https://msdn.microsoft.com/en-us/library/windows/desktop/aa365247(v=vs.85).aspx#maxpath), which seems plausible enough that probably something...

This also demonstrates the bug. Maybe something to do with `_!_` patterns. It seems to require three entries in the environment. Seems like a clue. ``` #lang racket (require redex/reduction-semantics)...

Oh, and in case this wasn't obvious, @wilbowma , I think that using a `different` metafunction is a workaround, something like this. (That is, the unifier inside Redex that finds...

Maybe there are multiple bugs and I simplified to a different one! Whee. :)

Thanks for the interest in Redex! Unfortunately, the signatures on metafunctions (and similar things in other places) aren't something that redex can reason about statically in a definitive manner. That...