Newest at the top
| 2025-01-18 10:52:56 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-18 10:52:49 +0100 | ubert | (~Thunderbi@p200300ecdf3b1a6b3fb62acbaa32cd66.dip0.t-ipconnect.de) ubert |
| 2025-01-18 10:52:17 +0100 | Guest8686 | (~v@anomalous.eu) |
| 2025-01-18 10:51:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-18 10:49:41 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:48:43 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:47:27 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:47:26 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:46:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-18 10:46:10 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:46:09 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:44:54 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:42:30 +0100 | euandreh | (~Thunderbi@191-217-172-66.user3p.v-tal.net.br) euandreh |
| 2025-01-18 10:40:54 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 260 seconds) |
| 2025-01-18 10:40:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-18 10:40:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-01-18 10:39:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-18 10:39:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-01-18 10:39:28 +0100 | euandreh1 | (~Thunderbi@191-217-172-66.user3p.v-tal.net.br) (Client Quit) |
| 2025-01-18 10:39:24 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-18 10:38:01 +0100 | euandreh1 | (~Thunderbi@191-217-172-66.user3p.v-tal.net.br) euandreh |
| 2025-01-18 10:36:43 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:35:15 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:33:38 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:33:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-18 10:32:18 +0100 | acidjnk | (~acidjnk@p200300d6e7283f4400259c07642d77ab.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-01-18 10:32:16 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:32:14 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:30:57 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:30:56 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:29:33 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:28:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-18 10:24:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-18 10:23:12 +0100 | <c_wraith> | whereas ghc knows if there are more constructors or not |
| 2025-01-18 10:22:53 +0100 | <c_wraith> | and just assumes that things it doesn't know about have more constructors. |
| 2025-01-18 10:22:36 +0100 | <lambdabot> | foo >>= \ c -> case c of { Foo a b -> pure $ a + b; _ -> fail ""} |
| 2025-01-18 10:22:36 +0100 | <c_wraith> | @undo do { Foo a b <- foo ; pure $ a + b } |
| 2025-01-18 10:22:09 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 10:21:33 +0100 | <c_wraith> | I'd assume the @undo plugin has definitions for all the common types |
| 2025-01-18 10:21:10 +0100 | it_ | (~quassel@game-crew.ch) (Quit: ,o>) |
| 2025-01-18 10:20:56 +0100 | <c_wraith> | It knows that one only has one constructor |
| 2025-01-18 10:20:40 +0100 | <lambdabot> | foo >>= \ (a, b) -> pure $ a + b |
| 2025-01-18 10:20:40 +0100 | <c_wraith> | @undo do { (a, b) <- foo ; pure $ a + b } |
| 2025-01-18 10:20:19 +0100 | <c_wraith> | That's a case I'd expect to have hardcoded |
| 2025-01-18 10:20:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-18 10:18:08 +0100 | <tomsmeding> | ah it just assumes there's other constructors |
| 2025-01-18 10:17:56 +0100 | <lambdabot> | concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) l |
| 2025-01-18 10:17:56 +0100 | <tomsmeding> | @undo [x | Just x <- l] |
| 2025-01-18 10:17:04 +0100 | <c_wraith> | (a pattern match on the LHS of a <-, specifically) |
| 2025-01-18 10:16:09 +0100 | <c_wraith> | So it doesn't know when a pattern match needs to introduce a fail case |