Logs: liberachat/#haskell
| 2021-07-05 08:03:55 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-05 08:04:08 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-07-05 08:04:31 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9560cc287b29f6323197.dip0.t-ipconnect.de) |
| 2021-07-05 08:06:11 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-05 08:06:20 | × | aerona quits (~aerona@2600:6c54:4600:f300:50a2:c330:37d8:4b40) (Quit: Leaving) |
| 2021-07-05 08:06:31 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2021-07-05 08:06:40 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2021-07-05 08:07:34 | → | kuribas joins (~user@ptr-25vy0i8il7wpra64vcm.18120a2.ip6.access.telenet.be) |
| 2021-07-05 08:08:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-07-05 08:08:23 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-05 08:09:04 | → | dunkeln_ joins (~dunkeln@188.71.194.238) |
| 2021-07-05 08:09:16 | → | mpt joins (~tom@2a02:908:1862:49e0::8) |
| 2021-07-05 08:09:45 | → | edward1 joins (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net) |
| 2021-07-05 08:10:20 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-05 08:11:27 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 256 seconds) |
| 2021-07-05 08:11:39 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-05 08:12:56 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-05 08:13:53 | × | dunkeln_ quits (~dunkeln@188.71.194.238) (Ping timeout: 252 seconds) |
| 2021-07-05 08:14:14 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-05 08:16:34 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-07-05 08:16:53 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-05 08:17:30 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-05 08:17:55 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-05 08:18:22 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 272 seconds) |
| 2021-07-05 08:18:27 | × | tomek-grzesiak quits (~tomek@109.206.213.203) (Quit: WeeChat 3.0.1) |
| 2021-07-05 08:19:51 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-05 08:20:14 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-05 08:20:14 | → | dunkeln joins (~dunkeln@188.71.194.238) |
| 2021-07-05 08:21:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-07-05 08:21:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-07-05 08:23:22 | → | dunj3 joins (~dunj3@2001:16b8:3096:3300:4dca:422a:5d00:ed93) |
| 2021-07-05 08:23:54 | → | grokkingstuff joins (~grokkings@94.203.251.196) |
| 2021-07-05 08:23:54 | × | grokkingstuff quits (~grokkings@94.203.251.196) (Excess Flood) |
| 2021-07-05 08:24:15 | → | grokkingstuff joins (~grokkings@94.203.251.196) |
| 2021-07-05 08:28:57 | <boxscape> | Is there an easy way to see whether an UNPACK pragma actually had an effect? I can't seem to actually see a difference in the dumped cmm |
| 2021-07-05 08:33:15 | tomsmeding | recalls there may be something in the .hi file for the module, thinks there was ghc --show-iface or something ( boxscape ) |
| 2021-07-05 08:33:30 | <boxscape> | tomsmeding: ah, I'll take a look at that, thanks |
| 2021-07-05 08:34:14 | × | grokkingstuff quits (~grokkings@94.203.251.196) (Ping timeout: 252 seconds) |
| 2021-07-05 08:35:05 | TimWolla_ | is now known as TimWolla |
| 2021-07-05 08:37:09 | → | xwx joins (~george@user/george) |
| 2021-07-05 08:37:27 | <boxscape> | indeed, the .hi file only includes the UNPACK pragma if I compile with -O |
| 2021-07-05 08:38:09 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:1a67:2b79:31fc:1012) |
| 2021-07-05 08:38:53 | × | xwx quits (~george@user/george) (Client Quit) |
| 2021-07-05 08:39:03 | <boxscape> | oh also if I don't dump the cmm and so am able to actually see warnings GHC produces, it tells me when it encounters an UNPACK pragma it has to ignore |
| 2021-07-05 08:39:29 | <boxscape> | turns out you can't unpack unboxed tuples |
| 2021-07-05 08:39:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-05 08:39:30 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-05 08:39:54 | × | jneira_ quits (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2021-07-05 08:40:00 | × | typedfern_ quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-07-05 08:40:01 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-05 08:40:03 | <boxscape> | seems strange |
| 2021-07-05 08:41:00 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-05 08:43:29 | × | sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in) |
| 2021-07-05 08:43:33 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-05 08:43:39 | → | sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) |
| 2021-07-05 08:43:41 | <boxscape> | Ah, never mind, it makes sense - it's the same reason why you can unpack Word8 fields but not Word8# fields |
| 2021-07-05 08:44:34 | × | liskin quits (~liskin@ackle.nomi.cz) (Quit: liskin) |
| 2021-07-05 08:44:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-05 08:44:42 | → | liskin joins (~liskin@xmonad/liskin) |
| 2021-07-05 08:45:52 | → | typedfern_ joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-07-05 08:46:13 | × | dminuoso quits (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2021-07-05 08:46:13 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 2021-07-05 08:46:42 | <fendor> | can I generate a hoogle index from a local documentation.tar.gz? |
| 2021-07-05 08:52:03 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-05 08:52:48 | × | michalz quits (~michalz@185.246.204.126) (Remote host closed the connection) |
| 2021-07-05 08:53:52 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-05 08:59:19 | → | PsixisP joins (~psixisp@user/psixisp) |
| 2021-07-05 08:59:27 | <tomsmeding> | boxscape: aren't unboxed tuples kind of already unpacked? |
| 2021-07-05 08:59:55 | <boxscape> | tomsmeding: right, I imagine using the UNPACK pragma with regular tuples results in unboxed tuples |
| 2021-07-05 09:00:06 | <tomsmeding> | that's what I would imagine, but I haven't tried it |
| 2021-07-05 09:01:06 | <boxscape> | (I only tried unpacking () just now which results in a constructor that's completely missing that argument in cmm, and I think (# #) doesn't have a runtime representation, so that makes sense) |
| 2021-07-05 09:01:56 | <tomsmeding> | nice! |
| 2021-07-05 09:03:11 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-07-05 09:03:16 | tomsmeding | . o O ( so (# #) _really_ has only one inhabitant, unlike () which really has two (() and _|_) ) |
| 2021-07-05 09:04:14 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-05 09:04:15 | <Rembane> | The emptiest of tuples. |
| 2021-07-05 09:05:02 | <int-e> | tomsmeding: that's only true if the function returning (# #) terminates |
| 2021-07-05 09:05:02 | × | edward1 quits (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-07-05 09:05:40 | <boxscape> | tomsmeding: you can even make completely uninhabited types now with -XUnliftedDatatypes (Not sure if it's in a released version yet) |
| 2021-07-05 09:06:20 | <tomsmeding> | int-e: hm, true |
| 2021-07-05 09:06:36 | <boxscape> | int-e: I might be wrong but it's my impression that you can then say that the bottom you're producing is not of type (# #), but of the type of the expression in which you're using that function |
| 2021-07-05 09:07:12 | <boxscape> | since it has to be strict |
| 2021-07-05 09:07:39 | <boxscape> | whereas if it were () for example you could wrap that bottom up in the call-site without the wrapping expression evaluating to bottom |
| 2021-07-05 09:07:45 | <boxscape> | (this might not be the best way to phrase it) |
| 2021-07-05 09:07:52 | × | dragestil quits (~quassel@user/dragestil) (Ping timeout: 252 seconds) |
| 2021-07-05 09:07:58 | tomjagua1paw | is now known as tomjaguarpaw |
| 2021-07-05 09:08:59 | <int-e> | boxscape: consider f :: () -> (# #); f () = f () |
| 2021-07-05 09:09:29 | → | michalz joins (~michalz@185.246.204.126) |
| 2021-07-05 09:09:50 | <int-e> | (AIUI, the argument is necessary because unboxed tuples only exist as return types, not as value types.) |
| 2021-07-05 09:10:22 | <nshepperd> | if someone passes you a (# #), it can't be bottom |
| 2021-07-05 09:11:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-05 09:12:07 | <int-e> | Oh, I can write g :: (# #) -> (); g _ = () nowadays. Fine. |
| 2021-07-05 09:13:34 | × | mpt quits (~tom@2a02:908:1862:49e0::8) (Ping timeout: 246 seconds) |
| 2021-07-05 09:14:40 | × | EPic_ quits (apic@apic.name) (Quit: Reconnecting) |
| 2021-07-05 09:14:50 | → | APic joins (apic@apic.name) |
| 2021-07-05 09:15:24 | <int-e> | nshepperd: still, https://paste.tomsmeding.com/q37OPqgE "manifests" a value x :: (# #) that is semantically bottom. You can weasel your way out through more finely grained operational semantics, of course. |
| 2021-07-05 09:15:27 | → | viole joins (~viole@user/viole) |
| 2021-07-05 09:16:42 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-05 09:17:29 | <nshepperd> | and i fully intend to weasel my way out |
| 2021-07-05 09:17:47 | × | Xe quits (~cadey@tailscale/xe) (Quit: WeeChat 3.1) |
All times are in UTC.