aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/cerl_clauses.erl
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-10-18 15:03:22 +0200
committerBjörn Gustavsson <[email protected]>2017-10-26 12:05:17 +0200
commit5f9777512b71e464188398e3e1ece231f7ec4d16 (patch)
tree482259112840f4d720ff6af9fd52a88f01d9b70d /lib/compiler/src/cerl_clauses.erl
parent56455ce5b80087cd661ac3343f96c5a3df2f9f9c (diff)
downloadotp-5f9777512b71e464188398e3e1ece231f7ec4d16.tar.gz
otp-5f9777512b71e464188398e3e1ece231f7ec4d16.tar.bz2
otp-5f9777512b71e464188398e3e1ece231f7ec4d16.zip
Add some internal documentation about cerl_clauses
I recently tried to add some additional optimizations for matching of maps, but found out that the inliner will need some updates to be able to handle those optimizations. Add lib/compiler/internal_doc/cerl-notes.md to document what I've learned.
Diffstat (limited to 'lib/compiler/src/cerl_clauses.erl')
-rw-r--r--lib/compiler/src/cerl_clauses.erl2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/compiler/src/cerl_clauses.erl b/lib/compiler/src/cerl_clauses.erl
index 7d6518c3c6..fa5104c01b 100644
--- a/lib/compiler/src/cerl_clauses.erl
+++ b/lib/compiler/src/cerl_clauses.erl
@@ -353,6 +353,8 @@ match(P, E, Bs) ->
map ->
%% The most we can do is to say "definitely no match" if a
%% map pattern is matched against non-map data.
+ %% (Note: See the document internal_doc/cerl-notes.md for
+ %% information why we don't try to do more here.)
case E of
any ->
{false, Bs};