diff options
| author | Anthony Ramine <[email protected]> | 2012-11-10 21:32:31 +0100 |
|---|---|---|
| committer | Anthony Ramine <[email protected]> | 2013-12-12 12:54:24 +0100 |
| commit | a0988a638a92211ae0af6ec35ca99edfc05110aa (patch) | |
| tree | c7aad667d8a85bf543459baa767c2ca21b396ae8 /lib/dialyzer | |
| parent | a122254898597d73658e72070862e2da0d1cf85b (diff) | |
| download | otp-a0988a638a92211ae0af6ec35ca99edfc05110aa.tar.gz otp-a0988a638a92211ae0af6ec35ca99edfc05110aa.tar.bz2 otp-a0988a638a92211ae0af6ec35ca99edfc05110aa.zip | |
Test named funs
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/eep37 | 0 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/eep37.erl | 15 |
2 files changed, 15 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/eep37 b/lib/dialyzer/test/small_SUITE_data/results/eep37 new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/eep37 diff --git a/lib/dialyzer/test/small_SUITE_data/src/eep37.erl b/lib/dialyzer/test/small_SUITE_data/src/eep37.erl new file mode 100644 index 0000000000..2818688f95 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/eep37.erl @@ -0,0 +1,15 @@ +-module(eep37). + +-compile(export_all). + +-spec self() -> fun(() -> fun()). +self() -> + fun Self() -> Self end. + +-spec fact() -> fun((non_neg_integer()) -> non_neg_integer()). +fact() -> + fun Fact(N) when N > 0 -> + N * Fact(N - 1); + Fact(0) -> + 1 + end. |