From a296fc4d7f6f52c78da4596b9b08f39147089d44 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Magnus=20L=C3=A5ng?= Date: Tue, 28 Jun 2016 11:23:49 +0200 Subject: erl_types: Normalise X:=none() pairs in t_map/3 t_map/3 previously required callers to perform this normalisation, but as t_from_form/5 would sometimes fail to do so, this requirement is relaxed. Bug (ERL-177) reported and shrunk by Luke Imhoff. --- lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/b.erl | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/b.erl (limited to 'lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/b.erl') diff --git a/lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/b.erl b/lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/b.erl new file mode 100644 index 0000000000..31f9bb6b3e --- /dev/null +++ b/lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/b.erl @@ -0,0 +1,3 @@ +-module(b). +-export_type([t/0]). +-type t() :: binary(). -- cgit v1.2.3