Newest at the top
2025-08-26 12:46:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
2025-08-26 12:40:42 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-26 12:40:20 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-08-26 12:38:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-26 12:38:44 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-26 12:38:32 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-26 12:37:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-26 12:32:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-26 12:29:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-08-26 12:28:28 +0200 | <Leary> | Presumably you can also write RULES for `yourFromString (unpackCString s)` if you want to do better. |
2025-08-26 12:27:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2025-08-26 12:27:28 +0200 | <Athas> | Oh, so GHC already has an optimisation for that case. I'd be surprised if it didn't, but it's nice to make sure. |
2025-08-26 12:26:58 +0200 | <Leary> | Without `OverloadedStrings`, a `String` literal "foo" compiles to `unpackCString "foo"#`. I don't see why the extension should change anything in this regard. |
2025-08-26 12:25:56 +0200 | <Athas> | That's eight constructors and a lazy application. I hope that is not the code that is generated from the appropriate fromList type is monomorphic. |
2025-08-26 12:25:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2025-08-26 12:25:34 +0200 | <Athas> | Semantically, a Haskell string literal "foo" will be (fromList ('f' : 'o' : 'o' " [])). |
2025-08-26 12:23:08 +0200 | <sshine> | how would they be more efficiently represented than non-literals; by static inlining? |
2025-08-26 12:21:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-26 12:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-26 12:09:02 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-26 12:07:37 +0200 | <Athas> | Are Text literals (using OverloadedStrings) efficiently represented? |
2025-08-26 12:07:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-26 12:02:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-26 12:01:21 +0200 | trickard_ | trickard |
2025-08-26 11:55:19 +0200 | ubert1 | (~Thunderbi@178.115.39.91.wireless.dyn.drei.com) ubert |
2025-08-26 11:51:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-26 11:50:10 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:4ad7:7046:d36e:df72) kaskal |
2025-08-26 11:49:53 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) (Quit: ZNC - https://znc.in) |
2025-08-26 11:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-26 11:46:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-08-26 11:42:57 +0200 | Gravifer | (~Gravifer@user/Gravifer) (Quit: Client closed) |
2025-08-26 11:42:29 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-08-26 11:37:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-26 11:35:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-26 11:32:39 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-26 11:32:26 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-26 11:31:26 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2025-08-26 11:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-26 11:20:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-26 11:17:11 +0200 | Gravifer | (~Gravifer@user/Gravifer) Gravifer |
2025-08-26 11:15:18 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-08-26 11:14:42 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-08-26 11:14:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-26 11:14:15 +0200 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude |
2025-08-26 11:13:55 +0200 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Server closed connection) |
2025-08-26 11:13:03 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-26 11:12:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-26 11:12:50 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-26 11:10:16 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2025-08-26 11:07:22 +0200 | inline_ | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline |