Newest at the top
| 2026-04-23 04:22:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 04:18:52 +0000 | <EvanR> | usually, isn't an IO value not reported (what would it show) |
| 2026-04-23 04:17:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:13:59 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-23 04:12:08 +0000 | Guest44 | (~Guest44@49.224.213.158) () |
| 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:08:45 +0000 | michalz | (~michalz@185.246.207.197) |
| 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:07:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 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:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:51:52 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 03:51:14 +0000 | Googulator74 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 03:51:00 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-04-23 03:50:55 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-23 03:49:35 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2026-04-23 03:49:35 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-04-23 03:49:22 +0000 | Googulator46 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 03:49:16 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-04-23 03:49:15 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 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:47:45 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 246 seconds) |
| 2026-04-23 03:47:15 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 245 seconds) |
| 2026-04-23 03:47:15 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 245 seconds) |
| 2026-04-23 03:45:52 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 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:44:24 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 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:41:19 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-23 03:40:50 +0000 | <EvanR> | I totally misread what was missing from the story |
| 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:38:57 +0000 | Googulator69 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 03:38:57 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 03:37:06 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-04-23 03:35:35 +0000 | Googulator74 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 03:35:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 03:34:53 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 244 seconds) |
| 2026-04-23 03:33:05 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Ping timeout: 252 seconds) |
| 2026-04-23 03:30:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:29:38 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2026-04-23 03:26:37 +0000 | polykernel_ | polykernel |
| 2026-04-23 03:26:37 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2026-04-23 03:24:47 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-23 03:23:30 +0000 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 245 seconds) |
| 2026-04-23 03:19:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 03:14:14 +0000 | <Guest44> | https://paste.tomsmeding.com/gKCfwJD5 |
| 2026-04-23 03:12:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:08:21 +0000 | <EvanR> | maybe check your .ghci file |
| 2026-04-23 03:07:28 +0000 | <EvanR> | but we have different versions I'm sure |
| 2026-04-23 03:07:20 +0000 | <EvanR> | by default I don't see types unless I ask for it with :t |