Radek Szymczyszyn

Indeed, especially "Covariance and Contravariance" is very informative. It contains one more brilliant idea which I [tested in Gradualizer](https://github.com/erszcz/Gradualizer/tree/express-subtype-with-typediff), but with quite a dramatic impact on test results. The idea...

> Etilyzer is not gradual typing, is it? At the very least [they accept the dynamic type on the syntax level](https://github.com/etylizer/etylizer/blob/90933dfa1a4b4f3f20e8f2b6ce3bf0287701df96/src/ast_transform.erl#L289), so I imagine they would like to expand in...

> 20 failed tests don’t sound like that much. Indeed, I might give it a go and try fixing them when I find a while. > Also, have you thought...

This might be similar to the record issue from #467, so a regression due to #452. I'll check if we need to normalize maps somewhere deeper in the type checker...

mpmiszczyk used Arch as the host system for running VirtualBox and apparently setting up VB there with full networking support wasn't straightforward. The guest system images you will run inside...

Wow, nifpp looks great indeed! I've felt the inconvenience of manual type casting on the C / Rust boundary - there's definitely room for improvement over the bindgen-generated bindings there....

The example was a bit outdated. Please try current master. With Erlang 17.1 and Rust 1.0.0 it should _just work_. You might run into a few glitches with version numbers...

Hi! I'm aware of that, but don't have time to fix it. Please try branch [macosx-wip](https://github.com/lavrin/erlang-rust-nif/tree/macosx-wip), but don't forget to customize the Makefile: ``` ERLANG_SRC_DIR ?= ${HOME}/.kerl/builds/17.1/otp_src_17.1 ERLANG_EI_LIB_DIR ?= ${HOME}/apps/erlang/17.1/lib/erl_interface-3.7.17/lib...

This problem really boils down to adding `-flat_namespace -undefined suppress` to the compiler command line. If you know how to convince Cargo to do that, it should build just fine.

``` =case sm_SUITE:preserve_order =logfile sm_suite.preserve_order.html =started 2015-08-19 10:01:45 =ended 2015-08-19 10:01:46 =result failed: {{assertion_failed,assert,is_chat_message, [], {xmlel,, [{, }, {,}, {,}, {,}], [{xmlel,,[],[{xmlcdata,}]}, {xmlel,, [{,}, {,}, {, }], [{xmlcdata,}]}]}, "4Offline Storage"},...