aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-03-14 10:45:46 +0100
committerHans Bolinder <[email protected]>2017-06-13 13:40:24 +0200
commit451ae334fdd71b52ff15f56a9fd8b983eab743d7 (patch)
treeb3777ca6a02c6cd72ed3e583e0fa2c11179ef5ef
parentdd9e39dc2b97e30c03b24a00eb757be7d2c2bdc2 (diff)
downloadotp-451ae334fdd71b52ff15f56a9fd8b983eab743d7.tar.gz
otp-451ae334fdd71b52ff15f56a9fd8b983eab743d7.tar.bz2
otp-451ae334fdd71b52ff15f56a9fd8b983eab743d7.zip
hipe: Correct a typespec
-rw-r--r--lib/hipe/cerl/erl_types.erl7
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() =>