Logs: freenode/#haskell
| 2021-03-14 00:03:30 | <dmwit> | koz_: You can usually test this kind of thing yourself using `undefined`. |
| 2021-03-14 00:03:47 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-14 00:03:54 | <koz_> | dmwit: Yeah, but it's easier to ask the nice folks in here. |
| 2021-03-14 00:03:55 | <dmwit> | > let f x = if x then y else () where y = undefined in (f False, f True) |
| 2021-03-14 00:03:57 | <lambdabot> | ((),*Exception: Prelude.undefined |
| 2021-03-14 00:04:18 | <dmwit> | Is it actually easier? I think my \bot query is actually shorter than your English query. ^_^ |
| 2021-03-14 00:04:26 | <koz_> | dmwit: To each their own. |
| 2021-03-14 00:04:39 | <koz_> | Maybe I'm just too daft to magic up code to test my English-language queries. |
| 2021-03-14 00:04:50 | dmwit | nods gravely |
| 2021-03-14 00:05:22 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 00:07:04 | → | egwor joins (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) |
| 2021-03-14 00:08:51 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-03-14 00:09:14 | <hpc> | it's easy to forget sometimes that you can just write haskell |
| 2021-03-14 00:09:20 | <hpc> | it's not so easy in most other languages |
| 2021-03-14 00:10:28 | <egwor> | are there chat logs stored? I can't seem to get the tunes.org link to work |
| 2021-03-14 00:11:57 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Ping timeout: 264 seconds) |
| 2021-03-14 00:14:13 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 2021-03-14 00:14:28 | <egwor> | I wanted to find a chat I was involved in back on May 13th 2020 |
| 2021-03-14 00:16:21 | → | LotteM joins (54bd53e9@p54bd53e9.dip0.t-ipconnect.de) |
| 2021-03-14 00:16:51 | <koz_> | I wanna read the Core produced from a particular module. What do I need to call 'cabal build' with to get this? |
| 2021-03-14 00:18:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 00:19:38 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-14 00:22:14 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-14 00:24:27 | → | bennofs__ joins (~quassel@dslb-188-103-037-063.188.103.pools.vodafone-ip.de) |
| 2021-03-14 00:25:19 | × | egwor quits (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-03-14 00:28:45 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-14 00:28:52 | × | bennofs_ quits (~quassel@dslb-188-106-240-148.188.106.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2021-03-14 00:29:30 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-03-14 00:31:11 | hackage | normalization-insensitive 2.0.2 - Normalization insensitive string comparison https://hackage.haskell.org/package/normalization-insensitive-2.0.2 (ppelleti) |
| 2021-03-14 00:31:12 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 2021-03-14 00:33:29 | <koz_> | OK, figured that out. Now a bigger problem - figuring out wtf the dumped core _means_. |
| 2021-03-14 00:35:12 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-03-14 00:36:00 | <slack1256> | koz_: The general tips of `let` bindings doing allocation and `case` driving evaluation are good guides. |
| 2021-03-14 00:36:27 | <slack1256> | I am no expert but I only read Core to check if my intuition for fusions triggered or not. |
| 2021-03-14 00:37:02 | <koz_> | slack1256: I have a case of mysterious allocs in some code, would appreciate the oversight of someone who has a clue. |
| 2021-03-14 00:37:09 | <koz_> | (which I do not) |
| 2021-03-14 00:37:57 | × | hodapp quits (~hodapp@react-ams-119225.antiddos.solutions) (Ping timeout: 256 seconds) |
| 2021-03-14 00:38:09 | <slack1256> | I have only done analisys on a per function case. You could post a paste so I could see?. |
| 2021-03-14 00:38:38 | <koz_> | Sure, one sec. |
| 2021-03-14 00:40:06 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-03-14 00:40:36 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 2021-03-14 00:40:57 | <koz_> | slack1256: https://gist.github.com/kozross/ce6c1bff17a1c82f58da1bbdc4d0dc66 |
| 2021-03-14 00:43:23 | <koz_> | This _should_ be zero-alloc, but it's still allocating somewhat. |
| 2021-03-14 00:43:33 | <koz_> | I have a profile if you want (with those cost centres) if that'd help. |
| 2021-03-14 00:44:53 | <slack1256> | Let me read a sec |
| 2021-03-14 00:45:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-03-14 00:47:47 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 00:49:06 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-03-14 00:51:58 | <slack1256> | koz_: Can you upload the profile somewhere? |
| 2021-03-14 00:52:07 | <slack1256> | I got the core output if you want. |
| 2021-03-14 00:52:31 | → | elusive joins (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) |
| 2021-03-14 00:52:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-14 00:53:51 | <slack1256> | I create them with following ghci alias called ghci-core `ghci -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes` |
| 2021-03-14 00:56:08 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 2021-03-14 00:58:22 | <koz_> | slack1256: Updated the gist with the profile. |
| 2021-03-14 00:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 00:58:42 | <slack1256> | Nice |
| 2021-03-14 00:58:42 | <koz_> | I have the core output. |
| 2021-03-14 00:58:47 | <koz_> | (I just can't make much sense of it) |
| 2021-03-14 00:58:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 01:01:34 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-03-14 01:01:55 | <slack1256> | koz_: On the profile, there isn't an entry for the `indices` function. |
| 2021-03-14 01:02:14 | <koz_> | I didn't set a cost centre for it. |
| 2021-03-14 01:02:25 | <koz_> | I can add one and re-run? |
| 2021-03-14 01:02:30 | <slack1256> | yeah, sure |
| 2021-03-14 01:02:31 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-14 01:04:24 | <koz_> | Updated gist with new profile having 'indices' as a cost centre. |
| 2021-03-14 01:04:31 | <slack1256> | Cool |
| 2021-03-14 01:06:45 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-14 01:06:46 | → | fosterite joins (~fosterite@071-082-136-216.res.spectrum.com) |
| 2021-03-14 01:07:12 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 01:07:49 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 01:09:09 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ucvijfuheygbyqkt) |
| 2021-03-14 01:09:12 | → | elliott_1 joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 01:09:15 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-14 01:12:42 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2021-03-14 01:12:59 | × | fosterite quits (~fosterite@071-082-136-216.res.spectrum.com) () |
| 2021-03-14 01:14:41 | × | elliott_1 quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-14 01:17:54 | × | plutoniix quits (~q@node-uj8.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-03-14 01:22:51 | <slack1256> | That allocation only attributable to `go` is weird. We have 829 entries to that SCC, but it is recursive. The first case on the `go` function also has the attributed memory of evaluating its argument (elemIndices). |
| 2021-03-14 01:22:57 | <slack1256> | I just thinking outloud. |
| 2021-03-14 01:28:08 | → | lewky joins (4cba4096@cpe-76-186-64-150.tx.res.rr.com) |
| 2021-03-14 01:29:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 01:29:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-14 01:29:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-14 01:29:28 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 01:31:33 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2021-03-14 01:34:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Ping timeout: 264 seconds) |
| 2021-03-14 01:36:53 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 2021-03-14 01:37:08 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-14 01:37:25 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 01:37:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-14 01:38:08 | → | Tario joins (~Tario@200.119.185.246) |
| 2021-03-14 01:40:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 01:40:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-14 01:42:24 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 01:42:46 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-14 01:43:45 | → | lewky_ joins (~lewky@159.65.37.240) |
| 2021-03-14 01:43:52 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 01:45:54 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Client Quit) |
All times are in UTC.