!EtGqjSRNQoJCbpCJSF:matrix.org

Nim programming language

716 Members
Official Matrix channel for the Nim programming language. This channel is bridged with our main Discord and Gitter channels.13 Servers

Load older messages


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

There are no newer messages yet.


Back to Room List