[THRIFT-1532] The type specifications in the generated Erlang code should include "undefined" where it's used as a default value

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 0.8
• Fix Version/s: 0.9
• Component/s: Erlang - Compiler
• Labels: compiler dialyzer erlang specification type

Environment

Erlang/OTP R15B.

• Patch Info: Patch Available
• Assignee: Anthony Molinaro
• Reporter: Björn Bylander
• Created: 02/Mar/12 13:12
• Updated: 23/Mar/12 00:29
• Resolved: 22/Mar/12 06:36

Description

The Erlang code generated by the compiler for, for example, an integer field of a struct sets a default value of 'undefined' but the type to just 'integer()' which doesn't include the default value. This makes Dialyzer complain if the field has not been initialized as it gets set to 'undefined' instead of an integer value.