diff options
| author | Björn Gustavsson <[email protected]> | 2018-06-27 09:43:04 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-06-27 09:43:04 +0200 |
| commit | f3790140d0e73f257c78d67de894b606ef53a8e5 (patch) | |
| tree | b30d402c6ecf1d679d7ee8c722ba868492e06cc4 /lib/stdlib/include | |
| parent | f44a8861c74aa241580ee1b8ea72f89897d21f68 (diff) | |
| parent | 5ba1635518459f581811b30f386fdf1f21f54178 (diff) | |
| download | otp-f3790140d0e73f257c78d67de894b606ef53a8e5.tar.gz otp-f3790140d0e73f257c78d67de894b606ef53a8e5.tar.bz2 otp-f3790140d0e73f257c78d67de894b606ef53a8e5.zip | |
Merge pull request #1717 from michalmuskala/is-function-pure
Fold is_function/1,2 during compilation
Diffstat (limited to 'lib/stdlib/include')
0 files changed, 0 insertions, 0 deletions