diff options
| author | Hans Bolinder <[email protected]> | 2017-03-14 10:45:46 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-06-13 13:40:24 +0200 |
| commit | 451ae334fdd71b52ff15f56a9fd8b983eab743d7 (patch) | |
| tree | b3777ca6a02c6cd72ed3e583e0fa2c11179ef5ef /lib/hipe/cerl | |
| parent | dd9e39dc2b97e30c03b24a00eb757be7d2c2bdc2 (diff) | |
| download | otp-451ae334fdd71b52ff15f56a9fd8b983eab743d7.tar.gz otp-451ae334fdd71b52ff15f56a9fd8b983eab743d7.tar.bz2 otp-451ae334fdd71b52ff15f56a9fd8b983eab743d7.zip | |
hipe: Correct a typespec
Diffstat (limited to 'lib/hipe/cerl')
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index 4d7f1be513..8b9b1241a0 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -366,10 +366,13 @@ -type opaques() :: [erl_type()] | 'universe'. +-type file_line() :: {file:name(), erl_anno:line()}. -type record_key() :: {'record', atom()}. -type type_key() :: {'type' | 'opaque', mfa()}. --type record_value() :: [{atom(), erl_parse:abstract_expr(), erl_type()}]. --type type_value() :: {{module(), {file:name(), erl_anno:line()}, +-type field() :: {atom(), erl_parse:abstract_expr(), erl_type()}. +-type record_value() :: {file_line(), + [{RecordSize :: non_neg_integer(), [field()]}]}. +-type type_value() :: {{module(), file_line(), erl_parse:abstract_type(), ArgNames :: [atom()]}, erl_type()}. -type type_table() :: #{record_key() | type_key() => |