Dmitry Belyaev
Dmitry Belyaev
Does it mean that `andalso(true, number())` will fail to typecheck as `false: number()` does not hold?
@UlfNorell So if I have ```erlang -spec get_value() -> number(). get_value() -> 42. -spec test(boolean()) -> false | number(). test(Pred) -> Pred andalso get_value(). ``` will it also fail?
@michalmuskala > Yes, but we can't use serde directly - the problem is that it is not pre-emptive This is a bit unexpected especially as Rust is meant to be...
I'm using a GNU bash from Nix `~/.nix-profile/bin/bash` instead of Mac preinstalled `/bin/bash` and it never was a problem with iTerm2 - it allows to specify any shell I like...