Support Record Type spec

[yoshihiro503]

The Problem

Ordinary record type expression has no field information in type specs. like this:

-spec foo(#rec{}) -> ok.

Then, the field_types field of TyRecord in absform is almost empty.

(I think that many Erlang programmer does not know the explicit record type field syntax)

links

• https://twitter.com/yoshihiro503/status/1159049989160484865

What should we do

Add a parameter module_info to the Type.of_absform like From_erlang.expr_of_erlang_expr'.