| 2022-08-31 00:05:58 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds) |
| 2022-08-31 00:06:16 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-31 00:08:38 +0200 | ilichu[m] | (~ilichumat@2001:470:69fc:105::2:6afb) |
| 2022-08-31 00:08:57 +0200 | michalz | (~michalz@185.246.204.72) (Remote host closed the connection) |
| 2022-08-31 00:09:37 +0200 | TravisAthougies[ | (~tathougie@2001:470:69fc:105::2:6fbd) |
| 2022-08-31 00:10:18 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 264 seconds) |
| 2022-08-31 00:13:00 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
| 2022-08-31 00:13:52 +0200 | gambpang | (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-31 00:13:57 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-31 00:17:25 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-08-31 00:18:43 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2022-08-31 00:19:09 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2022-08-31 00:19:35 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2022-08-31 00:20:21 +0200 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-08-31 00:20:52 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2022-08-31 00:20:56 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2022-08-31 00:21:05 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2022-08-31 00:21:24 +0200 | Inst_ | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) |
| 2022-08-31 00:21:42 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2022-08-31 00:21:45 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2022-08-31 00:21:55 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 00:22:16 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-08-31 00:22:38 +0200 | even4void[m] | (~even4void@2001:470:69fc:105::2:4b9c) |
| 2022-08-31 00:22:44 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2022-08-31 00:22:55 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2022-08-31 00:22:56 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2022-08-31 00:23:07 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2022-08-31 00:23:12 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2022-08-31 00:23:13 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2022-08-31 00:23:50 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
| 2022-08-31 00:23:57 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
| 2022-08-31 00:24:23 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2022-08-31 00:24:23 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2022-08-31 00:24:25 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2022-08-31 00:24:44 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2022-08-31 00:24:47 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 255 seconds) |
| 2022-08-31 00:25:30 +0200 | Artem[m]12 | (~artemtype@2001:470:69fc:105::75b) |
| 2022-08-31 00:25:57 +0200 | duckie | (~duckie@user/duckie) |
| 2022-08-31 00:26:13 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2022-08-31 00:26:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2022-08-31 00:26:35 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-31 00:27:28 +0200 | jz99[m] | (~jz99matri@2001:470:69fc:105::1:d5f1) |
| 2022-08-31 00:27:45 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) |
| 2022-08-31 00:27:53 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2022-08-31 00:28:25 +0200 | fr33domlover[m] | (~fr33domlo@2001:470:69fc:105::1:3bb6) |
| 2022-08-31 00:29:28 +0200 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) |
| 2022-08-31 00:29:40 +0200 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) |
| 2022-08-31 00:29:50 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-31 00:29:53 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2022-08-31 00:30:44 +0200 | siraben | (~siraben@user/siraben) |
| 2022-08-31 00:32:04 +0200 | psydroid | (~psydroid@user/psydroid) |
| 2022-08-31 00:32:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-08-31 00:33:07 +0200 | acidjnk | (~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-31 00:40:09 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 00:40:41 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 00:44:05 +0200 | titibandit | (~titibandi@xdsl-87-78-66-58.nc.de) (Remote host closed the connection) |
| 2022-08-31 00:45:29 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2022-08-31 00:46:01 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-31 00:56:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 01:01:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-08-31 01:01:28 +0200 | oxide | (~lambda@user/oxide) |
| 2022-08-31 01:01:41 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-08-31 01:03:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-31 01:04:33 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-08-31 01:07:52 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-08-31 01:16:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 01:19:06 +0200 | fserucas | (~fserucas@89.214.116.132) (Remote host closed the connection) |
| 2022-08-31 01:26:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-31 01:27:56 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 01:29:41 +0200 | jargon | (~jargon@184.101.185.66) (Ping timeout: 268 seconds) |
| 2022-08-31 01:30:32 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-08-31 01:30:47 +0200 | phma | (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (Remote host closed the connection) |
| 2022-08-31 01:31:12 +0200 | phma | (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) |
| 2022-08-31 01:31:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 01:37:21 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-08-31 01:37:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-31 01:37:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 01:38:55 +0200 | <segfaultfizzbuzz> | how does a real programmer (read: not yours truly) compare CPUs? |
| 2022-08-31 01:44:04 +0200 | <Axman6> | > compare "CPU A" "CPU B" |
| 2022-08-31 01:44:06 +0200 | <lambdabot> | LT |
| 2022-08-31 01:45:00 +0200 | <monochrom> | I thought only PC gamers compare CPUs. :) |
| 2022-08-31 01:46:08 +0200 | <hpc> | there's some truth in that |
| 2022-08-31 01:46:31 +0200 | <hpc> | i mostly only think about memory use, disk IO patterns, and network bandwidth |
| 2022-08-31 01:46:39 +0200 | <segfaultfizzbuzz> | like i look at powerPC and they say the CPU has something special about cache sharing |
| 2022-08-31 01:46:58 +0200 | <qrpnxz> | i thought powerpc was dead lol |
| 2022-08-31 01:47:01 +0200 | <segfaultfizzbuzz> | and then i look at some other CPU and it has DHAIJ-4i890889q |
| 2022-08-31 01:47:02 +0200 | <hpc> | leave that sort of thing to kernel developers |
| 2022-08-31 01:47:15 +0200 | <qrpnxz> | tf is DHAndyq2302 |
| 2022-08-31 01:47:25 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-08-31 01:47:38 +0200 | <hpc> | by the time it matters how good your cpu is, you have enough millions to just by one of each and benchmark |
| 2022-08-31 01:47:53 +0200 | <Axman6> | if you own a car you probably own half a dozen PowerPC chips |
| 2022-08-31 01:48:00 +0200 | <segfaultfizzbuzz> | and like do i need ITJHo0-509039 or EIJHAEIJKqqq or does not having it get in the way of turing completeness or something |
| 2022-08-31 01:48:18 +0200 | <qrpnxz> | i have a 5950x and i wish it was faster. 😩 New gen ryzen coming out tho :) |
| 2022-08-31 01:48:59 +0200 | <waleee> | having someting that's x86_64_v3 compatible is nice as the very minimum |
| 2022-08-31 01:49:28 +0200 | <segfaultfizzbuzz> | hpc: so it's an OS-level thing? at the application level this stuff just doesn't show up? |
| 2022-08-31 01:49:42 +0200 | <qrpnxz> | i've wanted high-tier ARM for a while. Apple did it which blew my mind, but i don't compute on fruits |
| 2022-08-31 01:50:18 +0200 | <hpc> | i mean, you'll notice the performance |
| 2022-08-31 01:50:22 +0200 | <Axman6> | keep paying that x86_64 power bill then |
| 2022-08-31 01:50:36 +0200 | <qrpnxz> | xd, i don't even know any consumer desktop arm cpu |
| 2022-08-31 01:50:37 +0200 | <hpc> | but there's probably not a lot you can do in your own code to exploit it |
| 2022-08-31 01:50:46 +0200 | <qrpnxz> | never mind high-end ones |
| 2022-08-31 01:51:02 +0200 | <hpc> | without writing super weird cpu-specific code that probably needs special privileges anyway |
| 2022-08-31 01:51:09 +0200 | <qrpnxz> | RISC-V would be even better, but if ARM is not happening, then RISC-V even less |
| 2022-08-31 01:51:13 +0200 | <Axman6> | the performace per watt for M1, M2 is just nuts. having 400GB/s of memory bandwidth is pretty insane too - imagine being able to garbage collect your whole system's memory several times a second |
| 2022-08-31 01:51:45 +0200 | <qrpnxz> | the perfect python machine 😠|
| 2022-08-31 01:51:45 +0200 | <segfaultfizzbuzz> | i think (?) i understand that bigger cache is better but then i saw somewhere that 1 Gb (or GB?) cache will be shipping very soon so |
| 2022-08-31 01:52:03 +0200 | <qrpnxz> | 1GB?! |
| 2022-08-31 01:52:09 +0200 | <segfaultfizzbuzz> | yeah i understand memory bandwidth |
| 2022-08-31 01:52:11 +0200 | <waleee> | Axman6: M1 et al isn't exactly cheap to buy up front |
| 2022-08-31 01:52:31 +0200 | <Axman6> | not yet, no |
| 2022-08-31 01:52:50 +0200 | <Axman6> | I reckon the M1 airs will come down in price over time |
| 2022-08-31 01:52:51 +0200 | <qrpnxz> | what is having 1GB cache i dont' believe it |
| 2022-08-31 01:52:57 +0200 | <waleee> | also not for the macos-allergic person |
| 2022-08-31 01:53:07 +0200 | <qrpnxz> | a crazy server chip? |
| 2022-08-31 01:53:23 +0200 | <Axman6> | it's just Unix |
| 2022-08-31 01:53:34 +0200 | <qrpnxz> | my mom getting a brand spanking new M1 pro soon. |
| 2022-08-31 01:53:49 +0200 | <segfaultfizzbuzz> | yeah i can understand memory bandwidth as something a chip does |
| 2022-08-31 01:53:51 +0200 | <waleee> | I prefer my unix looking more like dwm than og windows 11 |
| 2022-08-31 01:53:51 +0200 | <qrpnxz> | after over a decade having her other mac |
| 2022-08-31 01:54:39 +0200 | <geekosaur> | actually I like the UI. the whole SIP/codesign/make-it-so-only-apple-approved-developers-can-write-software thing can go away though |
| 2022-08-31 01:55:01 +0200 | <Axman6> | that's not really a thing |
| 2022-08-31 01:55:08 +0200 | <qrpnxz> | my work laptop is mac, i vastly prefer gnome personally |
| 2022-08-31 01:55:17 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-08-31 01:55:29 +0200 | <qrpnxz> | more practical |
| 2022-08-31 01:56:29 +0200 | <segfaultfizzbuzz> | https://www.servethehome.com/server-cpus-transitioning-to-the-gb-onboard-era/ ... EPYC 72F3 has 256MB of L3 cache right now |
| 2022-08-31 01:56:57 +0200 | <Axman6> | RIP your power bill if you run a server CPU for you every day machine |
| 2022-08-31 01:57:29 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-08-31 01:57:46 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-31 01:57:58 +0200 | <segfaultfizzbuzz> | https://www.club386.com/amd-unleashes-epyc-7003-series-with-3d-v-cache/ 768MB L3 in EPYC 7003 |
| 2022-08-31 01:59:25 +0200 | braf | (~braf@58.84.143.92) |
| 2022-08-31 01:59:39 +0200 | <segfaultfizzbuzz> | chiplets/stacking means cache size will go to infinity very soon i guess |
| 2022-08-31 01:59:41 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-08-31 02:02:33 +0200 | <segfaultfizzbuzz> | https://images.anandtech.com/doci/16924/TElumsystems.jpg here is IBM talking about a 32GB cache shared across 32 chips (!) |
| 2022-08-31 02:02:37 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 2022-08-31 02:03:15 +0200 | <segfaultfizzbuzz> | but that is "L4 cache" (lol wat) |
| 2022-08-31 02:03:49 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-31 02:04:14 +0200 | califax | (~califax@user/califx) |
| 2022-08-31 02:04:14 +0200 | <geekosaur> | you can have as many levels as you're willing to pay for. whether they're worth it may be another question |
| 2022-08-31 02:05:20 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-08-31 02:07:52 +0200 | <qrpnxz> | i think if your main memory is in the terabytes as these cpu can go, L4 have a place |
| 2022-08-31 02:07:55 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-31 02:10:04 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-31 02:19:29 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-08-31 02:22:07 +0200 | emad | (~emad@156.214.126.109) (Quit: Leaving) |
| 2022-08-31 02:25:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-31 02:27:05 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-31 02:28:05 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-08-31 02:28:44 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 02:31:41 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2022-08-31 02:35:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 02:35:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 02:42:40 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-31 02:46:09 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 268 seconds) |
| 2022-08-31 02:47:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 02:47:47 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-31 02:56:31 +0200 | foul_owl | (~kerry@23.82.194.109) (Ping timeout: 252 seconds) |
| 2022-08-31 02:59:08 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-08-31 02:59:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-31 03:01:51 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 260 seconds) |
| 2022-08-31 03:02:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2022-08-31 03:02:49 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
| 2022-08-31 03:04:00 +0200 | coady | (~coady@103.214.45.49) |
| 2022-08-31 03:05:48 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-08-31 03:10:22 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) |
| 2022-08-31 03:10:47 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-31 03:12:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07) (Ping timeout: 248 seconds) |
| 2022-08-31 03:14:10 +0200 | coady | (~coady@103.214.45.49) (Quit: WeeChat 3.0) |
| 2022-08-31 03:16:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-31 03:20:17 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
| 2022-08-31 03:23:10 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-31 03:23:25 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-31 03:23:43 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-31 03:24:15 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-08-31 03:24:27 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 244 seconds) |
| 2022-08-31 03:26:38 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-08-31 03:27:19 +0200 | alexd | (~nineonine@50.216.62.10) (Ping timeout: 252 seconds) |
| 2022-08-31 03:30:40 +0200 | jargon | (~jargon@184.101.185.66) |
| 2022-08-31 03:36:44 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-31 03:37:45 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-08-31 03:43:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-08-31 03:56:10 +0200 | Alex_test_ | (~al_test@178.34.163.186) |
| 2022-08-31 03:56:25 +0200 | frost | (~frost@user/frost) |
| 2022-08-31 03:57:45 +0200 | Alex_test | (~al_test@178.34.163.186) (Ping timeout: 252 seconds) |
| 2022-08-31 03:58:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-31 03:58:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-31 04:00:26 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 04:07:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-08-31 04:10:27 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-31 04:18:47 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-08-31 04:26:55 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 04:27:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 04:31:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-08-31 04:31:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-31 04:33:34 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-08-31 04:33:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-31 04:34:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 04:35:14 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:69c4:d208:cb71:54a6) (Ping timeout: 244 seconds) |
| 2022-08-31 04:41:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 04:43:24 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-08-31 04:43:57 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 252 seconds) |
| 2022-08-31 04:44:00 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 04:44:36 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-08-31 04:47:15 +0200 | td_ | (~td@94.134.91.35) (Ping timeout: 252 seconds) |
| 2022-08-31 04:47:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-31 04:48:36 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 04:49:07 +0200 | td_ | (~td@94.134.91.66) |
| 2022-08-31 04:49:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 04:49:57 +0200 | vglfr | (~vglfr@145.224.94.248) |
| 2022-08-31 04:52:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 04:53:26 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-08-31 04:53:50 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-31 04:55:12 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 04:55:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-31 04:55:31 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-31 04:55:31 +0200 | finn_elija | FinnElija |
| 2022-08-31 04:57:02 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2022-08-31 04:58:28 +0200 | king_gs | (~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) |
| 2022-08-31 04:58:42 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-08-31 04:59:41 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 05:04:11 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-31 05:17:14 +0200 | poscat | (~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7) (Quit: Bye) |
| 2022-08-31 05:18:56 +0200 | <qrpnxz> | i can use `effectful` effects to track object lifetimes lol. This is epic honestly. |
| 2022-08-31 05:19:28 +0200 | poscat | (~poscat@114.245.109.80) |
| 2022-08-31 05:21:05 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 05:23:24 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-31 05:24:04 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 05:26:40 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-08-31 05:27:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 268 seconds) |
| 2022-08-31 05:30:23 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-08-31 05:31:40 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-31 05:34:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-31 05:34:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 05:35:28 +0200 | Ailrk | (~Ailrk@2604:3d08:9578:cd70:642:1aff:fe0a:2504) |
| 2022-08-31 05:35:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-31 05:40:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-31 05:40:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 05:41:12 +0200 | sp0ok | (~sp0ok@2603-8000-d201-0802-7c61-092a-1d36-ce0b.res6.spectrum.com) |
| 2022-08-31 05:41:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 05:44:20 +0200 | <Clinton[m]> | Is there anyway to have constraints in a `cabal.project` file which are only triggered upon passing a flag? I basically have a project which has about a dozen packages and I want to pass a `cabal build all --flag dev` (or something of that effect) which turns off a bunch of warnings/stops "typed holes" from giving an error in "development mode", whilst the build itself it still fairly strict. |
| 2022-08-31 05:44:28 +0200 | king_gs | (~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) (Ping timeout: 244 seconds) |
| 2022-08-31 05:45:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 05:46:13 +0200 | <glguy> | Clinton[m]: you can have multiple project files and then specify which one to use with the --project-file flag |
| 2022-08-31 05:47:41 +0200 | <Clinton[m]> | glguy: Ah, I was hoping to avoid the copy pasta |
| 2022-08-31 05:48:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 05:48:28 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 05:49:10 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
| 2022-08-31 05:51:56 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-31 05:52:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 05:52:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 05:52:53 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-08-31 05:52:55 +0200 | <qrpnxz> | yes you can do flags one sec |
| 2022-08-31 05:54:02 +0200 | <glguy> | https://cabal.readthedocs.io/en/stable/cabal-project.html#conditionals-and-imports -- As of cabal-install version 3.8, cabal supports conditional logic and imports in cabal.project files. Conditions in cabal may case on operating system, architecture, and compiler (i.e. there is no support for a notion of custom flags in project files). |
| 2022-08-31 05:54:05 +0200 | <qrpnxz> | Clinton[m]: example https://paste.tomsmeding.com/F8t2qwI9 |
| 2022-08-31 05:54:18 +0200 | <glguy> | qrpnxz: that's something else |
| 2022-08-31 05:54:28 +0200 | <qrpnxz> | it's functionally exactly what he needs far i can tell |
| 2022-08-31 05:54:36 +0200 | <qrpnxz> | syntax is a minor detail |
| 2022-08-31 05:54:43 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-31 05:54:47 +0200 | <sclv> | Clinton[m]: you can avoid copypasta with includes |
| 2022-08-31 05:58:50 +0200 | <glguy> | qrpnxz: it's not a syntax thing, it's a level of abstraction thing, one works at the project workspace and the other is per package |
| 2022-08-31 05:59:45 +0200 | <qrpnxz> | i didn't see anything about doing per package in the question |
| 2022-08-31 05:59:49 +0200 | <qrpnxz> | but sure |
| 2022-08-31 06:05:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 06:06:35 +0200 | <Clinton[m]> | sclv: are you saying I can avoid copypastaering the list of warnings I'm turning off in each package library/test/executable in each `.cabal` file? |
| 2022-08-31 06:06:42 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-31 06:07:09 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 06:07:54 +0200 | <Clinton[m]> | sclv: like this? https://cabal.readthedocs.io/en/3.4/cabal-package.html#autogenerated-modules-and-includes |
| 2022-08-31 06:08:27 +0200 | <sclv> | You can turn them off in the project file. Im suggesting you can have a shared common project file and turn off them in a special file that first imports the shared one |
| 2022-08-31 06:12:08 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-31 06:12:11 +0200 | <Clinton[m]> | sclv: I'm not following sorry. Let's keep it simple. I've got `cabal.project` and `mypackage1.cabal`, `mypackage2.cabal`, ... , `mypackage9.cabal`. I want to add `-O0` and `-Wno-unused-imports` to my dev build. I want the "packages" built by my "dev" build to be ignored by my "proper" build. That is I don't want packages compiled with `-O0` to be mixed with those compiled with `-O0`. What should I be doing here? |
| 2022-08-31 06:12:35 +0200 | <Clinton[m]> | * to my "dev, * dev" build. |
| 2022-08-31 06:12:44 +0200 | <Clinton[m]> | * I'm not following sorry. Let's keep it simple. I've got `cabal.project` and `mypackage1.cabal`, `mypackage2.cabal`, ... , `mypackage9.cabal`. I want to add `-O0` and `-Wno-unused-imports` to my "dev" build. I want the "packages" built by my "dev" build to be ignored by my "proper" build. That is I don't want packages compiled with `-O0` to be mixed with those compiled with `-O1`. What should I be doing here? |
| 2022-08-31 06:13:06 +0200 | <Clinton[m]> | * I'm not following sorry. Let's keep it simple. I've got `cabal.project` and `mypackage1.cabal`, `mypackage2.cabal`, ... , `mypackage9.cabal`. I want to add `-O0` and `-Wno-unused-imports` to my "dev" build. I want the "packages" built by my "dev" build to be ignored by my "proper" build. That is I don't want packages compiled with `-O0` without warnings/errors to be mixed with those compiled with `-O1` with the full warning/error set. |
| 2022-08-31 06:13:06 +0200 | <Clinton[m]> | What should I be doing here? |
| 2022-08-31 06:13:34 +0200 | <sclv> | Create a second project file. Import the first and for each package add the ghc flags. Now you can use the first project file or the second, |
| 2022-08-31 06:14:05 +0200 | <sclv> | cabal won’t let the two build products mix. |
| 2022-08-31 06:14:21 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-31 06:14:24 +0200 | <Clinton[m]> | sclv: ah, gotcha. So I need to copypasta `-O0 -Wno-unused-imports` under a flag in EVERY `.cabal` file? |
| 2022-08-31 06:14:39 +0200 | <sclv> | No. Put them in the project file! |
| 2022-08-31 06:15:04 +0200 | <sclv> | Project files let you set ghc options for packages |
| 2022-08-31 06:15:58 +0200 | <Clinton[m]> | sclv: as in just put a `ghc-options` clause at the top level of the `cabal.project` file? |
| 2022-08-31 06:16:03 +0200 | Sgeo__ | (~Sgeo@user/sgeo) |
| 2022-08-31 06:16:56 +0200 | <sclv> | I think. You might need to put it under a clause for each package. Don’t recall the semantics offhand, they’ve been goofy and fixed recently. |
| 2022-08-31 06:17:45 +0200 | <Clinton[m]> | sclv: `Unrecognized field 'ghc-options'` |
| 2022-08-31 06:19:30 +0200 | <glguy> | https://cabal.readthedocs.io/en/stable/cabal-project.html#package-configuration-options |
| 2022-08-31 06:19:30 +0200 | <Clinton[m]> | sclv: my packages are listed like in my `cabal.project` file:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/b59e29c28ca9d85f4244de3b853968b8ec4b…) |
| 2022-08-31 06:19:50 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 255 seconds) |
| 2022-08-31 06:20:19 +0200 | <sclv> | right, let me find you an example |
| 2022-08-31 06:20:48 +0200 | <sclv> | https://github.com/haskell/cabal/blob/master/cabal.project |
| 2022-08-31 06:21:06 +0200 | <sclv> | so for each local package you have a stanza and then you put the options under it |
| 2022-08-31 06:21:22 +0200 | <sclv> | You mgiht be able to say "package *" for all local packages, but i don't recall. |
| 2022-08-31 06:21:36 +0200 | <Clinton[m]> | sclv: so there is a copypasta but at least it's all in one file. |
| 2022-08-31 06:21:45 +0200 | <sclv> | and if you say "package *" then there's no copypasta |
| 2022-08-31 06:21:57 +0200 | <sclv> | just "package * \n\t ghc-options: etc" |
| 2022-08-31 06:22:35 +0200 | <sclv> | that's the goofy semantics bit -- the current documentation should explain. it at times meant "all packages, not just local ones" but that might have been fixed |
| 2022-08-31 06:22:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 06:22:44 +0200 | <Clinton[m]> | sclv: I think `package *` applies to external packages though (according to glguy 's link) which I don't _think_ I want, although perhaps it doesn't matter much |
| 2022-08-31 06:23:07 +0200 | <sclv> | right, so then you need to list them all, but yeah, its all in one place and you don't need extra flags and stuff |
| 2022-08-31 06:24:43 +0200 | <sclv> | i'm sort of surprised you can't just say "ghc-options: " at the top level, since that's what the docs suggest should work, and then apply to all local packages only |
| 2022-08-31 06:24:53 +0200 | <Clinton[m]> | hang on, the documentation glguy has linked to https://cabal.readthedocs.io/en/stable/cabal-project.html#package-configuration-options suggests that I should be able to just put `ghc-options` at the top level of my `cabal.project` file (outside of any package stanza) and have that apply to all *local* packages |
| 2022-08-31 06:25:00 +0200 | <sclv> | right |
| 2022-08-31 06:25:15 +0200 | <Clinton[m]> | * sclv: hang on, the documentation glguy has linked to https://cabal.readthedocs.io/en/stable/cabal-project.html#package-configuration-options suggests that I should be able to just put `ghc-options` at the top level of my `cabal.project` file (outside of any package stanza) and have that apply to all _local_ packages |
| 2022-08-31 06:25:23 +0200 | <Clinton[m]> | sclv: we had the same thought at the same time |
| 2022-08-31 06:28:01 +0200 | <Clinton[m]> | sclv: and how do I import the base `cabal.project` file? I presume I need something like `cabal_dev.project` which contains "import cabal.project" (shrugs) |
| 2022-08-31 06:29:00 +0200 | <glguy> | section 7.1 |
| 2022-08-31 06:30:34 +0200 | steve[m]1 | (~stevetrou@2001:470:69fc:105::e0b) |
| 2022-08-31 06:31:46 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-31 06:32:15 +0200 | <Clinton[m]> | glguy: I can't see anything in 7.1 about importing other `cabal.project` files. Sure it's not in a subsection of `7.1`, say `7.1.X` for some `X`? Or have I just missed it in `7.1`? |
| 2022-08-31 06:33:16 +0200 | <Clinton[m]> | glguy: you talking about here? https://cabal.readthedocs.io/en/3.6/cabal-package.html#creating-a-package |
| 2022-08-31 06:33:34 +0200 | <glguy> | Ah, you're on an old version of the docs |
| 2022-08-31 06:34:51 +0200 | <Clinton[m]> | glguy: ah, gotcha. Does only Cabal 3.8 support top level `ghc-options` as well? https://cabal.readthedocs.io/en/3.8/cabal-project.html#conditionals-and-imports |
| 2022-08-31 06:35:35 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-31 06:36:08 +0200 | king_gs | (~Thunderbi@187.201.19.107) |
| 2022-08-31 06:37:27 +0200 | <glguy> | I tried and it didn't seem to support top-level ghc-options, unfortunately |
| 2022-08-31 06:37:32 +0200 | <glguy> | but it's possible I tried wrong somehow |
| 2022-08-31 06:41:49 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-31 06:46:43 +0200 | <Clinton[m]> | ah, to do the imports I need Cabal 3.8 which looks like it's pretty recently released |
| 2022-08-31 06:47:01 +0200 | <Clinton[m]> | * glguy: ah, to |
| 2022-08-31 06:47:09 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-08-31 06:52:30 +0200 | <Clinton[m]> | glguy: looks like this is what one needs to do: https://github.com/haskell/cabal/pull/7973 |
| 2022-08-31 06:53:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 06:54:02 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
| 2022-08-31 06:54:56 +0200 | king_gs | (~Thunderbi@187.201.19.107) (Read error: Connection reset by peer) |
| 2022-08-31 06:56:17 +0200 | sp0ok | (~sp0ok@2603-8000-d201-0802-7c61-092a-1d36-ce0b.res6.spectrum.com) (Ping timeout: 244 seconds) |
| 2022-08-31 06:56:21 +0200 | king_gs | (~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) |
| 2022-08-31 06:57:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 07:00:07 +0200 | mbuf | (~Shakthi@49.204.120.6) |
| 2022-08-31 07:02:29 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-31 07:04:25 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 07:06:38 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
| 2022-08-31 07:07:24 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 07:07:59 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 255 seconds) |
| 2022-08-31 07:10:41 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-08-31 07:12:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 07:17:22 +0200 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) |
| 2022-08-31 07:18:25 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-31 07:21:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-31 07:23:17 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-31 07:24:38 +0200 | aeka | (~aeka@user/hiruji) (Ping timeout: 255 seconds) |
| 2022-08-31 07:29:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 07:35:40 +0200 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) (Quit: ) |
| 2022-08-31 07:36:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-31 07:38:45 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-31 07:42:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 07:45:30 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-31 07:46:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 07:47:43 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-08-31 07:49:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 07:57:33 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-31 07:57:34 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-08-31 07:58:18 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 08:00:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 08:01:20 +0200 | aeka | (~aeka@2606:6080:2001:6:e14e:c3f3:8562:6916) |
| 2022-08-31 08:04:36 +0200 | bgamari | (~bgamari@64.223.130.166) (Ping timeout: 260 seconds) |
| 2022-08-31 08:06:06 +0200 | bgamari | (~bgamari@64.223.132.120) |
| 2022-08-31 08:08:53 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-31 08:10:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 08:15:31 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-08-31 08:16:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 08:16:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds) |
| 2022-08-31 08:17:30 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 08:17:52 +0200 | michalz | (~michalz@185.246.204.65) |
| 2022-08-31 08:20:36 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-31 08:27:21 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-08-31 08:28:24 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-31 08:28:56 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 08:29:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 08:29:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 08:33:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 08:33:29 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-08-31 08:35:27 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-31 08:38:02 +0200 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2022-08-31 08:40:32 +0200 | akegalj | (~akegalj@109.60.126.91) |
| 2022-08-31 08:41:38 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-31 08:41:51 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-31 08:43:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2022-08-31 08:48:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:390c:d915:a3eb:2597) |
| 2022-08-31 08:49:35 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-08-31 08:53:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 08:54:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-08-31 08:57:41 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-31 09:00:09 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-08-31 09:01:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 09:03:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 09:09:02 +0200 | <Axman6> | how do I run ghci with cabal, and tell it on the command line to add a package as a dependency? it starts find when I do cabal repl --build-depends foo but then it tells me that modules from foo are hidden and I need to add it as a build-depend |
| 2022-08-31 09:09:54 +0200 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-31 09:10:23 +0200 | titibandit | (~titibandi@xdsl-87-78-66-58.nc.de) |
| 2022-08-31 09:10:39 +0200 | <sclv> | that should work. unless the package is already in the global db possibly. |
| 2022-08-31 09:11:14 +0200 | <Axman6> | yeah it probably is |
| 2022-08-31 09:11:31 +0200 | <Axman6> | I did a cabal install foo, out of old habits |
| 2022-08-31 09:12:03 +0200 | <sclv> | oh its a global env file possibly! |
| 2022-08-31 09:12:38 +0200 | <sclv> | depending if it was a v1 or v2 install. see if ghci says its using an env file… |
| 2022-08-31 09:14:26 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (Ping timeout: 255 seconds) |
| 2022-08-31 09:16:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 09:16:24 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-31 09:17:02 +0200 | chele | (~chele@user/chele) |
| 2022-08-31 09:17:48 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 09:22:25 +0200 | cheater | (~Username@user/cheater) (Quit: BitchX: don't leave home without it!) |
| 2022-08-31 09:23:13 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 09:23:15 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) |
| 2022-08-31 09:23:31 +0200 | acidjnk | (~acidjnk@p200300d6e7137a348c7fe01a0065d5f9.dip0.t-ipconnect.de) |
| 2022-08-31 09:23:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-31 09:23:48 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 09:26:08 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
| 2022-08-31 09:26:45 +0200 | slac66106 | (~slack1256@191.126.99.94) |
| 2022-08-31 09:27:11 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-31 09:28:50 +0200 | slack1256 | (~slack1256@186.11.99.53) (Ping timeout: 255 seconds) |
| 2022-08-31 09:30:43 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-31 09:32:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 09:34:23 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds) |
| 2022-08-31 09:38:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2022-08-31 09:38:37 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 2022-08-31 09:38:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
| 2022-08-31 09:38:37 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2022-08-31 09:38:37 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-08-31 09:39:05 +0200 | califax | (~califax@user/califx) |
| 2022-08-31 09:39:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-31 09:39:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-31 09:39:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-31 09:40:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-31 09:42:48 +0200 | <dminuoso> | How can you configure extensions with lambdabot? |
| 2022-08-31 09:44:38 +0200 | Guest4971 | (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) |
| 2022-08-31 09:46:21 +0200 | fserucas | (~fserucas@89.214.116.132) |
| 2022-08-31 09:46:59 +0200 | <merijn> | Isn't there, like, a L.hs that gets auto-loaded? |
| 2022-08-31 09:53:30 +0200 | slac66106 | (~slack1256@191.126.99.94) (Ping timeout: 244 seconds) |
| 2022-08-31 09:53:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 09:54:03 +0200 | razetime | (~quassel@117.254.35.85) |
| 2022-08-31 09:54:43 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-08-31 09:55:47 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-08-31 09:56:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 09:57:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 09:58:11 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-31 10:02:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 10:03:22 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Ping timeout: 268 seconds) |
| 2022-08-31 10:05:16 +0200 | <c_wraith> | L.hs is modified when someone uses @define |
| 2022-08-31 10:05:31 +0200 | <c_wraith> | the base is Pristine.hs |
| 2022-08-31 10:07:24 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-31 10:08:08 +0200 | jespada | (~jespada@194.73.88.114) |
| 2022-08-31 10:08:28 +0200 | <dminuoso> | @define {-# LANGUAGE NoPolyKinds #-} |
| 2022-08-31 10:08:29 +0200 | <lambdabot> | Defined. |
| 2022-08-31 10:08:38 +0200 | <dminuoso> | @define {-# LANGUAGE NoDataKinds #-} |
| 2022-08-31 10:08:39 +0200 | <lambdabot> | Defined. |
| 2022-08-31 10:08:43 +0200 | <dminuoso> | :k "foo" |
| 2022-08-31 10:08:44 +0200 | <lambdabot> | Symbol |
| 2022-08-31 10:09:36 +0200 | jespada | (~jespada@194.73.88.114) (Read error: Connection reset by peer) |
| 2022-08-31 10:12:43 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 10:16:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-31 10:19:19 +0200 | jespada | (~jespada@89.238.176.168) |
| 2022-08-31 10:20:14 +0200 | Ailrk | (~Ailrk@2604:3d08:9578:cd70:642:1aff:fe0a:2504) (Ping timeout: 252 seconds) |
| 2022-08-31 10:20:33 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-08-31 10:21:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 10:22:49 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-08-31 10:24:25 +0200 | titibandit | (~titibandi@xdsl-87-78-66-58.nc.de) (Remote host closed the connection) |
| 2022-08-31 10:26:30 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-31 10:29:34 +0200 | Guest4971 | bbear |
| 2022-08-31 10:31:04 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-31 10:32:11 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-08-31 10:34:51 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-31 10:38:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 10:39:19 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-31 10:39:27 +0200 | Inst__ | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) |
| 2022-08-31 10:40:55 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-31 10:41:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 10:42:35 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-31 10:42:36 +0200 | Inst_ | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 244 seconds) |
| 2022-08-31 10:45:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 10:50:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 10:54:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 10:57:05 +0200 | <akegalj> | if I have a strict let binding "let !x = something" and I use x on multiple places within a function, with GHC am I guaranteed that x will be evaluated only once? |
| 2022-08-31 10:59:07 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-08-31 11:00:24 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-08-31 11:01:25 +0200 | <akegalj> | or that means x will be evaluated many times |
| 2022-08-31 11:02:38 +0200 | <opqdonut> | the basic rule of haskell is that a name is evaluated at most once |
| 2022-08-31 11:02:47 +0200 | <opqdonut> | strictness annotations don't change that |
| 2022-08-31 11:03:48 +0200 | <akegalj> | opqdonut: thanks! |
| 2022-08-31 11:03:50 +0200 | frost | (~frost@user/frost) |
| 2022-08-31 11:04:02 +0200 | braf | (~braf@58.84.143.92) (Quit: Client closed) |
| 2022-08-31 11:07:28 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 11:07:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 11:09:20 +0200 | <merijn> | It depends on how strong you want your guarantees, tbh :p |
| 2022-08-31 11:11:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-31 11:12:52 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-31 11:20:38 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) |
| 2022-08-31 11:24:27 +0200 | king_gs | (~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) (Quit: king_gs) |
| 2022-08-31 11:25:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 11:26:47 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-31 11:28:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-31 11:29:45 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-31 11:30:01 +0200 | <dminuoso> | opqdonut: *the basic rule of GHC |
| 2022-08-31 11:30:27 +0200 | <dminuoso> | I know this is a bit of nitpicking, but its only a mild guarantee that GHC gives |
| 2022-08-31 11:30:57 +0200 | <dminuoso> | It is a bit curious that we do not have an explicit sharing control |
| 2022-08-31 11:31:49 +0200 | <dminuoso> | Im not even sure how well this assertion holds in reality, given that GHC can just inline a definition anyway. |
| 2022-08-31 11:33:14 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-31 11:33:40 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-31 11:34:50 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-31 11:35:02 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-67-162.hive.is) (WeeChat 3.0) |
| 2022-08-31 11:35:17 +0200 | <opqdonut> | dminuoso: I know the semantics of haskell are a bit ill-defined but https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-440003.12 seems to support my claim |
| 2022-08-31 11:36:06 +0200 | <merijn> | opqdonut: Eh, sharing is intentionally not part of Haskell's semantics |
| 2022-08-31 11:36:15 +0200 | <merijn> | So I disagree the semantics are "ill-defined" here |
| 2022-08-31 11:36:29 +0200 | <opqdonut> | yeah sorry, "under-defined" |
| 2022-08-31 11:36:41 +0200 | <dminuoso> | opqdonut: Which portion are you referring to in particular? |
| 2022-08-31 11:36:45 +0200 | <merijn> | I would take issue witht that too |
| 2022-08-31 11:36:46 +0200 | <merijn> | :p |
| 2022-08-31 11:37:29 +0200 | <opqdonut> | dminuoso: the translation of a single let to case, but now that I think about it I guess I was thinking about GHC's case which drives evaluation |
| 2022-08-31 11:37:40 +0200 | <opqdonut> | maybe the case doesn't mean anything here |
| 2022-08-31 11:38:21 +0200 | <merijn> | opqdonut: definitions might be floated out or duplicated into sub-expressions |
| 2022-08-31 11:38:37 +0200 | <merijn> | opqdonut: Let's rewind and ask: Why do you care 'x' will only be evaluated once? |
| 2022-08-31 11:38:42 +0200 | <dminuoso> | That doesnt really mean anything. In fact, GHC will aggressively transform case-of via different simplifier passes to enable inlining |
| 2022-08-31 11:39:27 +0200 | <dminuoso> | I guess if you want to ensure you get sharing, you have to put a `{-# NOINLINE ... #-}` at it |
| 2022-08-31 11:39:56 +0200 | <dminuoso> | Recall, you need to do this for global iorefs for precisely the same reason too |
| 2022-08-31 11:40:42 +0200 | <dminuoso> | i.e.: {-# NOINLINE foo #-} foo :: IORef Int; foo = unsafePerformIO (newIORef 0) |
| 2022-08-31 11:41:13 +0200 | <dminuoso> | (The fact that it has a name is not enough of a guarantee that GHC wont inline it) |
| 2022-08-31 11:42:09 +0200 | <merijn> | In reality, GHC's guarantees are "good enough" for when you're not doing stupid things. And there's no way to get the guarantees you need to safe you if you *are* doing stupid things :p |
| 2022-08-31 11:42:16 +0200 | <dminuoso> | opqdonut: In particular, consider case-of-case which can duplicate case branches. |
| 2022-08-31 11:42:57 +0200 | <dminuoso> | Which in turn allows for let-floating, which again can enable further inlining |
| 2022-08-31 11:45:37 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2022-08-31 11:46:00 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 11:46:21 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2022-08-31 11:47:04 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-08-31 11:47:43 +0200 | <opqdonut> | merijn: right, yeah |
| 2022-08-31 11:48:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 11:48:19 +0200 | <merijn> | opqdonut: In *principle* anything with a name will be evaluated (at most) once |
| 2022-08-31 11:48:32 +0200 | <opqdonut> | yeah that's what I want to tell students |
| 2022-08-31 11:48:35 +0200 | <merijn> | In reality there's a billion complicated interactions in the optimiser that *may* invalidate that |
| 2022-08-31 11:48:53 +0200 | <merijn> | But as a first approximation "at most once" is good enough unless people mess with unsafeX |
| 2022-08-31 11:48:54 +0200 | <opqdonut> | dminuoso: you mean transforming a single big case into nested case-case? |
| 2022-08-31 11:49:41 +0200 | <merijn> | opqdonut: i.e. GHC will only duplicate expressions where heuristics predicts it's cheaper to compute them multiple times than share, so for big computations that's unlikely to happen |
| 2022-08-31 11:50:51 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-31 11:53:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 11:55:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-08-31 11:59:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 11:59:16 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-31 11:59:55 +0200 | razetime | (~quassel@117.254.35.85) (Ping timeout: 268 seconds) |
| 2022-08-31 12:00:19 +0200 | razetime | (~quassel@117.254.35.85) |
| 2022-08-31 12:01:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 12:02:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 12:06:07 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 12:09:57 +0200 | sterni | (~lukas@user/sterni) |
| 2022-08-31 12:12:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 12:13:16 +0200 | even4void[m] | (~even4void@2001:470:69fc:105::2:4b9c) () |
| 2022-08-31 12:20:44 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2022-08-31 12:20:47 +0200 | <Axman6> | akegalj: evaluating something generally means replacing what its name points to with its value |
| 2022-08-31 12:21:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-31 12:24:31 +0200 | <akegalj> | Axman6: yes, thats clear. I was just curious if there are some edge cases where it might not be the case. Like the example with NOINLINING where some transformations might bi skipped and which in turn could change the bahaviour. The discussion above was very educational to me, so thanks all for time invested! |
| 2022-08-31 12:25:27 +0200 | <akegalj> | (I said it wrong with NOINLINING above) |
| 2022-08-31 12:27:06 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-31 12:27:07 +0200 | <akegalj> | What I wanted to say is that if I somehow force very aggresive INLINING (and possibly skip other optimizations) that I might end with some term being evaluated many times in GHC. That is the intition I got from discussion above |
| 2022-08-31 12:27:47 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 2022-08-31 12:30:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 12:31:59 +0200 | akegalj | (~akegalj@109.60.126.91) (Ping timeout: 268 seconds) |
| 2022-08-31 12:33:09 +0200 | bbear | (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (Ping timeout: 244 seconds) |
| 2022-08-31 12:36:53 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-31 12:38:48 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-08-31 12:39:55 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-31 12:40:51 +0200 | akegalj | (~akegalj@141-136-145-110.dsl.iskon.hr) |
| 2022-08-31 12:40:51 +0200 | akegalj | (~akegalj@141-136-145-110.dsl.iskon.hr) (Client Quit) |
| 2022-08-31 12:41:48 +0200 | akegalj | (~akegalj@141-136-145-110.dsl.iskon.hr) |
| 2022-08-31 12:46:23 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2022-08-31 12:46:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 12:50:38 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-31 12:51:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-31 12:54:34 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 12:55:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 12:56:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-31 12:57:02 +0200 | dcoutts_ | dcoutts |
| 2022-08-31 12:57:12 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) |
| 2022-08-31 12:57:47 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) (Remote host closed the connection) |
| 2022-08-31 12:59:19 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-31 13:00:23 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 13:05:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 13:09:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 13:11:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1e7f:d8b4:4969:4ebb) |
| 2022-08-31 13:14:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-08-31 13:19:23 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-31 13:22:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 13:34:54 +0200 | jespada | (~jespada@89.238.176.168) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-31 13:37:06 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2022-08-31 13:37:36 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-08-31 13:39:15 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-31 13:49:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 13:50:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 13:50:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-31 13:53:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-31 13:55:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 13:56:56 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-31 14:01:01 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 260 seconds) |
| 2022-08-31 14:02:22 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-08-31 14:03:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 14:07:17 +0200 | ETECbelem | (~ETECbelem@2804:214:861b:5270:d9bd:4c36:7f92:a57c) |
| 2022-08-31 14:07:27 +0200 | <ETECbelem> | hi |
| 2022-08-31 14:07:30 +0200 | <ETECbelem> | bom dia |
| 2022-08-31 14:07:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 14:10:32 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-31 14:19:23 +0200 | jespada | (~jespada@185.195.232.155) |
| 2022-08-31 14:22:47 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 14:24:04 +0200 | <akegalj> | Why is Int defined as `data Int = I# Int#`? If Int is defined as `type Int = #Int` or `newtype Int = Int #Int`, and then implemented all instances on that newtype or type, wouldn't that avoid extra pointer indirection that we get now with `data Int = I# Int#`? Wouldn't that avoid extra boxing/unboxing and thus be faster? What is the benefit of adding this pointer indirection? |
| 2022-08-31 14:24:59 +0200 | <dminuoso> | akegalj: It's to faciliate lazyness |
| 2022-08-31 14:25:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 14:25:24 +0200 | <dminuoso> | Also being unboxed can be very annoying in various places |
| 2022-08-31 14:25:35 +0200 | <dminuoso> | :k Int# |
| 2022-08-31 14:25:36 +0200 | <lambdabot> | error: |
| 2022-08-31 14:25:36 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Int#’ |
| 2022-08-31 14:25:36 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2022-08-31 14:25:37 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) |
| 2022-08-31 14:25:47 +0200 | <dminuoso> | @let import GHC.Int |
| 2022-08-31 14:25:48 +0200 | <lambdabot> | Defined. |
| 2022-08-31 14:25:50 +0200 | <dminuoso> | :k Int# |
| 2022-08-31 14:25:51 +0200 | <lambdabot> | error: |
| 2022-08-31 14:25:51 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Int#’ |
| 2022-08-31 14:25:51 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2022-08-31 14:26:01 +0200 | <dminuoso> | @let import GHC.Exts |
| 2022-08-31 14:26:02 +0200 | <kuribas> | akegalj: we want Int to be lazy. |
| 2022-08-31 14:26:02 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:132:1: error: |
| 2022-08-31 14:26:02 +0200 | <lambdabot> | GHC.Exts: Can't be safely imported! The module itself isn't safe. |
| 2022-08-31 14:26:02 +0200 | <lambdabot> | | |
| 2022-08-31 14:26:28 +0200 | <dminuoso> | akegalj: If it was unboxed, you couldnt use it in most places. |
| 2022-08-31 14:26:41 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-31 14:26:53 +0200 | <dminuoso> | Say `Maybe Int#` wouldn't be allowed |
| 2022-08-31 14:26:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-31 14:27:08 +0200 | <akegalj> | dminuoso: because it has different kind, right ? |
| 2022-08-31 14:27:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 14:27:31 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-31 14:27:40 +0200 | <dminuoso> | Right |
| 2022-08-31 14:28:04 +0200 | <kuribas> | @kind Int# |
| 2022-08-31 14:28:05 +0200 | <lambdabot> | error: |
| 2022-08-31 14:28:05 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Int#’ |
| 2022-08-31 14:28:05 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2022-08-31 14:28:28 +0200 | <dminuoso> | akegalj: though, strictly speaking its not about being boxed or unboxed, but about lifted/unlifted. |
| 2022-08-31 14:28:42 +0200 | <akegalj> | :k Int# -> Int# :: TYPE 'IntRep |
| 2022-08-31 14:28:43 +0200 | <lambdabot> | error: |
| 2022-08-31 14:28:43 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Int#’ |
| 2022-08-31 14:28:43 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2022-08-31 14:29:13 +0200 | <dminuoso> | (This differentiation is, for the most part, moot. But there exist a few types that are boxed but unlifted.) |
| 2022-08-31 14:31:10 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-08-31 14:31:28 +0200 | <akegalj> | dminuoso: my understanding is that lifted types can have bottom (like error/undefined), and undefined can't have bottom. So what you are saying is that unboxed type like Int# can't have bottom/error , right? So we couldn't define something like [Int#] ? |
| 2022-08-31 14:32:15 +0200 | <akegalj> | "and Int# can't have bottom"* |
| 2022-08-31 14:32:31 +0200 | <dminuoso> | Right. But the reason we cant have [Int#] is merely its kindness |
| 2022-08-31 14:32:33 +0200 | <dminuoso> | % :k [] |
| 2022-08-31 14:32:33 +0200 | <yahb2> | [] :: * -> * |
| 2022-08-31 14:32:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-31 14:33:03 +0200 | <dminuoso> | Note that `*` is just `Type`, and `type Type = TYPE LiftedRep` |
| 2022-08-31 14:33:11 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-08-31 14:33:17 +0200 | <dminuoso> | There's no deeper reason than "the type system does not allow for it" |
| 2022-08-31 14:35:18 +0200 | <akegalj> | dminuoso: regarding rts, if we are operating on bindings/values of unlifted types like Int#, does that mean I can reason about them that no thunk will be created. so `let k = 1::Int# +# 2::Int#` will be evaluated strictly, right? |
| 2022-08-31 14:35:51 +0200 | <akegalj> | and no thunk will be created for `+#` function |
| 2022-08-31 14:36:14 +0200 | <dminuoso> | Strictly speaking thunks are not created by functions, but by application rather |
| 2022-08-31 14:36:29 +0200 | <dminuoso> | At any rate |
| 2022-08-31 14:36:30 +0200 | <geekosaur> | there's nowhere to put a thunk since it's a direct value, not a pointer |
| 2022-08-31 14:37:41 +0200 | <akegalj> | dminuoso: then, `let f x = (+#) 1::Int# in k 2::Int#` ; no thunk will be created for f? |
| 2022-08-31 14:37:53 +0200 | <dminuoso> | akegalj: In principle we could imagine [] being polymorphic and accepting unboxed/unlifted types too I guess. |
| 2022-08-31 14:38:20 +0200 | <dminuoso> | But its not, and because its not GHC has no support for this kind of levity polymorphism here |
| 2022-08-31 14:38:35 +0200 | <dminuoso> | akegalj: thunks are created by *application* |
| 2022-08-31 14:38:39 +0200 | <dminuoso> | not by *definition* |
| 2022-08-31 14:38:56 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 14:39:41 +0200 | <akegalj> | dminuoso: maybe stuppid question, but what is application here? |
| 2022-08-31 14:39:47 +0200 | <akegalj> | can you give me an example |
| 2022-08-31 14:39:59 +0200 | <dminuoso> | akegalj: Application is when you apply a function to an argument. |
| 2022-08-31 14:40:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 14:40:38 +0200 | <akegalj> | dminuoso: right, so in the example above where we apply 2::Int# to `k` , that is application and thunk is created |
| 2022-08-31 14:41:04 +0200 | <dminuoso> | Well no, no thunk is created *there* because its all unboxed |
| 2022-08-31 14:42:51 +0200 | <dminuoso> | If the application returns an unboxed (well unlifted, really) value, its all strict and no thunks get generated |
| 2022-08-31 14:42:52 +0200 | <akegalj> | dminuoso: so when we have unboxed values, ghc will imediatelly evaluate on function application |
| 2022-08-31 14:42:57 +0200 | <dminuoso> | No |
| 2022-08-31 14:43:06 +0200 | <dminuoso> | Im not sure whether GHC does any constant folding |
| 2022-08-31 14:43:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-31 14:43:24 +0200 | <dminuoso> | Or rather, if it could do constant folding it would try and do this for boxed just as easily. |
| 2022-08-31 14:43:41 +0200 | <dminuoso> | You can think of this as compiling into a simple `add` instruction with two immediates. |
| 2022-08-31 14:43:58 +0200 | <dminuoso> | With some luck LLVM/GHC/Clang that gets executed afterwards will constant fold that away. |
| 2022-08-31 14:44:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-31 14:46:23 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-31 14:46:25 +0200 | <dminuoso> | akegalj: Ah actually GHC has a constant folding core pass for IntAddOp! |
| 2022-08-31 14:46:30 +0200 | <dminuoso> | So it will actually constant fold this operation away |
| 2022-08-31 14:46:52 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 14:47:41 +0200 | <akegalj> | dminuoso: goes to wiki to read what constant folding unfolding is |
| 2022-08-31 14:47:49 +0200 | <dminuoso> | akegalj: So GHC will technically compile +# into a primop IntAddOp, which gets directly turned into a word add operation (so just a simple machine-specific add instruction) |
| 2022-08-31 14:48:21 +0200 | <dminuoso> | akegalj: But if both sides are immediates and known, you can compute this at compile time and turn say 3# +# 5# into just #8 |
| 2022-08-31 14:48:52 +0200 | <dminuoso> | (Or well, +# actually *IS* that primop) |
| 2022-08-31 14:49:07 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-08-31 14:50:34 +0200 | <akegalj> | dminuoso: ok, that is constant folding. But if values are uknown at compile time, then in the case of `x::Int + y::Int` it will generate code that unboxes, does the operation and then boxes again, right? |
| 2022-08-31 14:51:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-08-31 14:52:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-31 14:53:14 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-08-31 14:54:16 +0200 | toeffel_ | (~toeffel@user/toeffel) |
| 2022-08-31 14:54:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-31 14:55:44 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) (Remote host closed the connection) |
| 2022-08-31 14:55:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 14:55:58 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) |
| 2022-08-31 14:56:17 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-08-31 14:58:09 +0200 | <akegalj> | dminuoso: anyway, thanks for the info - I have a better understanding now |
| 2022-08-31 14:59:07 +0200 | <dminuoso> | akegalj: unboxing is not an operation. |
| 2022-08-31 14:59:51 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-31 14:59:58 +0200 | <dminuoso> | akegalj: It's, at best, just a simple c-style function |
| 2022-08-31 15:00:08 +0200 | <dminuoso> | Some value goes in, computation, value comes up |
| 2022-08-31 15:00:30 +0200 | <dminuoso> | But it can, potentially, be less than a function - if it doesnt depend on some parametrizsed value for example |
| 2022-08-31 15:01:47 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-31 15:02:02 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-31 15:06:52 +0200 | sterni | (~lukas@user/sterni) (WeeChat 3.6) |
| 2022-08-31 15:08:02 +0200 | <akegalj> | got it |
| 2022-08-31 15:08:48 +0200 | ETECbelem | (~ETECbelem@2804:214:861b:5270:d9bd:4c36:7f92:a57c) (Ping timeout: 252 seconds) |
| 2022-08-31 15:11:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 15:11:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-31 15:12:03 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-08-31 15:12:11 +0200 | dsrt^ | (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2022-08-31 15:14:33 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 15:14:58 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-31 15:15:18 +0200 | toeffel_ | (~toeffel@user/toeffel) (Ping timeout: 240 seconds) |
| 2022-08-31 15:15:46 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) (Ping timeout: 252 seconds) |
| 2022-08-31 15:15:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-08-31 15:17:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 15:18:14 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-31 15:19:14 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-31 15:19:23 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-31 15:21:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 15:26:50 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-31 15:28:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 15:31:05 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-08-31 15:31:10 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-08-31 15:31:20 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 15:32:52 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-31 15:36:34 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 244 seconds) |
| 2022-08-31 15:51:51 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-08-31 15:51:51 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-08-31 15:53:28 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-31 15:56:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-31 15:57:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-31 16:02:23 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-31 16:04:39 +0200 | coot | (~coot@213.134.176.158) (Remote host closed the connection) |
| 2022-08-31 16:04:49 +0200 | ezzieygu1wuf | ezzieyguywuf |
| 2022-08-31 16:05:03 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-31 16:06:52 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 16:08:43 +0200 | slack1256 | (~slack1256@186.11.99.53) |
| 2022-08-31 16:10:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 16:10:55 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) |
| 2022-08-31 16:15:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-08-31 16:15:52 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 16:19:34 +0200 | yvan-sraka | (~yvan-srak@37.171.44.215) (Ping timeout: 252 seconds) |
| 2022-08-31 16:19:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-31 16:20:13 +0200 | califax | (~califax@user/califx) |
| 2022-08-31 16:32:24 +0200 | slac77182 | (~slack1256@191.125.99.70) |
| 2022-08-31 16:34:33 +0200 | slack1256 | (~slack1256@186.11.99.53) (Ping timeout: 252 seconds) |
| 2022-08-31 16:34:57 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 268 seconds) |
| 2022-08-31 16:35:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 16:38:20 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-08-31 16:38:39 +0200 | ardell | (~ardell@user/ardell) |
| 2022-08-31 16:39:16 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-08-31 16:43:35 +0200 | jespada | (~jespada@185.195.232.155) (Ping timeout: 268 seconds) |
| 2022-08-31 16:44:20 +0200 | <ardell> | oh no, not again |
| 2022-08-31 16:44:37 +0200 | <ardell> | just when I looked into hpack (with stack) there is ghcup |
| 2022-08-31 16:44:55 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-31 16:45:21 +0200 | <ardell> | how widespread is ghcup? I just found out about this because of the haskell-language-server promoting it. |
| 2022-08-31 16:45:45 +0200 | jespada | (~jespada@194.73.88.114) |
| 2022-08-31 16:45:56 +0200 | <geekosaur> | it's become the primary recommended way of installing ghc / stack / cabal |
| 2022-08-31 16:46:59 +0200 | <ardell> | since when? I missed this completely |
| 2022-08-31 16:47:26 +0200 | <geekosaur> | a year or so? |
| 2022-08-31 16:47:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 16:52:00 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 16:52:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-31 16:52:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:390c:d915:a3eb:2597) (Quit: WeeChat 2.8) |
| 2022-08-31 16:54:50 +0200 | slac77182 | (~slack1256@191.125.99.70) (Remote host closed the connection) |
| 2022-08-31 17:02:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 17:03:38 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6) |
| 2022-08-31 17:04:56 +0200 | razetime | (~quassel@117.254.35.85) (Remote host closed the connection) |
| 2022-08-31 17:06:04 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-31 17:09:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 17:13:45 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-077.ewe-ip-backbone.de) |
| 2022-08-31 17:13:57 +0200 | mncheck | (~mncheck@193.224.205.254) (Quit: Leaving) |
| 2022-08-31 17:20:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 17:20:23 +0200 | jespada | (~jespada@194.73.88.114) (Ping timeout: 252 seconds) |
| 2022-08-31 17:23:14 +0200 | jespada | (~jespada@185.248.85.40) |
| 2022-08-31 17:23:16 +0200 | akegalj | (~akegalj@141-136-145-110.dsl.iskon.hr) (Quit: leaving) |
| 2022-08-31 17:25:35 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-08-31 17:27:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-08-31 17:28:03 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-31 17:29:39 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-31 17:29:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-31 17:30:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-31 17:31:28 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-08-31 17:32:09 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-08-31 17:33:56 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-08-31 17:34:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 17:36:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-31 17:36:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-31 17:37:07 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-31 17:37:15 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-31 17:37:57 +0200 | <segfaultfizzbuzz> | ok so i added brick to a toy project (freshly created stack project ) and am getting a build failure, and some forum post said that this is m1/macos incompatibility from an older version of ghc. i am looking at the documentation here https://docs.haskellstack.org/en/stable/faq/ |
| 2022-08-31 17:38:44 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-31 17:38:45 +0200 | <segfaultfizzbuzz> | but it doesn't actually explicitly say how to set the ghc version number... i kinda think that i might specify resolver: ghc-###### in the stack.yaml? |
| 2022-08-31 17:39:01 +0200 | <merijn> | segfaultfizzbuzz: That's because resolvers control ghc version |
| 2022-08-31 17:39:22 +0200 | <geekosaur> | or select a resoolver based around the ghc version you want, which you can get from stackage.org |
| 2022-08-31 17:41:52 +0200 | <segfaultfizzbuzz> | ok so i put resolver: nightly-2022-08-30 in the stack.yaml but it didn't seem to download a new ghc. i then ran stack clean and still no impact |
| 2022-08-31 17:44:11 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:8a8:aba4:ac00:def5) |
| 2022-08-31 17:46:49 +0200 | <pareto-optimal-d> | What's the output of `stack config`? |
| 2022-08-31 17:47:05 +0200 | <segfaultfizzbuzz> | missing: COMMAND lol |
| 2022-08-31 17:47:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 17:48:21 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-08-31 17:48:21 +0200 | jinsun | Guest376 |
| 2022-08-31 17:48:21 +0200 | jinsun__ | jinsun |
| 2022-08-31 17:48:39 +0200 | <pareto-optimal-d> | Actually show output for `stack ls snapshots -n` |
| 2022-08-31 17:49:20 +0200 | <segfaultfizzbuzz> | that shows nothing, it just says (END) |
| 2022-08-31 17:49:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-31 17:49:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-31 17:49:59 +0200 | <pareto-optimal-d> | And then also `stack config get install-ghc` |
| 2022-08-31 17:50:26 +0200 | <pareto-optimal-d> | segfaultfizzbuzz: So no nightly was installed |
| 2022-08-31 17:50:37 +0200 | <segfaultfizzbuzz> | invalid argument 'get' |
| 2022-08-31 17:50:53 +0200 | <geekosaur> | what version of stack is this? |
| 2022-08-31 17:50:55 +0200 | Guest376 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-08-31 17:51:09 +0200 | <segfaultfizzbuzz> | Version 2.7.5, Git revision 717ec96c15520748f3fcee00f72504ddccaa30b5 (dirty) (163 commits) aarch64 |
| 2022-08-31 17:51:23 +0200 | MoC | (~moc@user/moc) |
| 2022-08-31 17:51:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-08-31 17:51:31 +0200 | <pareto-optimal-d> | <segfaultfizzbuzz> "ok so i put resolver: nightly-20..." <- Did you run `stack build` or `stack setup`? |
| 2022-08-31 17:51:43 +0200 | <segfaultfizzbuzz> | i ran stack build,... ok didn't realize there was another command, i'll try that |
| 2022-08-31 17:52:12 +0200 | <segfaultfizzbuzz> | stack setup seemed to do nothing, didn't show me a download prompt... says "stack will use a sandboxed GHC it installed" |
| 2022-08-31 17:52:17 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-31 17:54:14 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-31 17:56:12 +0200 | <pareto-optimal-d> | segfaultfizzbuzz: stack config set resolver nightly-2022-08-30 |
| 2022-08-31 17:56:26 +0200 | <pareto-optimal-d> | Then try stack setup again |
| 2022-08-31 17:57:16 +0200 | <pareto-optimal-d> | Make sure stack.yaml only has one resolver line after first though |
| 2022-08-31 17:58:00 +0200 | <segfaultfizzbuzz> | failed to compile a sanity check |
| 2022-08-31 17:58:16 +0200 | <Zemyla> | > 3 % 1 |
| 2022-08-31 17:58:17 +0200 | <lambdabot> | 3 % 1 |
| 2022-08-31 17:58:19 +0200 | <segfaultfizzbuzz> | and then running stack build on my project failed |
| 2022-08-31 18:03:05 +0200 | <segfaultfizzbuzz> | so,... maybe trying to get this stuff working on an m1 is just foolishly chasing the bleeding edge |
| 2022-08-31 18:03:08 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-08-31 18:03:43 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-08-31 18:04:07 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-31 18:04:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 18:04:57 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 18:07:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-31 18:07:14 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Ping timeout: 255 seconds) |
| 2022-08-31 18:09:53 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-08-31 18:10:20 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-08-31 18:11:42 +0200 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-08-31 18:12:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-31 18:16:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-31 18:17:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-31 18:17:45 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 18:18:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 18:18:30 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-08-31 18:19:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-08-31 18:21:36 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-31 18:22:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 18:23:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-31 18:23:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-31 18:25:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 18:26:03 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-31 18:26:12 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-08-31 18:26:33 +0200 | benin0 | (~benin@117.207.69.221) |
| 2022-08-31 18:28:39 +0200 | jespada | (~jespada@185.248.85.40) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-31 18:30:10 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 244 seconds) |
| 2022-08-31 18:30:57 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-08-31 18:31:31 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Ping timeout: 248 seconds) |
| 2022-08-31 18:31:53 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-31 18:31:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 18:32:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-31 18:34:27 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 2022-08-31 18:35:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-31 18:36:29 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
| 2022-08-31 18:36:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 18:38:29 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-31 18:39:14 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-31 18:43:37 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-31 18:44:49 +0200 | mncheckm | (~mncheck@193.224.205.254) (Quit: Leaving) |
| 2022-08-31 18:46:06 +0200 | Guest|23 | (~Guest|23@171.23.6.112) |
| 2022-08-31 18:46:40 +0200 | Guest|23 | (~Guest|23@171.23.6.112) (Client Quit) |
| 2022-08-31 18:51:04 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2022-08-31 18:53:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-31 18:59:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-31 18:59:57 +0200 | <segfaultfizzbuzz> | so, should i give up on stack or,...? |
| 2022-08-31 19:02:22 +0200 | econo | (uid147250@user/econo) |
| 2022-08-31 19:03:09 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 19:06:02 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-31 19:06:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-31 19:08:56 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-31 19:09:36 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-31 19:09:47 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-08-31 19:09:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-31 19:10:06 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 19:13:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 19:16:05 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 19:16:07 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-31 19:17:06 +0200 | mbuf | (~Shakthi@49.204.120.6) (Quit: Leaving) |
| 2022-08-31 19:17:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-31 19:18:05 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-31 19:21:27 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-31 19:24:32 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-08-31 19:25:31 +0200 | cheater1__ | (~Username@user/cheater) |
| 2022-08-31 19:26:05 +0200 | ardell | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-31 19:26:34 +0200 | cheater1__ | cheater |
| 2022-08-31 19:27:08 +0200 | <dolio> | Were you using something else before? |
| 2022-08-31 19:30:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-31 19:32:08 +0200 | beteigeuze | (~Thunderbi@p4fdbfdd5.dip0.t-ipconnect.de) |
| 2022-08-31 19:32:44 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-08-31 19:32:52 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-31 19:33:07 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-31 19:35:54 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 19:37:29 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds) |
| 2022-08-31 19:37:41 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-31 19:45:02 +0200 | <dsal> | segfaultfizzbuzz: What's going on? I have always found stack to be the easy path. |
| 2022-08-31 19:45:48 +0200 | <monochrom> | I guess that's segfaultfizzbuzz's question too. :) |
| 2022-08-31 19:46:02 +0200 | Alex_test_ | Alex_test |
| 2022-08-31 19:46:07 +0200 | <dsal> | Oh, but yeah, if you're going to try to build old stuff on new hardware, that might be an issue. |
| 2022-08-31 19:46:12 +0200 | mniip | (mniip@libera/staff/mniip) |
| 2022-08-31 19:46:28 +0200 | <dsal> | I've just been running LTS for a while, occasionally bumping it when I'm paying attention to a project. |
| 2022-08-31 19:46:52 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-08-31 19:46:52 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-08-31 19:46:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-08-31 19:47:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-08-31 19:47:44 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-31 19:47:54 +0200 | <segfaultfizzbuzz> | i'm just trying to use brick, all i did was add it to a new stack project and everything is failing |
| 2022-08-31 19:48:00 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-31 19:48:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-08-31 19:48:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-08-31 19:48:29 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2022-08-31 19:48:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-08-31 19:49:00 +0200 | <dsal> | Is your project shared somewhere? |
| 2022-08-31 19:49:56 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-08-31 19:50:55 +0200 | <segfaultfizzbuzz> | there's kinda no point, it's just stack new and then add - brick to the dependencies |
| 2022-08-31 19:56:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-31 19:56:39 +0200 | califax | (~califax@user/califx) |
| 2022-08-31 19:56:58 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 244 seconds) |
| 2022-08-31 19:57:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-31 19:57:35 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-31 19:57:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-31 19:57:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-31 19:57:52 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-31 19:58:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-31 20:00:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-31 20:00:58 +0200 | bbear | (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) |
| 2022-08-31 20:02:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-31 20:02:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 20:02:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-31 20:03:31 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-31 20:04:17 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-31 20:04:35 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 20:04:41 +0200 | fserucas | (~fserucas@89.214.116.132) (Ping timeout: 255 seconds) |
| 2022-08-31 20:05:39 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-31 20:06:02 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2022-08-31 20:06:46 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-08-31 20:09:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-08-31 20:10:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-31 20:10:58 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-31 20:11:39 +0200 | <dsal> | Oh. Then I'll add it to one of mine. |
| 2022-08-31 20:13:58 +0200 | <segfaultfizzbuzz> | i was not using something else before,... i was fiddling in ghci and now i am trying to fiddle with a more proper project (mostly for the purpose of using dependencies) and trying to actually write some code,... |
| 2022-08-31 20:14:31 +0200 | <segfaultfizzbuzz> | i mean maybe i should just abandon brick--i think (??) it is used in the ghcup tui so i was kinda expecting it to work (the ghcup tui works on my system...) |
| 2022-08-31 20:15:22 +0200 | cheater1__ | (~Username@user/cheater) |
| 2022-08-31 20:15:39 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-31 20:15:45 +0200 | cheater1__ | cheater |
| 2022-08-31 20:16:15 +0200 | <dsal> | segfaultfizzbuzz: It worked OK for me. I timed it with this and it was about 2/3 of this track: https://www.youtube.com/watch?v=zYU75-OANxc |
| 2022-08-31 20:17:24 +0200 | <segfaultfizzbuzz> | lol |
| 2022-08-31 20:18:10 +0200 | <dsal> | This project is using resolver: lts-19.13 |
| 2022-08-31 20:18:38 +0200 | <pareto-optimal-d> | <segfaultfizzbuzz> "so, should i give up on stack or..." <- Oh.. you are on m1? Pretty sure official binaries from stack are still WIP. |
| 2022-08-31 20:18:38 +0200 | <pareto-optimal-d> | Either install stack+ghc with ghcup and configure stack to use your system installed ghc from ghcup or... |
| 2022-08-31 20:18:38 +0200 | <pareto-optimal-d> | Just use ghcup+cabal |
| 2022-08-31 20:19:48 +0200 | <dsal> | I use stack on m1. I've got projects I've never even figured out how to build without it. |
| 2022-08-31 20:20:00 +0200 | <segfaultfizzbuzz> | yeah i'm on m1. i was initially using cabal, then ghcup+cabal and i ran into some dylib error,... some forum post said to use stack to deal with a dylib error so here i am now,... |
| 2022-08-31 20:20:38 +0200 | <dsal> | I don't use ghcup. Last time I tried, it didn't work. |
| 2022-08-31 20:20:51 +0200 | <pareto-optimal-d> | Either stack released aarch64 binaries or it's working through Rosetta then I think. |
| 2022-08-31 20:20:51 +0200 | <qrpnxz> | for what i'm working on, i have to pull `extra-deps` a lot, but stack tells me what to put in there, so no issue for the most part |
| 2022-08-31 20:20:55 +0200 | <dsal> | I've been doing the same stuff that seems super easy and occasionally try the better things people suggest and I just can't make them work. heh |
| 2022-08-31 20:21:04 +0200 | <dsal> | I do not use rosetta. |
| 2022-08-31 20:21:11 +0200 | <qrpnxz> | i use resolver: ghc-9.0.2 |
| 2022-08-31 20:22:06 +0200 | <pareto-optimal-d> | Huh... on m1 *only* ghcup and cabal on ghc9.0.2 have given me 0 problems |
| 2022-08-31 20:22:37 +0200 | <segfaultfizzbuzz> | oh interesting, i hadn't used ghcup+cabal+ghc9.0.2 i think |
| 2022-08-31 20:22:39 +0200 | <dsal> | There were KIs last time I tried moving to ghcup. They're probably fixed by now. |
| 2022-08-31 20:23:04 +0200 | <qrpnxz> | stack is merely working on top of the cabal file, so i can always just nuke the stack.yaml and manage the compiler and such myself |
| 2022-08-31 20:23:35 +0200 | <pareto-optimal-d> | segfaultfizzbuzz: I can help most with that, though I hear 9.2 has even more aarch64 fixes |
| 2022-08-31 20:23:44 +0200 | <dsal> | qrpnxz: I don't have a cabal file checked in for this project, but cabal will not build it: https://github.com/dustin/s3up |
| 2022-08-31 20:25:11 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-31 20:25:28 +0200 | <segfaultfizzbuzz> | wow i just excteed a rate limit on github, that is lame :-/ |
| 2022-08-31 20:25:45 +0200 | <dsal> | Hubbin too hard. |
| 2022-08-31 20:26:43 +0200 | <pareto-optimal-d> | segfaultfizzbuzz: You can set a github api token |
| 2022-08-31 20:27:00 +0200 | <qrpnxz> | dsal: i don't see a cabal file there? |
| 2022-08-31 20:27:13 +0200 | <qrpnxz> | oh, your "but" confused me |
| 2022-08-31 20:27:30 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-31 20:27:50 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-08-31 20:28:47 +0200 | <monochrom> | My impression is that stack doesn't need foo.cabal, just needs its own one or two yml files. It shows because stack users use hpack to output foo.cabal as an afterthought before uploading to hackage. And it shows because version bounds are left open. |
| 2022-08-31 20:29:46 +0200 | <sclv> | stack can work with a cabal file or an hpack yaml file. it just autotranslates the latter to the former as part of its pipeline. |
| 2022-08-31 20:29:56 +0200 | <monochrom> | Yeah. |
| 2022-08-31 20:30:19 +0200 | <dsal> | qrpnxz: It generates one when you run stack. I just didn't check it in in this project. Partially because it won't build with cabal. |
| 2022-08-31 20:30:26 +0200 | <segfaultfizzbuzz> | ok well moving to ghc 9.0.2 with stack has stack complaining about extra-deps now, which is perhaps a good sign? |
| 2022-08-31 20:32:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 20:32:15 +0200 | <qrpnxz> | i mean, that's what i was saying, i use resolver: 9.0.2 and need a bunch of extra-deps xD. I'm guessing that resolver just has GHC, and not other packages? I forget what problem i had with LTS, maybe versions i didn't like. I don't understand resolvers very well, but i just filled out the extra-deps and it works for now. |
| 2022-08-31 20:32:26 +0200 | <qrpnxz> | *ghc-9.0.2 |
| 2022-08-31 20:32:31 +0200 | <segfaultfizzbuzz> | i was expecting to just add brick and have the project go but instead i am like manually running stack build over and over and it keeps asking me to manually add extra-deps |
| 2022-08-31 20:32:32 +0200 | <dsal> | Does that happen with LTS? |
| 2022-08-31 20:32:48 +0200 | <dsal> | segfaultfizzbuzz: I just stuck `brick` in deps and it worked. |
| 2022-08-31 20:32:56 +0200 | <segfaultfizzbuzz> | LTS didn't build |
| 2022-08-31 20:33:08 +0200 | <segfaultfizzbuzz> | or, it errors out complaining about a missing aarch64 header file |
| 2022-08-31 20:33:24 +0200 | <dsal> | I've not tried 19.21. Let's see… |
| 2022-08-31 20:33:44 +0200 | <pareto-optimal-d> | dsal: It's recommended by stacks creator to check in the cabal file |
| 2022-08-31 20:33:44 +0200 | <pareto-optimal-d> | https://www.fpcomplete.com/blog/storing-generated-cabal-files/ |
| 2022-08-31 20:34:10 +0200 | <pareto-optimal-d> | segfaultfizzbuzz: I'd try with just cabal on 9.0.2 |
| 2022-08-31 20:36:10 +0200 | <dsal> | pareto-optimal-d: Yeah, I have been doing that for some libraries and stuff. But this isn't a library and cabal will not build the project, so there's not much of a point. |
| 2022-08-31 20:36:48 +0200 | <sclv> | why will it not |
| 2022-08-31 20:37:21 +0200 | <dsal> | It has `amazonka >=2.0` as a requirement, but no way to satisfy that. stack can, though. |
| 2022-08-31 20:38:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2022-08-31 20:38:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-31 20:38:53 +0200 | <dsal> | I'm hoping someday amazonka 2.0 ships, but I've been hoping that long enough that I don't stop builds for it. |
| 2022-08-31 20:39:20 +0200 | benin0 | (~benin@117.207.69.221) (Ping timeout: 255 seconds) |
| 2022-08-31 20:41:06 +0200 | <segfaultfizzbuzz> | pareto-optimal-d: yeah that sounds like a good idea |
| 2022-08-31 20:44:49 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-31 20:47:34 +0200 | benin0 | (~benin@59.92.178.116) |
| 2022-08-31 20:49:21 +0200 | <segfaultfizzbuzz> | ok i used the ghcup tui to install and set ghc 9.0.2 and i created a brand new cabal project (cabal init in a new folder). cabal run on the new project worked. then i added brick to the build-depends and building errored out,... it complains about #include "ffitarget_arm64.h" |
| 2022-08-31 20:50:49 +0200 | <sclv> | dsal: wait why the heck can cabal not satisfy that? because its not on hackage? cabal.project files can point to repos just like stack files... |
| 2022-08-31 20:54:36 +0200 | jespada | (~jespada@185.195.232.175) |
| 2022-08-31 20:57:28 +0200 | <dsal> | sclv: Not sure. It *doesn't* in any case. I've never mastered cabal because it's always seemed strictly harder than using stack for me. If there's a way to get it to work (presumably stack does it somehow) then I can try it, but it seems to be uphill. |
| 2022-08-31 21:00:44 +0200 | <sclv> | dsal: well your stack.yaml has an extra-deps pointing to the repo. the equivalent is having a cabal.project file (which is the equivalent of a stack.yaml, but optional) and having a source-repository-package stanza like so https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-con… |
| 2022-08-31 21:00:45 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-08-31 21:03:38 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 21:05:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-08-31 21:06:20 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2022-08-31 21:07:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-31 21:08:05 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-08-31 21:11:30 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-31 21:12:38 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 255 seconds) |
| 2022-08-31 21:13:20 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-08-31 21:15:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-31 21:20:00 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 21:21:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 21:22:20 +0200 | <dsal> | Makes sense. I'd not heard of a cabal.project file. |
| 2022-08-31 21:22:57 +0200 | <dsal> | I'm not staying cabal isn't possible to use. Just that every time I've tried, it's been an uphill battle that only increases work I've got to do |
| 2022-08-31 21:24:04 +0200 | jcob1 | (~jcob1@216-165-95-138.natpool.nyu.edu) |
| 2022-08-31 21:25:31 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-08-31 21:26:47 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-31 21:32:53 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
| 2022-08-31 21:36:05 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-08-31 21:38:09 +0200 | kmein | (~weechat@user/kmein) |
| 2022-08-31 21:40:46 +0200 | jcob1 | (~jcob1@216-165-95-138.natpool.nyu.edu) (Quit: Client closed) |
| 2022-08-31 21:42:55 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-08-31 21:51:49 +0200 | <c_wraith> | hmm. the template Haskell staging restriction is biting me in a situation where I don't think it's appropriate. |
| 2022-08-31 21:53:08 +0200 | <c_wraith> | oh. nevermind, I see why it's triggering. |
| 2022-08-31 21:53:22 +0200 | <c_wraith> | I wish I didn't have to work around it... |
| 2022-08-31 21:53:45 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-08-31 21:54:06 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-31 21:56:31 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 21:59:50 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-08-31 22:03:16 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-08-31 22:17:10 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-31 22:17:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-31 22:24:35 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-077.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-08-31 22:25:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 22:26:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 22:30:48 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 22:31:23 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-08-31 22:39:02 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2022-08-31 22:40:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-31 22:40:32 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-31 22:40:34 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-08-31 22:45:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-31 22:45:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-31 22:46:20 +0200 | <raehik> | repeating msg because I'm pretty sure I lost connection, sry if not |
| 2022-08-31 22:46:33 +0200 | <raehik> | I have a simple enum-style sum type. I want to enumerate all the options in a list. Is there a "good" way to do this? Am I bad if I do `enumFrom @a (toEnum 0)`? |
| 2022-08-31 22:47:38 +0200 | <geekosaur> | also derive Bounded and use [minBound .. maxBound] ? |
| 2022-08-31 22:49:33 +0200 | <raehik> | heh that's nice. which makes more sense to you, or would you use? or would you list em out boring style |
| 2022-08-31 22:51:18 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-08-31 22:51:47 +0200 | <geekosaur> | I have used the one I suggested, I think it's the one best in agreement with the rules and the definitions of Enum and Bounded |
| 2022-08-31 22:53:08 +0200 | fserucas | (~fserucas@89.214.116.132) |
| 2022-08-31 22:53:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-31 22:54:11 +0200 | <raehik> | thinking about it, it certainly is clearer than enumFrom,To. will use that, thanks! |
| 2022-08-31 22:57:06 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 260 seconds) |
| 2022-08-31 22:57:30 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-31 23:01:51 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-08-31 23:03:29 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-08-31 23:05:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-31 23:13:10 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-31 23:14:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-08-31 23:17:36 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-31 23:18:38 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 255 seconds) |
| 2022-08-31 23:19:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-31 23:19:16 +0200 | beteigeuze | (~Thunderbi@p4fdbfdd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-31 23:19:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-31 23:21:20 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 255 seconds) |
| 2022-08-31 23:22:09 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-31 23:22:35 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-31 23:26:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-31 23:28:26 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-08-31 23:33:10 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-31 23:34:37 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-31 23:39:31 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-31 23:44:50 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 268 seconds) |
