Newest at the top
2025-10-18 23:50:53 +0200 | OftenFaded25 | (~OftenFade@user/tisktisk) () |
2025-10-18 23:50:24 +0200 | OftenFaded25 | (~OftenFade@user/tisktisk) OftenFaded |
2025-10-18 23:49:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-18 23:48:47 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
2025-10-18 23:38:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-18 23:31:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-18 23:30:12 +0200 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 252 seconds) |
2025-10-18 23:28:27 +0200 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
2025-10-18 23:21:24 +0200 | SlackCoder | (~SlackCode@208.26.91.234) SlackCoder |
2025-10-18 23:20:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-18 23:18:31 +0200 | Square2 | (~Square@user/square) Square |
2025-10-18 23:16:11 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
2025-10-18 23:16:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-18 23:15:23 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-10-18 23:09:07 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-18 23:08:57 +0200 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
2025-10-18 23:08:52 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
2025-10-18 23:04:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-18 23:04:21 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-10-18 23:00:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-18 22:51:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
2025-10-18 22:49:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-18 22:45:33 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-10-18 22:44:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-18 22:43:49 +0200 | fgarcia | fgidim |
2025-10-18 22:43:19 +0200 | Zemy | (~Zemy@2600:100c:b0a7:4bfb:cc4d:4cff:fea8:fd90) (Ping timeout: 246 seconds) |
2025-10-18 22:42:39 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-10-18 22:41:58 +0200 | fgidim | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
2025-10-18 22:40:11 +0200 | Everything | (~Everythin@46.96.48.125) (Quit: leaving) |
2025-10-18 22:39:43 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
2025-10-18 22:39:09 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
2025-10-18 22:39:08 +0200 | Zemy | (~Zemy@2600:100c:b0a7:4bfb:cc4d:4cff:fea8:fd90) |
2025-10-18 22:37:34 +0200 | <EvanR> | yes... nevermind that. But I do see GHC warns that AllowAmbiguousTypes may not interact nice with RankN |
2025-10-18 22:34:27 +0200 | Zemy | (~Zemy@2600:100c:b0a7:4bfb:24c8:fcff:fe1d:80e8) (Read error: Connection reset by peer) |
2025-10-18 22:34:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-18 22:33:33 +0200 | <mreh> | wouldn't you need to turn on OverlappingIstances too for that to fail? |
2025-10-18 22:32:47 +0200 | <EvanR> | if you get an instance you know it was the right one for that type |
2025-10-18 22:32:11 +0200 | <EvanR> | doesn't that cripple the entire cool part of type classes |
2025-10-18 22:32:02 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
2025-10-18 22:31:46 +0200 | <mreh> | is there any downside to AllowAmbiguousTypes project wide? |
2025-10-18 22:31:45 +0200 | morj | (~morj@user/morj) (Quit: Konversation terminated!) |
2025-10-18 22:31:28 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
2025-10-18 22:31:27 +0200 | Zemy | (~Zemy@2600:100c:b0a7:4bfb:24c8:fcff:fe1d:80e8) |
2025-10-18 22:29:32 +0200 | <mreh> | monochrom: it's pretty easy to translate to that form, and you only need AllowAmbiguousTypes on the file with the Class in |
2025-10-18 22:29:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-18 22:28:44 +0200 | <monochrom> | Yeah the extreme way requires AllowAmbiguousTypes too. |
2025-10-18 22:28:15 +0200 | <monochrom> | whodunit |
2025-10-18 22:27:13 +0200 | <mreh> | I have so many Arrows that I need from some instance, which I don't always use to compute an actual value, so I'm always feeding undefined into those too |
2025-10-18 22:22:27 +0200 | Zemy | (~Zemy@2600:100c:b0a7:4bfb:f0d2:72ff:fe86:260e) (Ping timeout: 260 seconds) |
2025-10-18 22:20:14 +0200 | Zemy_ | (~Zemy@72.178.108.235) |