Matthew Flatt

Results 312 comments of Matthew Flatt

@sorawee Change pushed to mflatt/shrubbery-rhombus-0.

@sorawee Another possibility: get rid of `def`. Using `val` or `fun` is unambiguous, while resolving `def` depends on binding in even more ways. We could avoid `def`, or we could...

@michaelballantyne To make sure we're on the same page: It would work to have `let val` and `let fun` specifically. Having `let any_definition_macro ....` is trouble. Suppose that `let` blindly...

Sorry for the delay, I was just looking at this now and about to merge. (It needs a version bump and history note, but I can add that after.) Did...

Ok! Sorry again for the delay, but I'll merge now.

Is is possible that "DrRacket.exe" was running at the time you ran `raco setup`? (The `raco setup` tool would not be able to delete an executable while that executable is...

The `'implicit-made-explicit` property is added to an identifier that ends up in `'origin`, so isn't the `'origin` identifier's symbol always the implicit that got made explicit?

I'm not sure I've digested the whole thread, but since I was involved with the changes, here's my understanding of the current state. The span is fixed up to 0...

I'm ambivalent. Historically, Chez Scheme hasn’t made any promises about the evolution of `(chezscheme)`, and adding things there is consistent with its design. It's not difficult to imagine a world...

I'm seeing different symptoms, but the bug appears to be that `--clone` loses track of a package name, and the name inferred from `https://github.com/nuty/vela.git?path=vela-doc` is `vela-doc` instead of `vela-docs`. I'll...