Cody Allen
Cody Allen
Sometimes `names.global` can't find types (and probably also terms?) that definitely exist. I'm having trouble creating a minimal example of this, but I see it with the following setup: -...
I find that I'm often just interested in the type signature of a term, but when I `view myTerm` the implementation is long enough that I have to page back...
As I understand it, there is already a wart to prevent inference of `Product` but there aren't warts that disable methods that are inherited from `Product`. It's common to make...
Frameless is depending on portions of Spark for which there is no binary compatibility commitment. For example, Frameless uses `StaticInvoke`, which is part of the `org.apache.spark.sql.catalyst.expressions.objects` package. If you look...
I remembered that there were some useful atto tut docs, but after the microsite transition I found them a little difficult to locate and probably wouldn't have kept looking for...
Consider the following Option-like ADT: ```scala @deriveTraverse sealed abstract class MyExprF[+A] extends Product with Serializable object MyExprF { final case class Const[+A](value: A) extends MyExprF[A] case object Noll extends MyExprF[Nothing]...
I think that the situations in which this arises are somewhat uncommon, but I don't know of any good way to work around it when it does happen. For example...
Create the following function: ```haskell main : '{IO, Exception} () main _ = raise (Failure (typeLink Unit) "blargh" !Any) ``` From within a `ucm` session if you `run main` you...
Let's say that you create an alias for a builtin term: ```ucm .> alias.term ##Nat.+ plus ``` Now you want to load your whole namespace to a scratch file so...
I'm in a project namespace that includes the distributed lib, and when I run `dependencies pure.run.impl`, it spits out a huge amount of text. The first 20 lines are this:...