aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-11-09 05:50:45 +0100
committerGitHub <[email protected]>2017-11-09 05:50:45 +0100
commit70e237c42fcf3fcc0b7eb54b2d914e40f18218c5 (patch)
tree57cd3dd63159c79621cdab9196294376ed51b531 /lib/compiler/src
parenta6483266652f6d2607fbec9c21da3a6a66e5ff95 (diff)
parent5f9777512b71e464188398e3e1ece231f7ec4d16 (diff)
downloadotp-70e237c42fcf3fcc0b7eb54b2d914e40f18218c5.tar.gz
otp-70e237c42fcf3fcc0b7eb54b2d914e40f18218c5.tar.bz2
otp-70e237c42fcf3fcc0b7eb54b2d914e40f18218c5.zip
Merge pull request #1609 from bjorng/bjorn/compiler/add-internal_doc
Add some internal documentation about cerl_clauses
Diffstat (limited to 'lib/compiler/src')
-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};