Newest at the top
2024-04-25 07:59:21 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) |
2024-04-25 07:53:15 +0200 | <dminuoso> | While GHC will aggressively try to unbox Int, you cannot rely on that. |
2024-04-25 07:52:57 +0200 | <dminuoso> | It's a box around Int# |
2024-04-25 07:52:50 +0200 | <dminuoso> | In fact, Int will evaluate to Int. |
2024-04-25 07:52:11 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Ping timeout: 264 seconds) |
2024-04-25 07:50:29 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-25 07:37:37 +0200 | danso_o | (~danso@user/danso) |
2024-04-25 07:37:28 +0200 | danso | (~danso@user/danso) (Ping timeout: 256 seconds) |
2024-04-25 07:37:18 +0200 | acidjnk | (~acidjnk@p200300d6e714dc7109d5fea24ae1df5e.dip0.t-ipconnect.de) |
2024-04-25 07:35:00 +0200 | attebregge | (~adam@user/attebregge) (Quit: Lost terminal) |
2024-04-25 07:34:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-25 07:30:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-25 07:26:25 +0200 | zetef | (~quassel@5.2.182.98) |
2024-04-25 07:23:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-25 07:18:43 +0200 | euleritian | (~euleritia@dynamic-176-004-206-216.176.4.pool.telefonica.de) |
2024-04-25 07:17:17 +0200 | yin | (~yin@user/zero) |
2024-04-25 07:17:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-25 07:17:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-25 07:11:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-25 07:11:25 +0200 | euleritian | (~euleritia@dynamic-176-004-206-216.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-25 07:10:50 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-25 07:06:39 +0200 | euleritian | (~euleritia@dynamic-176-004-206-216.176.4.pool.telefonica.de) |
2024-04-25 07:05:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-04-25 07:04:01 +0200 | destituion | (~destituio@85.221.111.174) |
2024-04-25 06:56:10 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
2024-04-25 06:51:38 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-25 06:51:23 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-25 06:45:59 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 256 seconds) |
2024-04-25 06:43:34 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-25 06:43:02 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 268 seconds) |
2024-04-25 06:36:21 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
2024-04-25 06:33:00 +0200 | yin | (~yin@user/zero) |
2024-04-25 06:31:10 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-04-25 06:18:31 +0200 | kshube | (~kshube@49.207.195.24) |
2024-04-25 06:18:15 +0200 | kshube | (~kshube@2406:7400:56:7ccd:eb5a:72e4:5bef:2a2e) (Ping timeout: 245 seconds) |
2024-04-25 06:15:41 +0200 | <c_wraith> | Int is the regular Haskell wrapper around the magic Int# |
2024-04-25 06:14:47 +0200 | <c_wraith> | Int is not magical, other than the constructor name. Int# is magical |
2024-04-25 06:13:43 +0200 | kshube | (~kshube@2406:7400:56:7ccd:eb5a:72e4:5bef:2a2e) |
2024-04-25 06:08:09 +0200 | michalz | (~michalz@185.246.207.218) |
2024-04-25 06:05:19 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-25 06:05:05 +0200 | <Inst> | Char# Thunk |
2024-04-25 06:04:57 +0200 | <Inst> | Int, Char, etc, they should evaluate to Int# Thunk |
2024-04-25 06:04:41 +0200 | <Inst> | wait, Int is magical, right? |
2024-04-25 06:04:25 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-25 06:03:13 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-04-25 05:53:21 +0200 | Square | (~Square@user/square) |
2024-04-25 05:34:26 +0200 | yin | (~yin@user/zero) |
2024-04-25 05:32:53 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-25 05:29:42 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-25 05:29:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |