favonia
favonia
@mikeshulman Those can help implement the suppression of warnings about shadowing, such as OCaml's `open!`. But other than dynamic warning suppression, I guess we were just trying to use effects...
> The one change on the Yuujinchou side that would make this a bit more natural would be for `Modifier.Make` to export versions of the `Trie.union_*` functions that automatically supply...
@mikeshulman I am marking this as "done", and I look forward to the code you are going to write.
Now we have testing for the internal reachability library, but the whole theory was not tested.
@TOTBWF What's the current status of stagedtt?
Yeah, I added `(formatting disabled)` after studying why my package (originally) did not pass CI. How about an error message like this? I can imagine that a beginner would be...
@mmcqd @TOTBWF @jonsterling I have two competing designs: 1. Have a _separate_ `Logger` and `Reporter` can use `Logger` directly. 2. Only add those functions to `Reporter`. I wonder if you...
@johnyob Hi, I wonder if you think Grace is stable enough now, and whether you have any comment about the questions I asked above? (Sorry for the bothering but I...
Perhaps we (or I?) should spend a bit more time resolving this issue. 😅 @TOTBWF What's the current progress of fixing bugs in the cited issue? @mikeshulman Is there a...
@TOTBWF I see, but no, I don't think that's the main issue or difficulty here. There's no need to try to work around UTF-8/16 now---at least that's not the priority....