From ddf75def890d6f6a19fe46b22604ac3d8a62040a Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Fri, 23 May 2014 09:24:17 +0200 Subject: hipe: fix a bug concerning typed record fields --- lib/hipe/cerl/erl_types.erl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lib/hipe/cerl') diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index 06c0d10296..67661130a5 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -4487,7 +4487,9 @@ get_mod_record([{FieldName, DeclType}|Left1], [{FieldName, ModType}|Left2], Acc) -> ModTypeNoVars = subst_all_vars_to_any(ModType), case - contains_remote(ModTypeNoVars) orelse t_is_subtype(ModTypeNoVars, DeclType) + contains_remote(ModTypeNoVars) + orelse contains_remote(DeclType) + orelse t_is_subtype(ModTypeNoVars, DeclType) of false -> {error, FieldName}; true -> get_mod_record(Left1, Left2, [{FieldName, ModType}|Acc]) -- cgit v1.2.3