mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-12 04:14:06 +00:00
Fix inverted condition in erl_var_or_dummy_replacement.
Branches: main compiler/erl_code_util.m: Fix inverted condition in erl_var_or_dummy_replacement.
This commit is contained in:
@@ -525,7 +525,7 @@ non_variable_term(Term) :-
|
||||
erl_var_or_dummy_replacement(ModuleInfo, VarTypes, DummyVarReplacement, Var) =
|
||||
(if
|
||||
map.search(VarTypes, Var, Type),
|
||||
check_dummy_type(ModuleInfo, Type) = is_not_dummy_type
|
||||
check_dummy_type(ModuleInfo, Type) = is_dummy_type
|
||||
then
|
||||
elds_term(DummyVarReplacement)
|
||||
else
|
||||
|
||||
Reference in New Issue
Block a user