From d96778ad4631d649fe64716e07e4f3a2ba9c681d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Wed, 12 Sep 2018 11:41:43 +0200
Subject: beam_validator: Handle types for unary '-' or '+'

---
 lib/compiler/src/beam_validator.erl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl
index 953aced66e..d5833875ff 100644
--- a/lib/compiler/src/beam_validator.erl
+++ b/lib/compiler/src/beam_validator.erl
@@ -1919,6 +1919,12 @@ is_bif_safe(self, 0) -> true;
 is_bif_safe(node, 0) -> true;
 is_bif_safe(_, _) -> false.
 
+arith_type([A], Vst) ->
+    %% Unary '+' or '-'.
+    case get_term_type(A, Vst) of
+	{float,_} -> {float,[]};
+        _ -> number
+    end;
 arith_type([A,B], Vst) ->
     case {get_term_type(A, Vst),get_term_type(B, Vst)} of
 	{{float,_},_} -> {float,[]};
-- 
cgit v1.2.3