Newest at the top
2025-05-26 06:21:35 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-05-26 06:19:55 +0200 | iNomad | (~iNomad@user/iNomad) iNomad |
2025-05-26 06:18:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 06:18:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 06:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-26 06:16:43 +0200 | <EvanR> | which is apparently not at all popular but apparently can work by enabling the right extension, very confusing |
2025-05-26 06:16:17 +0200 | <EvanR> | one weird thing I ran into early on in haskell was catching exceptions, and trying to intuitively put type signatures on stuff in a pattern match |
2025-05-26 06:15:23 +0200 | <EvanR> | smh unironic "let me chatgpt that for you" |
2025-05-26 06:14:00 +0200 | <Leary> | euouae: You can match on a constructor, put a type signature on the exception, or use a type application like I did above. |
2025-05-26 06:13:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 06:12:51 +0200 | <yahb2> | audible ; "" |
2025-05-26 06:12:51 +0200 | <Leary> | % let silently act = try @SomeException act >>= either mempty pure in silently do{ putStrLn "audible"; throwIO (ErrorCall "silenced"); pure "lost" } |
2025-05-26 06:12:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 06:10:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 06:10:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 06:10:02 +0200 | <euouae> | I'm not sure how to deal with this |
2025-05-26 06:09:59 +0200 | <euouae> | when I `try myFunction` I get "ambiguous type variable" I think it doesn't know what type the exception is? |
2025-05-26 06:09:44 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-05-26 06:06:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-26 06:06:33 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-05-26 06:05:40 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
2025-05-26 06:04:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 06:04:38 +0200 | <euouae> | the second indirection threw me off |
2025-05-26 06:04:35 +0200 | <euouae> | I only noticed that from reading more carefully: "onException" is like "finally" and then "finally" is like "bracket", and bracket explains that it re-raises |
2025-05-26 06:04:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-26 06:04:07 +0200 | <Umeaboy> | https://chatgpt.com/share/6833e823-daf0-8011-83b5-ccdd8f19d4c3 |
2025-05-26 06:03:37 +0200 | <euouae> | Umeaboy: why? are you bothered by human communication? |
2025-05-26 06:03:24 +0200 | <Leary> | That's what it's meant to do, yes. |
2025-05-26 06:03:10 +0200 | <euouae> | I guess for some reasno onException propagates the exception |
2025-05-26 06:02:36 +0200 | <Umeaboy> | euouae: Have you asked ChatGPT about it? |
2025-05-26 06:02:12 +0200 | <euouae> | I tried `onException myFunction (pure ())` but it still blows up |
2025-05-26 06:01:58 +0200 | <euouae> | How can I stop GHC from giving "HasCallStack backtrace:" whenever I do ^D to getLine? |
2025-05-26 06:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-26 06:00:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 05:59:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 05:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-26 05:55:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 05:55:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 05:55:11 +0200 | img | (~img@user/img) img |
2025-05-26 05:53:53 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-05-26 05:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-26 05:52:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-05-26 05:51:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 05:50:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 05:45:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-26 05:45:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-26 05:43:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-05-26 05:43:08 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-05-26 05:42:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-26 05:40:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |