| 2 Aug 2021 |
 lamersc.com 🐧 | What does CT stand for? | 01:26:53 |
 Elegantbeef | Compile time | 01:26:57 |
| lamersc.com 🐧 | Ohhhh okay, I’ll check it out | 01:27:11 |
| Elegantbeef | Might be a good read https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc-in-nim.html | 01:27:51 |
 theangryepicbanana#8297 | does anyone know why this isn't working? https://replit.com/@theangryepicbanana/nim-interface-test | 02:25:39 |
| theangryepicbanana#8297 | basically a generic type isn't matching a generic concept with equivalent type parameter constraints | 02:26:37 |
| theangryepicbanana#8297 | * basically a generic type isn't matching a generic concept with equivalent type parameter constraints | 02:26:46 |
| theangryepicbanana#8297 | *when implicitly calling a converter | 02:27:31 |
| theangryepicbanana#8297 | basically something along the lines of converter convert[C: MyConcept](x: C): MyObj[C.T] = ... | 02:32:13 |
| theangryepicbanana#8297 | * basically something along the lines of converter convert[C: MyConcept](x: C): MyObj[C.T] = ... | 02:32:27 |
| theangryepicbanana#8297 | (as a side note, do edits work on the irc bridge?) | 02:33:02 |
| Elegantbeef | Could you minimize it a bit so it's more clear what's going on? | 02:59:06 |
| theangryepicbanana#8297 | yeah sure, I'll make a small thing for it real quick | 03:26:14 |
| theangryepicbanana#8297 | https://play.nim-lang.org/#ix=3uKU | 03:41:08 |
| theangryepicbanana#8297 | if the `is-a` constraint is removed, it works just fine | 03:41:42 |
 Rika | I believe converters don’t really mix with concepts | 03:48:37 |
| theangryepicbanana#8297 | they actually do, it's just undocumented | 03:48:43 |
| Rika | Which either means they actually don’t or no one has written docs of it, depending on if you look at the compiler code or not | 03:48:44 |
| Rika | What I mean is | 03:48:45 |
| Rika | It might just be a coincidence that they do | 03:48:45 |
| Rika | That they do to a degree | 03:48:46 |
| theangryepicbanana#8297 | https://github.com/nim-lang/Nim/blame/1fb9a6d94631bf7f3570d3382874ba2d59e6ddbb/doc/manual_experimental.rst#L685-L716 | 03:48:46 |
| theangryepicbanana#8297 | wrong ref | 03:48:46 |
| theangryepicbanana#8297 | well either way it's somewhere in there | 03:48:46 |
| theangryepicbanana#8297 | but again, my code works just fine without the proc constraint | 03:48:46 |
| theangryepicbanana#8297 | which means that something about the proc is wonky, which is weird because it ain't doing anything special | 03:48:47 |
| theangryepicbanana#8297 | oh I suppose it would help if I actually added the type params | 03:48:47 |
| theangryepicbanana#8297 | https://play.nim-lang.org/#ix=3uKW | 03:48:48 |
| theangryepicbanana#8297 | but basically, it seems like MyConcept is no longer able to see its type parameters once that constraint is added | 03:49:42 |
| Rika | Perhaps this is yet another bug of the current implementation of concepts lol | 04:00:51 |
