Logs: liberachat/#haskell
| 2025-10-18 20:19:41 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-10-18 20:20:14 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-18 20:22:27 | × | Zemy quits (~Zemy@2600:100c:b0a7:4bfb:f0d2:72ff:fe86:260e) (Ping timeout: 260 seconds) |
| 2025-10-18 20:27:13 | <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 20:28:15 | <monochrom> | whodunit |
| 2025-10-18 20:28:44 | <monochrom> | Yeah the extreme way requires AllowAmbiguousTypes too. |
| 2025-10-18 20:29:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 20:29:32 | <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 20:31:27 | → | Zemy joins (~Zemy@2600:100c:b0a7:4bfb:24c8:fcff:fe1d:80e8) |
| 2025-10-18 20:31:28 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-18 20:31:45 | × | morj quits (~morj@user/morj) (Quit: Konversation terminated!) |
| 2025-10-18 20:31:46 | <mreh> | is there any downside to AllowAmbiguousTypes project wide? |
| 2025-10-18 20:32:02 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-18 20:32:11 | <EvanR> | doesn't that cripple the entire cool part of type classes |
| 2025-10-18 20:32:47 | <EvanR> | if you get an instance you know it was the right one for that type |
| 2025-10-18 20:33:33 | <mreh> | wouldn't you need to turn on OverlappingIstances too for that to fail? |
| 2025-10-18 20:34:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 20:34:27 | × | Zemy quits (~Zemy@2600:100c:b0a7:4bfb:24c8:fcff:fe1d:80e8) (Read error: Connection reset by peer) |
| 2025-10-18 20:37:34 | <EvanR> | yes... nevermind that. But I do see GHC warns that AllowAmbiguousTypes may not interact nice with RankN |
| 2025-10-18 20:39:08 | → | Zemy joins (~Zemy@2600:100c:b0a7:4bfb:cc4d:4cff:fea8:fd90) |
| 2025-10-18 20:39:09 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-18 20:39:43 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-18 20:40:11 | × | Everything quits (~Everythin@46.96.48.125) (Quit: leaving) |
| 2025-10-18 20:41:58 | × | fgidim quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-10-18 20:42:39 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-10-18 20:43:19 | × | Zemy quits (~Zemy@2600:100c:b0a7:4bfb:cc4d:4cff:fea8:fd90) (Ping timeout: 246 seconds) |
| 2025-10-18 20:43:49 | fgarcia | is now known as fgidim |
| 2025-10-18 20:44:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 20:45:33 | → | pavonia joins (~user@user/siracusa) |
| 2025-10-18 20:49:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 20:51:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-10-18 21:00:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 21:04:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-18 21:04:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 21:08:52 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-18 21:08:57 | × | forell quits (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2025-10-18 21:09:07 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 21:15:23 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-10-18 21:16:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 21:16:11 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 2025-10-18 21:18:31 | → | Square2 joins (~Square@user/square) |
| 2025-10-18 21:20:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 21:21:24 | → | SlackCoder joins (~SlackCode@208.26.91.234) |
| 2025-10-18 21:28:27 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-18 21:30:12 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 252 seconds) |
| 2025-10-18 21:31:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 21:38:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 21:48:47 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-10-18 21:49:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 21:50:24 | → | OftenFaded25 joins (~OftenFade@user/tisktisk) |
| 2025-10-18 21:50:53 | ← | OftenFaded25 parts (~OftenFade@user/tisktisk) () |
| 2025-10-18 21:53:40 | → | OftenFaded25 joins (~OftenFade@user/tisktisk) |
| 2025-10-18 21:54:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 21:56:38 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-18 21:56:46 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-18 22:03:46 | × | SlackCoder quits (~SlackCode@208.26.91.234) (Quit: Leaving) |
| 2025-10-18 22:05:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 22:08:21 | ← | n3t parts (~n3t@user/n3t) (WeeChat 3.5) |
| 2025-10-18 22:10:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 22:11:31 | → | karenw joins (~karenw@user/karenw) |
| 2025-10-18 22:11:55 | × | karenw_ quits (~karenw@user/karenw) (Read error: Connection reset by peer) |
| 2025-10-18 22:13:52 | × | Dhark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 260 seconds) |
| 2025-10-18 22:14:37 | × | karenw quits (~karenw@user/karenw) (Client Quit) |
| 2025-10-18 22:17:25 | → | Shark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-18 22:24:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 22:24:26 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-10-18 22:28:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 22:32:53 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-18 22:39:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 22:42:48 | → | Zemy joins (~Zemy@2600:100c:b0a7:4bfb:5c2b:4ff:fe20:335b) |
| 2025-10-18 22:43:58 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-18 22:44:07 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-18 22:44:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 22:46:32 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2025-10-18 22:47:22 | × | Zemy quits (~Zemy@2600:100c:b0a7:4bfb:5c2b:4ff:fe20:335b) (Ping timeout: 248 seconds) |
| 2025-10-18 22:51:52 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-18 22:52:15 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-18 22:54:14 | → | Ging_ joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2025-10-18 22:57:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 22:57:09 | ← | Ging_ parts (46fea76d80@2001:bc8:1210:2cd8::470) () |
| 2025-10-18 22:58:50 | → | Ging_ joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2025-10-18 23:01:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-18 23:01:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 23:06:30 | × | OftenFaded25 quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-10-18 23:08:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-18 23:12:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 23:14:58 | → | forell joins (~forell@user/forell) |
| 2025-10-18 23:15:15 | trickard_ | is now known as trickard |
| 2025-10-18 23:18:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-18 23:28:17 | → | Vajb joins (~Vajb@n7o35ytoa19a9fdq6h6-1.v6.elisa-mobile.fi) |
| 2025-10-18 23:30:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 23:35:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 23:39:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-18 23:44:02 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-10-18 23:45:18 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-10-18 23:46:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 23:51:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 23:59:25 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 250 seconds) |
| 2025-10-19 00:00:24 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-19 00:02:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.