diff options
| author | Björn Gustavsson <[email protected]> | 2017-10-18 15:03:22 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-10-26 12:05:17 +0200 |
| commit | 5f9777512b71e464188398e3e1ece231f7ec4d16 (patch) | |
| tree | 482259112840f4d720ff6af9fd52a88f01d9b70d /lib/compiler/src | |
| parent | 56455ce5b80087cd661ac3343f96c5a3df2f9f9c (diff) | |
| download | otp-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')
| -rw-r--r-- | lib/compiler/src/cerl_clauses.erl | 2 |
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}; |