diff options
| author | Björn Gustavsson <[email protected]> | 2016-09-29 12:37:05 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-09-29 12:37:05 +0200 |
| commit | 230c7340bc3328a0a11ad18d5285ea101e34782f (patch) | |
| tree | f3f5dea1b4bf0d2b86cfb4b83d5e7a7b6e1c2fcb /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | 3651c6bb09319bd4e87892dc9ae0e6620a5a3e8d (diff) | |
| parent | b8d1855529236e9d8320bff326d30aefae518354 (diff) | |
| download | otp-230c7340bc3328a0a11ad18d5285ea101e34782f.tar.gz otp-230c7340bc3328a0a11ad18d5285ea101e34782f.tar.bz2 otp-230c7340bc3328a0a11ad18d5285ea101e34782f.zip | |
Merge branch 'josevalim/compiler/at-var/PR-1081/OTP-13924'
* josevalim/compiler/at-var/PR-1081/OTP-13924:
Use @ in variable names generated by core and kernel
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 963c953447..c0372a47e8 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -3585,6 +3585,7 @@ format_arg(Arg) -> case cerl:var_name(Arg) of Atom when is_atom(Atom) -> case atom_to_list(Atom) of + "@"++_ -> Default; "cor"++_ -> Default; "rec"++_ -> Default; Name -> Name ++ "::" @@ -3645,6 +3646,7 @@ map_pats(Pats) -> case cerl:var_name(Tree) of Atom when is_atom(Atom) -> case atom_to_list(Atom) of + "@"++_ -> cerl:c_var(''); "cor"++_ -> cerl:c_var(''); "rec"++_ -> cerl:c_var(''); _ -> cerl:set_ann(Tree, []) |