Max Heiber

+1 I'm a noob and ran into this very quickly. There are a few cases in the Book where `'+static` is added to a function parameter. But there are currently...

For what it's work, I like how the existing API surface area is small but powerful. If you want to assert that type T has both: - a property named...

pinging about this

Re: > "Either way, we are not likely to change the default now" Command-line `dialyzer` reports unknown types and functions by default. Is there a reason for rebar3 to not...

The command-line Dialyzer warns about unkown types. I just tested with dialyzer v4.2.

Yes, it does it by default, as far as I can tell. It is surprising (to me) that the behavior of the command line tool and dialyzer:run are so different....

%

> Oh yeah, this issue should probably be specific to the Haskell implementation. I didn't realize that this was in the `dhall-lang` repository. However, we could support the same functionality...

> I also agree with @philandstuff that `XDG_CACHE_HOME` falling back to `~/.config` is probably where I'd recommend to save something like this. > fwiw, this wouldn't meet my use case...

> @mheiber: So I suppose that a local config is okay, but I think the tool should also fall back to looking in `XDG_CACHE_HOME` / `~/.config` as well if no...