diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-03-01 23:07:22 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2016-03-01 23:07:22 +0100 |
| commit | 312281c7cc19bf467207af93a13e9acdd9b34c60 (patch) | |
| tree | 6e92ced9dddbcf998dbb296abf497fc81f9d2c7f /tests | |
| parent | 9687ea3c3e46160e44195a91922de2089cb50874 (diff) | |
| download | Nim-312281c7cc19bf467207af93a13e9acdd9b34c60.tar.gz | |
fixes #3686
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/concepts/tmonoid.nim | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/concepts/tmonoid.nim b/tests/concepts/tmonoid.nim new file mode 100644 index 000000000..49b3239bd --- /dev/null +++ b/tests/concepts/tmonoid.nim @@ -0,0 +1,13 @@ +discard """ + output: '''true''' +""" + +# bug #3686 + +type Monoid = concept x, y + x + y is type(x) + type(z(type(x))) is type(x) + +proc z(x: typedesc[int]): int = 0 + +echo(int is Monoid) |