Newest at the top
| 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 |
| 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:04:30 +0000 | <EvanR> | after doing :set +t I see types. Then -XFlexibleContexts doesn't undo that |
| 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:01:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 03:01:29 +0000 | Guest44 | (~Guest44@49.224.213.158) |
| 2026-04-23 02:56:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 02:55:08 +0000 | AlexNoo | (~AlexNoo@178.34.150.30) (Ping timeout: 252 seconds) |
| 2026-04-23 02:54:35 +0000 | AlexZenon | (~alzenon@178.34.150.30) (Ping timeout: 244 seconds) |
| 2026-04-23 02:54:04 +0000 | Alex_delenda_est | (~al_test@178.34.150.30) (Ping timeout: 244 seconds) |
| 2026-04-23 02:51:16 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |