diff options
| author | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
| commit | 9572b1c4615e9efc9a7ff53fafc9a32730ae45e4 (patch) | |
| tree | 21bf2411cacb5513dc44632cc955134ee50b192c /lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl | |
| parent | 584fb6f256f02d48b3c0be9a9462fe7df1b1acb4 (diff) | |
| parent | 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba (diff) | |
| download | otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.gz otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.bz2 otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.zip | |
Merge branch 'maint'
* maint:
[dialyzer] Correct a doc bug introduced in 0b041238
[dialyzer] Use the option 'dialyzer' to control the compiler
[dialyzer] Fix handling of literal records
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl index 5135eb8e59..eef2074e0c 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl @@ -428,8 +428,8 @@ bit_adt_t3(A) -> bit_t5(A) -> B = o1(), - case none:none() of - <<A:B>> -> 1 % breaks the opaqueness + case none:none() of % the type is any(); should fix that XXX + <<A:B>> -> 1 % can never match (local opaque type is OK) end. -spec bit_t4(<<_:1>>) -> integer(). |