Logs: liberachat/#haskell
| 2026-04-23 03:45:52 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-04-23 03:47:15 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Ping timeout: 245 seconds) |
| 2026-04-23 03:47:15 | × | JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 245 seconds) |
| 2026-04-23 03:47:45 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 246 seconds) |
| 2026-04-23 03:49:02 | <pavonia> | What I meant is the concrete type in ghci. It looks like defaulting isn't applied here |
| 2026-04-23 03:49:15 | → | JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2026-04-23 03:49:16 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 2026-04-23 03:49:22 | → | Googulator46 joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 03:49:35 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-04-23 03:49:35 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 2026-04-23 03:50:55 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-23 03:51:00 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-04-23 03:51:14 | × | Googulator74 quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 03:51:52 | → | whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 2026-04-23 04:02:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 04:04:25 | <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 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-23 04:07:49 | <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 | → | michalz joins (~michalz@185.246.207.197) |
| 2026-04-23 04:08:59 | <Guest44> | pavonia: I was relying on the inner monad defaulting to IO, which FlexibleContexts seems to not recognise. |
| 2026-04-23 04:12:08 | ← | Guest44 parts (~Guest44@49.224.213.158) () |
| 2026-04-23 04:13:59 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-23 04:17:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 04:18:52 | <EvanR> | usually, isn't an IO value not reported (what would it show) |
| 2026-04-23 04:22:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 04:26:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 04:30:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 04:35:33 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 04:39:34 | → | Googulator54 joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 04:39:58 | × | Googulator46 quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 04:40:57 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 04:41:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 04:46:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 04:47:18 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 04:47:37 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2026-04-23 04:57:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 04:59:59 | → | layline_ joins (~layline@149.154.26.56) |
| 2026-04-23 05:03:17 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 05:04:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 05:13:46 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 05:15:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 05:17:12 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-23 05:20:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-23 05:24:49 | → | nek0 joins (~nek0@user/nek0) |
| 2026-04-23 05:27:04 | × | layline_ quits (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-23 05:27:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 05:31:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 05:32:29 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-23 05:37:59 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 05:38:01 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-23 05:38:27 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2026-04-23 05:40:56 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-04-23 05:41:03 | × | jreicher quits (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-04-23 05:42:11 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 05:45:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 05:47:19 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 05:50:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 05:52:38 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 05:52:50 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-23 06:01:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 06:03:55 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 272 seconds) |
| 2026-04-23 06:05:05 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 06:06:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 06:06:31 | × | monochrom quits (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2026-04-23 06:06:34 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 06:06:56 | → | monochrom joins (trebla@216.138.220.146) |
| 2026-04-23 06:07:09 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-23 06:08:14 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-04-23 06:08:18 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 06:08:32 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-04-23 06:09:27 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 06:09:49 | <mauke> | % pure show :: IO (Int -> String) |
| 2026-04-23 06:09:50 | <yahb2> | <no output> |
| 2026-04-23 06:10:09 | <mauke> | % pure id :: IO (a -> a) |
| 2026-04-23 06:10:09 | <yahb2> | <no output> |
| 2026-04-23 06:11:06 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-04-23 06:12:24 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-23 06:12:35 | → | chele joins (~chele@user/chele) |
| 2026-04-23 06:13:20 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 06:21:44 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 06:22:03 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 06:26:47 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 06:28:19 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 06:28:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 06:29:25 | <EvanR> | 1950s cybernetics meets windows 95 (or GEM desktop or ...) https://paste.tomsmeding.com/uN1sFvss |
| 2026-04-23 06:34:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 06:35:07 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 06:36:03 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 06:37:06 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-23 06:40:44 | × | czan quits (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-23 06:40:57 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-23 06:41:18 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-23 06:41:58 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-23 06:45:22 | × | jreicher quits (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-04-23 06:45:56 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5839e53bb2e58e5bcbf.dip0.t-ipconnect.de) |
| 2026-04-23 06:46:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 06:51:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 06:52:22 | → | vgtw joins (~vgtw@user/vgtw) |
| 2026-04-23 06:54:41 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 06:55:34 | × | ft quits (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
All times are in UTC.