| 2026-04-23 00:01:31 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 00:08:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 00:13:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 00:14:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kjabckjas) |
| 2026-04-23 00:14:51 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2026-04-23 00:21:45 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 00:21:58 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:24:09 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-23 00:24:13 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:24:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 00:27:42 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 00:29:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-23 00:37:01 +0000 | tt1231607019785 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-04-23 00:37:11 +0000 | degraafk_ | (sid71464@2a03:5180:f:2::1:1728) degraafk |
| 2026-04-23 00:37:13 +0000 | aristid_ | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2026-04-23 00:37:15 +0000 | nonzen | (~nonzen@user/nonzen) nonzen |
| 2026-04-23 00:37:27 +0000 | eso_ | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2026-04-23 00:37:29 +0000 | lukec_ | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2026-04-23 00:37:35 +0000 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-04-23 00:37:36 +0000 | sherbert_ | (d006a0b946@2a03:6000:1812:100::155) sherbert |
| 2026-04-23 00:37:36 +0000 | jkoshy_ | (99b9359beb@user/jkoshy) jkoshy |
| 2026-04-23 00:37:36 +0000 | whereiseveryone_ | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 00:37:36 +0000 | cpli_ | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2026-04-23 00:37:36 +0000 | oats_ | (~oats@user/oats) oats |
| 2026-04-23 00:37:37 +0000 | b0o_ | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2026-04-23 00:37:37 +0000 | rselim_ | (ce261f06ff@user/milesrout) milesrout |
| 2026-04-23 00:37:37 +0000 | bgtdsword_ | (b968c1779f@user/titibandit) titibandit |
| 2026-04-23 00:37:37 +0000 | alethkit_ | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2026-04-23 00:37:38 +0000 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-04-23 00:37:44 +0000 | iphy_ | (sid67735@user/iphy) iphy |
| 2026-04-23 00:37:47 +0000 | aspen_ | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2026-04-23 00:37:49 +0000 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2026-04-23 00:37:55 +0000 | tomsmeding_ | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-04-23 00:37:59 +0000 | mustafa_ | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2026-04-23 00:38:02 +0000 | integral_ | (sid296274@user/integral) integral |
| 2026-04-23 00:38:07 +0000 | b20n_ | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2026-04-23 00:38:08 +0000 | idnar_ | (sid12240@debian/mithrandi) idnar |
| 2026-04-23 00:38:10 +0000 | caasih_ | (sid13241@id-13241.ilkley.irccloud.com) caasih |
| 2026-04-23 00:38:10 +0000 | Fangs_ | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
| 2026-04-23 00:38:10 +0000 | astra__ | (sid289983@id-289983.hampstead.irccloud.com) |
| 2026-04-23 00:38:12 +0000 | buhman_ | (sid411355@user/buhman) buhman |
| 2026-04-23 00:38:20 +0000 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) Pent____ |
| 2026-04-23 00:38:22 +0000 | sa_ | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2026-04-23 00:38:23 +0000 | haasn_ | (sid579015@id-579015.hampstead.irccloud.com) haasn |
| 2026-04-23 00:38:24 +0000 | carter_ | (sid14827@2a03:5180:f:1::39eb) carter |
| 2026-04-23 00:38:27 +0000 | unlucy_ | (sid572875@user/unlucy) unlucy |
| 2026-04-23 00:39:12 +0000 | hook54321_ | (sid149355@user/hook54321) hook54321 |
| 2026-04-23 00:39:41 +0000 | stefan-___ | (~m-yh2rcc@89.58.48.121) stefan-__ |
| 2026-04-23 00:40:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 00:40:33 +0000 | koraynil1 | (~koraynila@user/koraynilay) koraynilay |
| 2026-04-23 00:40:40 +0000 | werneta_ | (~werneta@71.83.160.242) werneta |
| 2026-04-23 00:40:47 +0000 | deveng | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2026-04-23 00:41:06 +0000 | mima_ | (~mmh@user/mima) mima |
| 2026-04-23 00:44:08 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 00:44:25 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:45:03 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | buhman | (sid411355@user/buhman) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | oats | (~oats@user/oats) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | tt123160701978 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | unlucy | (sid572875@user/unlucy) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | werneta | (~werneta@71.83.160.242) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2026-04-23 00:45:03 +0000 | bgtdsword | (b968c1779f@user/titibandit) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | koraynilay | (~koraynila@user/koraynilay) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | nonzen_ | (~nonzen@user/nonzen) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | iphy | (sid67735@user/iphy) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | yushyin | (wXieVo4SsI@mail.karif.server-speed.net) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | mikko | (~mikko@user/mikko) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | elenril | (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | mima | (~mmh@user/mima) (*.net *.split) |
| 2026-04-23 00:45:04 +0000 | robertm | (robertm@lattice.rojoma.com) (*.net *.split) |
| 2026-04-23 00:45:05 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (*.net *.split) |
| 2026-04-23 00:45:05 +0000 | bgtdsword_ | bgtdsword |
| 2026-04-23 00:45:05 +0000 | jkoshy_ | jkoshy |
| 2026-04-23 00:45:05 +0000 | degraafk_ | degraafk |
| 2026-04-23 00:45:05 +0000 | hook54321_ | hook54321 |
| 2026-04-23 00:45:05 +0000 | buhman_ | buhman |
| 2026-04-23 00:45:05 +0000 | carter_ | carter |
| 2026-04-23 00:45:05 +0000 | oats_ | oats |
| 2026-04-23 00:45:05 +0000 | sherbert_ | sherbert |
| 2026-04-23 00:45:05 +0000 | haasn_ | haasn |
| 2026-04-23 00:45:05 +0000 | lukec_ | lukec |
| 2026-04-23 00:45:05 +0000 | eso_ | eso |
| 2026-04-23 00:45:05 +0000 | tt1231607019785 | tt123160701978 |
| 2026-04-23 00:45:05 +0000 | b0o_ | b0o |
| 2026-04-23 00:45:05 +0000 | rselim_ | rselim |
| 2026-04-23 00:45:05 +0000 | alethkit_ | alethkit |
| 2026-04-23 00:45:05 +0000 | iphy_ | iphy |
| 2026-04-23 00:45:06 +0000 | whereiseveryone_ | whereiseveryone |
| 2026-04-23 00:45:07 +0000 | mustafa_ | mustafa |
| 2026-04-23 00:45:07 +0000 | caasih_ | caasih |
| 2026-04-23 00:45:07 +0000 | aristid_ | aristid |
| 2026-04-23 00:45:07 +0000 | gaze___ | gaze__ |
| 2026-04-23 00:45:07 +0000 | fgaz_ | fgaz |
| 2026-04-23 00:45:07 +0000 | integral_ | integral |
| 2026-04-23 00:45:07 +0000 | idnar_ | idnar |
| 2026-04-23 00:45:07 +0000 | astra__ | astra |
| 2026-04-23 00:45:07 +0000 | cpli_ | cpli |
| 2026-04-23 00:45:07 +0000 | aspen_ | aspen |
| 2026-04-23 00:45:07 +0000 | sa_ | sa |
| 2026-04-23 00:45:07 +0000 | unlucy_ | unlucy |
| 2026-04-23 00:45:08 +0000 | Fangs_ | Fangs |
| 2026-04-23 00:45:08 +0000 | b20n_ | b20n |
| 2026-04-23 00:45:14 +0000 | Pent_ | Pent |
| 2026-04-23 00:46:44 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-23 00:47:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-23 00:48:51 +0000 | FANTOM | (~fantom@90.244.177.43) (Ping timeout: 265 seconds) |
| 2026-04-23 00:49:32 +0000 | stefan-___ | stefan-__ |
| 2026-04-23 00:51:27 +0000 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2026-04-23 00:51:36 +0000 | yushyin | (cFgGaR0ach@mail.karif.server-speed.net) yushyin |
| 2026-04-23 00:51:42 +0000 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2026-04-23 00:51:54 +0000 | mikko | (~mikko@2a01:4f9:c012:ac71::1) |
| 2026-04-23 00:51:54 +0000 | mikko | (~mikko@2a01:4f9:c012:ac71::1) (Changing host) |
| 2026-04-23 00:51:54 +0000 | mikko | (~mikko@user/mikko) mikko |
| 2026-04-23 00:52:00 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2026-04-23 00:54:14 +0000 | FANTOM | (~fantom@90.244.177.43) |
| 2026-04-23 00:56:53 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-23 00:57:22 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2026-04-23 00:57:30 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 00:57:42 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-04-23 00:57:54 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
| 2026-04-23 01:00:10 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 01:03:46 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-23 01:04:06 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 01:04:18 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 01:15:52 +0000 | koraynil1 | koraynilay |
| 2026-04-23 01:16:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a57a:c3e:71fc:8409) (Ping timeout: 248 seconds) |
| 2026-04-23 01:23:27 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-04-23 01:39:17 +0000 | Googulator71 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 01:43:07 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 01:46:08 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-23 01:46:23 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-23 01:58:32 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-23 01:59:13 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-23 02:04:36 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-23 02:11:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 02:12:39 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-23 02:16:28 +0000 | Googulator69 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 02:16:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 02:18:49 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2026-04-23 02:19:14 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-23 02:20:12 +0000 | Googulator71 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 02:22:15 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 245 seconds) |
| 2026-04-23 02:25:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 02:30:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-23 02:32:56 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-23 02:34:17 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2026-04-23 02:34:24 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-23 02:41:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 02:41:29 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-23 02:45:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 02:48:18 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.9.0) |
| 2026-04-23 02:51:16 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-23 02:54:04 +0000 | Alex_delenda_est | (~al_test@178.34.150.30) (Ping timeout: 244 seconds) |
| 2026-04-23 02:54:35 +0000 | AlexZenon | (~alzenon@178.34.150.30) (Ping timeout: 244 seconds) |
| 2026-04-23 02:55:08 +0000 | AlexNoo | (~AlexNoo@178.34.150.30) (Ping timeout: 252 seconds) |
| 2026-04-23 02:56:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:01:29 +0000 | Guest44 | (~Guest44@49.224.213.158) |
| 2026-04-23 03:01:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 03:02:36 +0000 | <Guest44> | Hi, I have to invoke -XFlexibleContexts in my ghci session and now when I evaluate an expression all I get is the type of the expression not the computation. Is this a bug? |
| 2026-04-23 03:04:30 +0000 | <EvanR> | after doing :set +t I see types. Then -XFlexibleContexts doesn't undo that |
| 2026-04-23 03:06:00 +0000 | <Guest44> | I set -XFlexibleContexts in the cabal file and never invoke :set +t in the repl/ |
| 2026-04-23 03:07:20 +0000 | <EvanR> | by default I don't see types unless I ask for it with :t |
| 2026-04-23 03:07:28 +0000 | <EvanR> | but we have different versions I'm sure |
| 2026-04-23 03:08:21 +0000 | <EvanR> | maybe check your .ghci file |
| 2026-04-23 03:12:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:14:14 +0000 | <Guest44> | https://paste.tomsmeding.com/gKCfwJD5 |
| 2026-04-23 03:19:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 03:23:30 +0000 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 245 seconds) |
| 2026-04-23 03:24:47 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-23 03:26:37 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2026-04-23 03:26:37 +0000 | polykernel_ | polykernel |
| 2026-04-23 03:29:38 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2026-04-23 03:30:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:33:05 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Ping timeout: 252 seconds) |
| 2026-04-23 03:34:53 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 244 seconds) |
| 2026-04-23 03:35:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 03:35:35 +0000 | Googulator74 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 03:37:06 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-04-23 03:38:57 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 03:38:57 +0000 | Googulator69 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 03:40:11 +0000 | <pavonia> | Guest44: Does it work normally if you specify the type of the computation? Also does this happen for all other types of expressions too? |
| 2026-04-23 03:40:50 +0000 | <EvanR> | I totally misread what was missing from the story |
| 2026-04-23 03:41:19 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-23 03:42:24 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-23 03:44:24 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-23 03:44:37 +0000 | <Guest44> | pavonia: the type of the computation is specified in the hs file. I can do `return "x + 3"` which prints `"x + 3"` |
| 2026-04-23 03:45:52 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-04-23 03:47:15 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 245 seconds) |
| 2026-04-23 03:47:15 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 245 seconds) |
| 2026-04-23 03:47:45 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 246 seconds) |
| 2026-04-23 03:49:02 +0000 | <pavonia> | What I meant is the concrete type in ghci. It looks like defaulting isn't applied here |
| 2026-04-23 03:49:15 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-04-23 03:49:16 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-04-23 03:49:22 +0000 | Googulator46 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 03:49:35 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-04-23 03:49:35 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2026-04-23 03:50:55 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-23 03:51:00 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-04-23 03:51:14 +0000 | Googulator74 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 03:51:52 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 04:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:04:25 +0000 | <Guest44> | pavonia: I solved the problem by changing type declarations upstream, although that still doesn't explain why :set -XFlexibleContexts results in printing type information not computation result. |
| 2026-04-23 04:07:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-23 04:07:49 +0000 | <pavonia> | I can only guess it doesn't know which type to run the computation in if flexible contexts are involved. But no idea if this is expected behaviour or not |
| 2026-04-23 04:08:45 +0000 | michalz | (~michalz@185.246.207.197) |
| 2026-04-23 04:08:59 +0000 | <Guest44> | pavonia: I was relying on the inner monad defaulting to IO, which FlexibleContexts seems to not recognise. |
| 2026-04-23 04:12:08 +0000 | Guest44 | (~Guest44@49.224.213.158) () |
| 2026-04-23 04:13:59 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-23 04:17:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:18:52 +0000 | <EvanR> | usually, isn't an IO value not reported (what would it show) |
| 2026-04-23 04:22:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 04:26:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:30:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 04:35:33 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 04:39:34 +0000 | Googulator54 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 04:39:58 +0000 | Googulator46 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 04:40:57 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 04:41:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:46:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 04:47:18 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 04:47:37 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2026-04-23 04:57:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:59:59 +0000 | layline_ | (~layline@149.154.26.56) layline |
| 2026-04-23 05:03:17 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 05:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 05:13:46 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 05:15:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 05:17:12 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-23 05:20:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-23 05:24:49 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-04-23 05:27:04 +0000 | layline_ | (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-23 05:27:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 05:31:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 05:32:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-23 05:37:59 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 05:38:01 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-23 05:38:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2026-04-23 05:40:56 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-04-23 05:41:03 +0000 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-04-23 05:42:11 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 05:45:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 05:47:19 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 05:50:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 05:52:38 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 05:52:50 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-23 06:01:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:03:55 +0000 | jreicher | (~joelr@user/jreicher) (Ping timeout: 272 seconds) |
| 2026-04-23 06:05:05 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:06:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 06:06:31 +0000 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2026-04-23 06:06:34 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 06:06:56 +0000 | monochrom | (trebla@216.138.220.146) monochrom |
| 2026-04-23 06:07:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-23 06:08:14 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-04-23 06:08:18 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 06:08:32 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-04-23 06:09:27 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 06:09:49 +0000 | <mauke> | % pure show :: IO (Int -> String) |
| 2026-04-23 06:09:50 +0000 | <yahb2> | <no output> |
| 2026-04-23 06:10:09 +0000 | <mauke> | % pure id :: IO (a -> a) |
| 2026-04-23 06:10:09 +0000 | <yahb2> | <no output> |
| 2026-04-23 06:11:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-23 06:12:24 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-23 06:12:35 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-23 06:13:20 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 06:21:44 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 06:22:03 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 06:26:47 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 06:28:19 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:28:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:29:25 +0000 | <EvanR> | 1950s cybernetics meets windows 95 (or GEM desktop or ...) https://paste.tomsmeding.com/uN1sFvss |
| 2026-04-23 06:34:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 06:35:07 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 06:36:03 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:37:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-23 06:40:44 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-23 06:40:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-23 06:41:18 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-23 06:41:58 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-23 06:45:22 +0000 | jreicher | (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-04-23 06:45:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5839e53bb2e58e5bcbf.dip0.t-ipconnect.de) |
| 2026-04-23 06:46:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:51:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 06:52:22 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-23 06:54:41 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:55:34 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |