diff options
author | Hans Bolinder <[email protected]> | 2015-06-04 13:50:20 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-06-15 08:17:58 +0200 |
commit | e4691d14078de0419c6b644566e45aa696aa122e (patch) | |
tree | 499e3ab8fe147f47323ec1c12cef9f45da7697e7 /lib/dialyzer/test/opaque_SUITE_data/src/cuter/cuter_types.hrl | |
parent | 75e0da6a5c5c6b2ac21dfdffb1feb9ac96834e5d (diff) | |
download | otp-e4691d14078de0419c6b644566e45aa696aa122e.tar.gz otp-e4691d14078de0419c6b644566e45aa696aa122e.tar.bz2 otp-e4691d14078de0419c6b644566e45aa696aa122e.zip |
dialyzer: Fix a bug in the expansion of forms
The check that a modified type of a field is a subtype of the declared
type has been moved outside of the expansion of forms to avoid loops.
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/src/cuter/cuter_types.hrl')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/cuter/cuter_types.hrl | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/cuter/cuter_types.hrl b/lib/dialyzer/test/opaque_SUITE_data/src/cuter/cuter_types.hrl new file mode 100644 index 0000000000..4172184709 --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/src/cuter/cuter_types.hrl @@ -0,0 +1,26 @@ +%% -*- erlang-indent-level: 2 -*- +%%------------------------------------------------------------------------------ + +%%==================================================================== +%% Tags for the kind of encoded types. +%%==================================================================== + +-define(atom_lit_tag, atom_lit). +-define(integer_lit_tag, integer_lit). +-define(integer_tag, integer). +-define(nil_tag, nil). +-define(any_tag, any). +-define(atom_tag, atom). +-define(float_tag, float). +-define(tuple_tag, tuple). +-define(list_tag, list). +-define(nonempty_list_tag, nonempty_list). +-define(union_tag, union). +-define(range_tag, range). +-define(bitstring_tag, bitstring). +-define(neg_inf, neg_inf). +-define(pos_inf, pos_inf). +-define(remote_tag, remote). +-define(local_tag, local). +-define(record_tag, record). +-define(function_tag, function). |