Newest at the top
| 2025-03-04 09:47:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-04 09:47:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-03-04 09:45:31 +0100 | zzz | yin |
| 2025-03-04 09:45:07 +0100 | zzz | (~z@user/zero) zero |
| 2025-03-04 09:45:04 +0100 | yin | (~z@user/zero) (Ping timeout: 265 seconds) |
| 2025-03-04 09:44:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-04 09:40:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-04 09:38:24 +0100 | jjhoo | (jahakala@user/jjhoo) (Remote host closed the connection) |
| 2025-03-04 09:35:44 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2025-03-04 09:32:52 +0100 | amish | astra |
| 2025-03-04 09:32:30 +0100 | astra | amish |
| 2025-03-04 09:29:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-04 09:28:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-03-04 09:24:48 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2025-03-04 09:22:49 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2025-03-04 09:19:05 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-04 09:17:14 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-03-04 09:09:19 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-04 09:01:30 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-03-04 09:00:55 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-04 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-04 08:59:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-04 08:55:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-04 08:53:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-04 08:48:51 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-03-04 08:44:58 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-04 08:38:00 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-04 08:37:20 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-03-04 08:34:09 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2025-03-04 08:31:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-04 08:29:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-04 08:26:15 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-03-04 08:24:23 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2025-03-04 08:23:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-04 08:22:10 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-04 08:19:56 +0100 | <[exa]> | ah yes, the dreaded explicit forall. :D |
| 2025-03-04 08:19:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-04 08:14:14 +0100 | <Square2> | Thanks for your input, I can now move on. |
| 2025-03-04 08:14:11 +0100 | <jackdk> | not magic: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/scoped_type_variables.html#extensio… |
| 2025-03-04 08:13:41 +0100 | <Square2> | wo. I just added a "forall a." in the outermost and it magically works |
| 2025-03-04 08:13:39 +0100 | <lambdabot> | 42 |
| 2025-03-04 08:13:38 +0100 | <mauke> | > let { outer :: forall a. (Read a) => String -> a; outer s = let { inner :: String -> a; inner = read } in inner s } in outer "42" :: Int |
| 2025-03-04 08:13:32 +0100 | <Leary> | Err, STV* |
| 2025-03-04 08:12:08 +0100 | <Square2> | [exa], Ok, not sure I understand the latter part ... but that is a me problem probably. =D |
| 2025-03-04 08:12:02 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-04 08:11:53 +0100 | <Leary> | There's nothing unintuitive about SCT, it just has bad syntax: you need to introduce the scoped tyvars in the outermost explicit forall. |
| 2025-03-04 08:11:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-03-04 08:11:02 +0100 | <[exa]> | Square2: most likely one of the inner signatures there is too generic in some of the variables (did you capture _all_ variables that need to get "through" so that the types check?) |
| 2025-03-04 08:10:41 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-04 08:09:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |