diff options
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results/int')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/int | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/int b/lib/dialyzer/test/opaque_SUITE_data/results/int new file mode 100644 index 0000000000..3ee4def34b --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/results/int @@ -0,0 +1,3 @@ + +int_adt.erl:28: Invalid type specification for function int_adt:add_f/2. The success typing is (number(),float()) -> number() +int_adt.erl:32: Invalid type specification for function int_adt:div_f/2. The success typing is (number(),number()) -> float() |