Charles Taylor

I reread this thread a few times, I think it's fair to summarize as follows: ## Problem Statement (1) Old spago docs recommended manually passing extra `--purs-args "-g sourcemaps"`. This...

PackageName is a newtype around string. So can we use our own codec for that? Something like `wrapIso PackageName (CA.string)` wouldn't swallow errors, right?

@f-f Sorry, for the slow reply. Yes, you can unassign me from this issue.

I agree the layout is a bit funky. For now it could be adapted to just be the list of modules. The grouping is not actually by package, but just...

> This is very close to what the previous Spago/docs-search did. I think the "group by package" feature broke in the migration, because it was more useful then I'm glad...

Have shell completions been considered as a solution? Git ships with shell completions which helps with switching between branches that may be long. I see this issue as being fundamentally...

What does the `@Constant` decorator mean? Does it mean that the function can be safely run at compile time?

@kaleidawave I started a branch for `never` related issues. It's necessary to get `Pick`, `Omit`, `Exclude` and `Extract` utility types to work properly. https://github.com/CharlesTaylor7/ezno/tree/never-type Also, confirmed that tsc does enough...

@kaleidawave It's an interesting question you posed about shadowing `never` with another type. I've never tried to do that before, so I checked in TS playground. Apparently certain types are...