Newest at the top
| 2025-02-01 03:36:56 +0100 | <lambdabot> | Num p => p |
| 2025-02-01 03:36:55 +0100 | <int-e> | :t 1 |
| 2025-02-01 03:36:50 +0100 | <geekosaur> | well, it did but it didn't reach a final result |
| 2025-02-01 03:36:38 +0100 | <geekosaur> | there's a piece missing |
| 2025-02-01 03:36:34 +0100 | <geekosaur> | type inference didn't happen |
| 2025-02-01 03:36:23 +0100 | <euouae> | because the type inference prevents it from being shared? |
| 2025-02-01 03:36:07 +0100 | <EvanR> | that's so tricky |
| 2025-02-01 03:35:29 +0100 | <int-e> | the remark about optimizations is valid too of course |
| 2025-02-01 03:34:45 +0100 | <geekosaur> | oh, right |
| 2025-02-01 03:34:38 +0100 | <int-e> | then figure out why adding a type signature makes a difference |
| 2025-02-01 03:34:24 +0100 | <int-e> | compare let y = trace "y-demanded" 1 :: Integer in (y, y) |
| 2025-02-01 03:34:19 +0100 | <geekosaur> | (if you were doing it in ghci, you weren't) |
| 2025-02-01 03:34:10 +0100 | <geekosaur> | did you use optimization? |
| 2025-02-01 03:33:48 +0100 | <euouae> | Is it just because sharing (for some reason) didn't happen there? |
| 2025-02-01 03:33:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 03:33:34 +0100 | <euouae> | but e.g. `let y = trace "y-demanded" 1 in (y, y)` will print two y-demanded messages. Why? I thought 'y' would be shared in the pair expression |
| 2025-02-01 03:33:17 +0100 | <euouae> | Hello I was using Debug.Trace to check up on sharing |
| 2025-02-01 03:33:02 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-02-01 03:32:51 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-01 03:32:33 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-02-01 03:31:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-01 03:30:09 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-01 03:29:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-01 03:28:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 03:17:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 03:17:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-01 03:16:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9526:2be3:6fc8:68b2) |
| 2025-02-01 03:16:19 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-01 03:16:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-01 03:15:32 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-01 03:13:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 03:13:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-01 03:10:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 03:06:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 03:04:19 +0100 | xff0x | (~xff0x@ai096095.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2025-02-01 02:58:41 +0100 | Guest22 | (~Guest62@c-73-217-79-154.hsd1.co.comcast.net) (Quit: Client closed) |
| 2025-02-01 02:54:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-01 02:50:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 02:45:22 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f83f8f1a3a9ad07643b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-01 02:39:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 02:39:21 +0100 | Guest22 | (~Guest62@c-73-217-79-154.hsd1.co.comcast.net) |
| 2025-02-01 02:35:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 02:28:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-01 02:24:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-01 02:24:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-01 02:21:12 +0100 | otto_s | (~user@p5b0448ee.dip0.t-ipconnect.de) |
| 2025-02-01 02:19:17 +0100 | otto_s | (~user@p5de2fd05.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-02-01 02:18:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 02:09:50 +0100 | sprotte24 | (~sprotte24@p200300d16f06b9001d5c2b08794be0ce.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-01 02:08:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |