Greg Pfeil
Greg Pfeil
@smungee received the following error: “matryoshka.Recursive.Ops[matryoshka.data.Fix[$file.ExprTest.Expr],$file.ExprTest.Expr]#transAna.type does not take parameters” and the explanation I’d like to see is something like “`transAna` requires a type parameter specifying the result type. In...
There is a fourth category – when defining pattern functors. This sometimes overlaps with the first category (you define algebras in the same file you define your pattern functors), but...
Yeah, that’s what the conclusion says, too 😉
To be clear (because, upon rereading I think it’s not) my plan is to eliminate the old approach that allows for types that can implement some `mapT` but lack either...
With some (not yet PRed) changes that redefine all of the `trans*` operations in terms of the {co}algebraic operations, these become even more obviously `transform > embed`. If inference were...
Cool! So, there’s a PR (#28) with a bunch of mutual-recursion stuff on it, including working examples. However, a regression in scalac means it doesn’t compile anymore. I have an...
So, Matryoshka has a new definition of `repeatedly` now that basically requires it to return `Partial[A]`, tracking the general recursion explicitly, so if this PR (including the description) could be...
@rabbitonweb Ping.
Blocked by scala/scala#5744 for Scala 2.12 (and scala/scala#5749 for Scala 2.11).
I think the db and log files should go in `$XDG_STATE_HOME/wakatime/` (or `$XDG_CACHE_HOME/wakatime/` if they can be regenerated), not `$XDG_DATA_HOME` (because that’s intended to be for read-only data). I also...