From 48f83e165a2dae8ed04a74ba3c6308250168f790 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20H=C3=B6gberg?= <john@erlang.org>
Date: Wed, 29 May 2019 16:11:46 +0200
Subject: beam_validator: Replace old type representation with beam_types

---
 lib/compiler/src/beam_ssa_bsm.erl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/compiler/src/beam_ssa_bsm.erl')

diff --git a/lib/compiler/src/beam_ssa_bsm.erl b/lib/compiler/src/beam_ssa_bsm.erl
index 382e6f635e..abbda2ebe4 100644
--- a/lib/compiler/src/beam_ssa_bsm.erl
+++ b/lib/compiler/src/beam_ssa_bsm.erl
@@ -57,6 +57,7 @@
 -export([module/2, format_error/1]).
 
 -include("beam_ssa.hrl").
+-include("beam_types.hrl").
 
 -import(lists, [member/2, reverse/1, splitwith/2, map/2, foldl/3, mapfoldl/3,
                 nth/2, max/1, unzip/1]).
@@ -879,8 +880,7 @@ annotate_context_parameters(F, ModInfo) ->
                                  %% Assertion.
                                  error(conflicting_parameter_types);
                             (K, suitable_for_reuse, Acc) ->
-                                 T = beam_validator:type_anno(match_context),
-                                 Acc#{ K => T };
+                                 Acc#{ K => #t_bs_context{} };
                             (_K, _V, Acc) ->
                                  Acc
                          end, TypeAnno0, ParamInfo),
-- 
cgit v1.2.3