Logs on 2022-02-11 (liberachat/#haskell)
| 00:00:02 | → | yauhsien_ joins (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) |
| 00:00:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:00:13 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:00:15 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 00:00:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:00:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:00:44 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 00:00:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:00:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:01:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:01:18 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:01:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:01:39 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:01:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:02:01 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:02:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:02:22 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:02:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:02:43 | → | chenqisu1 joins (~chenqisu1@183.217.200.249) |
| 00:02:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:03:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:03:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:03:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:03:32 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:03:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:03:57 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:04:13 | × | yauhsien_ quits (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 00:08:05 | → | Inst joins (~delicacie@2603:3017:80:0:e0f0:ede7:d35a:3a22) |
| 00:08:41 | × | mvk quits (~mvk@2607:fea8:5cdc:bf00::f276) (Ping timeout: 245 seconds) |
| 00:09:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 00:10:33 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 276 seconds) |
| 00:10:53 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:11:38 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 00:11:55 | × | nunggu quits (~q@user/nunggu) (Remote host closed the connection) |
| 00:12:19 | → | nunggu joins (~q@user/nunggu) |
| 00:19:16 | <Unicorn_Princess> | has anyone had any luck setting up spacemacs for haskell using lsp? |
| 00:19:32 | → | deadmarshal joins (~deadmarsh@95.38.117.65) |
| 00:24:18 | × | deadmarshal quits (~deadmarsh@95.38.117.65) (Ping timeout: 260 seconds) |
| 00:27:45 | <geekosaur> | I thought it came pre-setup |
| 00:28:29 | <Unicorn_Princess> | alas |
| 00:28:37 | × | Inst quits (~delicacie@2603:3017:80:0:e0f0:ede7:d35a:3a22) (Ping timeout: 240 seconds) |
| 00:31:38 | <Unicorn_Princess> | there is a 'haskell' layer, and a 'lsp' layer, and you can tell the haskell layer to use lsp as the completion back-end (i guess it doesn't use it as default? what about other, non-completion tasks?).. and there's also the auto-completion layer, which the haskell layer installation instructions claim is necessary for completion, but i in c++ where i have lsp working i didn't need auto-completion layer, and anyway after |
| 00:31:38 | <Unicorn_Princess> | installing hls with ghcup, something is still not working, and describe-lsp-session gives blank output |
| 00:31:50 | <Unicorn_Princess> | in general things are a mess :) |
| 00:32:31 | <Unicorn_Princess> | (and i am not remotely sure i am doing the right thing) |
| 00:33:58 | → | Inst joins (~delicacie@2603:3017:80:0:5cf3:2e04:7922:1ae5) |
| 00:34:57 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:35:53 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 00:36:10 | → | cynomys joins (~cynomys@user/cynomys) |
| 00:36:15 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 00:37:33 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:37:33 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:37:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:37:54 | → | ellie joins (~ellie@user/ellie) |
| 00:38:21 | <shapr> | Does cabal support an hpc stanza or something? How do I automate running tests with included hpc output? |
| 00:38:35 | <shapr> | cdsmith: How do you handle hpc with HMock? |
| 00:41:55 | → | yauhsien_ joins (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) |
| 00:49:10 | → | benin joins (~benin@183.82.31.24) |
| 00:50:21 | <mjrosenb> | I have an object that I derived Show and Binary instances for. Is it reasonable that show foo produces a 500 megabyte string, but encodeFile "bar" foo produces a 5.3 gigabyte file? |
| 00:54:49 | × | Katarushisu quits (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 00:55:11 | → | Katarushisu joins (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 00:55:21 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 00:55:42 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 00:55:51 | → | FragByte joins (~christian@user/fragbyte) |
| 00:57:03 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 00:57:07 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 00:57:15 | → | cheater joins (~Username@user/cheater) |
| 01:04:33 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:05:12 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 01:05:28 | <monochrom> | Depends on the type but I can see how to design a type that causes derived Binary to be huge. |
| 01:06:10 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 01:06:37 | <monochrom> | Consider the fact that if you have so much as "data X = C1 Int | C2 Int" then first of all every value incurs some bytes that derived Binary needs to tell itself whether the tag is C1 or C2. |
| 01:07:49 | × | jgeerds_ quits (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 240 seconds) |
| 01:08:02 | <monochrom> | Next thing IIRC is that even the Int part is not simply the bytes of Int. For some reason of being general, more bytes are devoted for "the length of the next field". |
| 01:08:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 01:10:16 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 01:10:22 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:30 | → | meer joins (~delicacie@2603:3017:80:0:16b:f1cd:e4c0:5b40) |
| 01:11:35 | <monochrom> | Ah nevermind but it always uses 8 bytes for Int. |
| 01:11:37 | × | emf quits (~emf@2620:10d:c090:400::5:21fc) (Ping timeout: 240 seconds) |
| 01:13:03 | × | Inst quits (~delicacie@2603:3017:80:0:5cf3:2e04:7922:1ae5) (Ping timeout: 250 seconds) |
| 01:13:08 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 01:16:20 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 01:16:29 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:16:52 | <mjrosenb> | it looks like it doesn't always use 8 bytes for Word16 or Word8 :-) |
| 01:17:14 | <mjrosenb> | that being said, it is still 1.3 gigabytes, and I don't think I'm doing anythign all that bad |
| 01:17:46 | <mjrosenb> | unless it also uses a header for newtype |
| 01:19:00 | × | cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 01:20:09 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 01:20:37 | × | ubert quits (~Thunderbi@p200300ecdf0994184cc217ea87d4c264.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:20:37 | → | emf_ joins (~emf@2620:10d:c090:400::5:83f2) |
| 01:20:55 | → | ubert joins (~Thunderbi@p200300ecdf0994102c357846a3b3453e.dip0.t-ipconnect.de) |
| 01:22:13 | → | deer joins (~delicacie@2603:3017:80:0:9cf2:41b7:8929:babb) |
| 01:22:33 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 01:22:59 | <neverwas> | Unicorn_Princess: hls appears to have made significant progress since that README.org was last updated, or at least those portions characterizing it as rough around the edges and more difficult to get going (August 2020) |
| 01:25:26 | × | meer quits (~delicacie@2603:3017:80:0:16b:f1cd:e4c0:5b40) (Ping timeout: 260 seconds) |
| 01:26:44 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 250 seconds) |
| 01:27:39 | → | abhinav joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 01:31:32 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:34:30 | <Unicorn_Princess> | neverwas, unfortunately i can't get it to work at all |
| 01:35:07 | <Unicorn_Princess> | but i have no idea which instructions to follow, so, maybe there's an easy way and i'm doing something stupid |
| 01:36:13 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 01:38:03 | × | abhinav quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 01:39:14 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 01:39:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:40:53 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 01:41:01 | × | yauhsien_ quits (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 01:42:19 | <Unicorn_Princess> | the more i try to fix it the more broken it gets. now it doesn't even recognize the file as haskell anymore ; ; |
| 01:44:39 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 01:46:21 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:46:51 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 01:51:11 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: jsdsk) |
| 01:51:13 | → | emf joins (~emf@2620:10d:c090:400::5:322c) |
| 01:52:03 | → | dajoer joins (~david@user/gvx) |
| 01:52:12 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 01:52:19 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:52:20 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:52:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:53:17 | × | emf_ quits (~emf@2620:10d:c090:400::5:83f2) (Ping timeout: 240 seconds) |
| 01:59:14 | × | deer quits (~delicacie@2603:3017:80:0:9cf2:41b7:8929:babb) (Ping timeout: 250 seconds) |
| 02:00:53 | <Unicorn_Princess> | i'll try and enable it in plain emacs tomorrow, no spacemacs. wish me luck. |
| 02:01:59 | × | alp quits (~alp@user/alp) (Ping timeout: 256 seconds) |
| 02:02:57 | → | deer joins (~delicacie@2603:3017:80:0:fc91:e6a2:3374:ab63) |
| 02:03:38 | → | meer joins (~delicacie@2603:3017:80:0:15a1:1fe2:f71:35ed) |
| 02:03:55 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 02:04:12 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 02:04:38 | × | x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 02:05:49 | × | emf quits (~emf@2620:10d:c090:400::5:322c) (Quit: emf) |
| 02:05:57 | × | xsperry quits (~xs@user/xsperry) (Remote host closed the connection) |
| 02:07:27 | × | deer quits (~delicacie@2603:3017:80:0:fc91:e6a2:3374:ab63) (Ping timeout: 250 seconds) |
| 02:08:03 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:dcda:1699:43fc:8977) |
| 02:09:17 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 02:09:17 | × | neurocyte0917090 quits (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 02:11:56 | → | califax- joins (~califax@user/califx) |
| 02:14:02 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 02:16:39 | × | califax quits (~califax@user/califx) (Ping timeout: 276 seconds) |
| 02:16:40 | califax- | is now known as califax |
| 02:17:23 | → | zincy joins (~tom@host86-160-236-152.range86-160.btcentralplus.com) |
| 02:17:46 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 02:19:06 | × | tom__ quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Ping timeout: 260 seconds) |
| 02:19:36 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 02:20:02 | → | mbuf joins (~Shakthi@117.96.201.174) |
| 02:20:25 | → | emf joins (~emf@2620:10d:c090:400::5:322c) |
| 02:20:48 | → | deer joins (~delicacie@2603:3017:80:0:457c:8cd6:204e:2f76) |
| 02:21:19 | × | meer quits (~delicacie@2603:3017:80:0:15a1:1fe2:f71:35ed) (Ping timeout: 250 seconds) |
| 02:21:51 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 02:22:11 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 250 seconds) |
| 02:23:39 | × | emf quits (~emf@2620:10d:c090:400::5:322c) (Client Quit) |
| 02:25:00 | → | emf joins (~emf@2620:10d:c090:400::5:322c) |
| 02:29:37 | × | deer quits (~delicacie@2603:3017:80:0:457c:8cd6:204e:2f76) (Ping timeout: 240 seconds) |
| 02:31:08 | × | justGhost quits (~justache@user/justache) (Remote host closed the connection) |
| 02:32:03 | × | DNH quits (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:32:07 | → | justGhost joins (~justache@user/justache) |
| 02:40:23 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 02:41:06 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 02:46:21 | → | notzmv joins (~zmv@user/notzmv) |
| 02:48:19 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:55:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 02:57:57 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 02:58:17 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 02:58:18 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 02:58:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:00:16 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 03:00:57 | × | xff0x quits (~xff0x@2001:1a81:53bc:500:d58f:5284:91ba:f00d) (Ping timeout: 240 seconds) |
| 03:03:06 | → | xff0x joins (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 03:03:22 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 03:05:12 | → | deer joins (~delicacie@2601:6c4:4080:3f80:6c49:b76a:f28e:200e) |
| 03:05:17 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 03:05:37 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 03:06:59 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 03:08:55 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 03:08:55 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 03:08:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:13:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 03:13:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:14:38 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 03:16:48 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 03:17:27 | × | nattiestnate quits (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) (Quit: WeeChat 3.4) |
| 03:27:29 | → | sooch_ joins (sid533113@id-533113.hampstead.irccloud.com) |
| 03:31:57 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 03:34:08 | × | td_ quits (~td@94.134.91.3) (Ping timeout: 250 seconds) |
| 03:35:32 | → | meer joins (~delicacie@2601:6c4:4080:3f80:3413:a7ad:76c8:d9ab) |
| 03:35:52 | × | deer quits (~delicacie@2601:6c4:4080:3f80:6c49:b76a:f28e:200e) (Ping timeout: 250 seconds) |
| 03:36:00 | → | td_ joins (~td@94.134.91.17) |
| 03:36:05 | → | deer joins (~delicacie@2601:6c4:4080:3f80:d8e8:7c5f:fc87:41f6) |
| 03:36:11 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 03:39:01 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:39:01 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:39:01 | finn_elija | is now known as FinnElija |
| 03:39:57 | × | meer quits (~delicacie@2601:6c4:4080:3f80:3413:a7ad:76c8:d9ab) (Ping timeout: 240 seconds) |
| 03:40:49 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 03:42:37 | × | deer quits (~delicacie@2601:6c4:4080:3f80:d8e8:7c5f:fc87:41f6) (Ping timeout: 240 seconds) |
| 03:43:04 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 03:43:10 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 03:43:46 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:44:19 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 03:52:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:01:51 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 04:05:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:07:26 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:07:26 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:07:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:10:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 04:11:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:18:16 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:18:16 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:18:16 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:23:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:29:01 | → | nattiestnate joins (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) |
| 04:32:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:40:19 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 04:42:14 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 04:50:57 | × | jao quits (~jao@68.235.43.85) (Ping timeout: 240 seconds) |
| 04:59:38 | → | pavonia joins (~user@user/siracusa) |
| 05:01:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 05:09:23 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 05:19:59 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 05:20:29 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 05:31:47 | → | deadmarshal joins (~deadmarsh@95.38.117.65) |
| 05:32:47 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:34:29 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 05:35:51 | → | k8yun joins (~k8yun@user/k8yun) |
| 05:36:09 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 05:38:23 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:dcda:1699:43fc:8977) (Remote host closed the connection) |
| 05:39:24 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:4826:55d6:e8be:a672) |
| 05:42:27 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 05:47:57 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-71.mrsn.at) |
| 05:48:51 | → | yauhsien joins (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 05:51:09 | × | mbuf quits (~Shakthi@117.96.201.174) (Ping timeout: 256 seconds) |
| 05:51:17 | × | jinsun quits (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 05:59:44 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 06:01:02 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 06:04:38 | → | jinsun joins (~quassel@user/jinsun) |
| 06:05:18 | → | mbuf joins (~Shakthi@122.173.240.119) |
| 06:05:57 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 06:06:14 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 06:11:26 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 06:11:28 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 06:14:12 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-71.mrsn.at) (Quit: WeeChat 3.3) |
| 06:15:36 | × | nattiestnate quits (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) (Quit: WeeChat 3.4) |
| 06:16:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 06:17:44 | → | zaquest joins (~notzaques@5.130.79.72) |
| 06:18:55 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 06:19:02 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 06:19:02 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 06:19:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:19:16 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 06:20:57 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 06:21:46 | → | Jing joins (~hedgehog@240e:390:7c53:a7e1:91b:49f7:fde:97e3) |
| 06:24:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 06:25:36 | → | tomku joins (~tomku@user/tomku) |
| 06:32:04 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:41:25 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 06:43:05 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 06:47:03 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 06:49:17 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 06:51:56 | → | michalz joins (~michalz@185.246.204.65) |
| 06:59:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:01:25 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 07:03:29 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 07:06:51 | → | pmk joins (~user@2a02:587:9408:ec24:4207:d482:fa11:d902) |
| 07:11:57 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 07:14:12 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:4826:55d6:e8be:a672) (Remote host closed the connection) |
| 07:16:25 | → | xsperry joins (~xs@user/xsperry) |
| 07:20:15 | × | drdo quits (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 07:22:31 | → | anon66200164 joins (~anon66200@host-92-19-99-147.as13285.net) |
| 07:23:50 | ← | anon66200164 parts (~anon66200@host-92-19-99-147.as13285.net) () |
| 07:29:36 | → | thevishy joins (~Nishant@2405:201:f005:c007:742b:aca7:e311:68b4) |
| 07:31:53 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 07:32:31 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 07:32:39 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 07:33:49 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 07:36:54 | × | lechner quits (~lechner@debian/lechner) (Ping timeout: 260 seconds) |
| 07:37:34 | × | pmk quits (~user@2a02:587:9408:ec24:4207:d482:fa11:d902) (Remote host closed the connection) |
| 07:41:39 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 07:43:18 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 07:45:48 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 07:46:20 | × | xff0x quits (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 250 seconds) |
| 07:48:40 | → | Ariakenom joins (~Ariakenom@2001:9b1:efe:9d00:dcfc:c5fc:22b3:cc92) |
| 07:49:10 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:55:24 | → | Ariakenom_ joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 07:57:19 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 07:57:37 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:58:04 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 07:59:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:59:20 | × | Ariakenom quits (~Ariakenom@2001:9b1:efe:9d00:dcfc:c5fc:22b3:cc92) (Ping timeout: 250 seconds) |
| 08:01:19 | → | xff0x joins (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 08:02:54 | → | CHUD joins (~CHUD@edu791B.kent.ac.uk) |
| 08:03:08 | × | benin quits (~benin@183.82.31.24) (Quit: The Lounge - https://thelounge.chat) |
| 08:04:57 | × | phma quits (~phma@host-67-44-208-245.hnremote.net) (Read error: Connection reset by peer) |
| 08:07:43 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 08:08:12 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 08:08:14 | → | phma joins (~phma@2600:1004:b105:1903:6c5c:ec4b:e61f:6154) |
| 08:08:57 | → | alp joins (~alp@user/alp) |
| 08:09:22 | × | Jing quits (~hedgehog@240e:390:7c53:a7e1:91b:49f7:fde:97e3) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:09:37 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:4e4d:3167:781a:2a42) |
| 08:09:43 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 08:10:52 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-71.mrsn.at) |
| 08:13:57 | → | fef joins (~thedawn@user/thedawn) |
| 08:18:52 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 08:22:28 | × | CHUD quits (~CHUD@edu791B.kent.ac.uk) (Ping timeout: 256 seconds) |
| 08:26:25 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-71.mrsn.at) (Ping timeout: 256 seconds) |
| 08:26:58 | → | CHUD joins (~CHUD@edu791B.kent.ac.uk) |
| 08:26:59 | → | polyphem_ joins (~rod@2a02:810d:840:8754:a99c:f444:1e7c:25d1) |
| 08:29:01 | × | polyphem quits (~rod@2a02:810d:840:8754:f9b2:95ef:efe9:3c0f) (Ping timeout: 256 seconds) |
| 08:31:58 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 08:33:37 | × | phma quits (~phma@2600:1004:b105:1903:6c5c:ec4b:e61f:6154) (Ping timeout: 240 seconds) |
| 08:33:42 | → | phma_ joins (phma@2001:5b0:211b:9208:8d1f:a4f2:ccb:6f41) |
| 08:34:21 | → | AlexisTP joins (~AlexisTP@92.57.44.63) |
| 08:35:16 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 08:35:30 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 08:38:19 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 08:39:45 | → | vpan joins (~0@212.117.1.172) |
| 08:43:50 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:44:03 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 08:47:13 | → | max22- joins (~maxime@2a01cb08833598006e0cb925e84f6514.ipv6.abo.wanadoo.fr) |
| 08:47:13 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:47:25 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 08:48:25 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:48:57 | → | Vajb joins (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 08:49:15 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:30cc:b923:a3cb:c39c) (Remote host closed the connection) |
| 08:52:03 | × | CHUD quits (~CHUD@edu791B.kent.ac.uk) (Remote host closed the connection) |
| 08:52:14 | → | CHUD joins (~CHUD@edu791B.kent.ac.uk) |
| 08:58:26 | × | CHUD quits (~CHUD@edu791B.kent.ac.uk) (Remote host closed the connection) |
| 08:58:43 | → | CHUD joins (~CHUD@edu791B.kent.ac.uk) |
| 09:00:06 | × | ParsaAlizadeh[m] quits (~lizadehma@2001:470:69fc:105::1:65a4) (Quit: You have been kicked for being idle) |
| 09:05:31 | × | Benzi-Junior quits (~BenziJuni@dsl-149-66-61.hive.is) (Ping timeout: 256 seconds) |
| 09:05:38 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 09:16:35 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:20:19 | × | nunggu quits (~q@user/nunggu) (Quit: nunggu) |
| 09:24:07 | × | AlexisTP quits (~AlexisTP@92.57.44.63) (Remote host closed the connection) |
| 09:30:45 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 09:32:53 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 09:32:57 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 09:33:04 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:38:08 | <dminuoso> | Mmm, strange we dont have `altMap :: (Foldable t, Alternative f) => t a -> (a -> f b) -> f b` in base |
| 09:38:27 | <dminuoso> | asum feels awkward to use for the same reason sequence does |
| 09:40:20 | <dminuoso> | % :t getAlt . foldMap Alt |
| 09:40:20 | <yahb> | dminuoso: forall {k} {t :: * -> *} {f :: k -> *} {a :: k}. (Foldable t, Monoid (Alt f a)) => t (f a) -> f a |
| 09:40:29 | → | `2jt joins (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 09:40:47 | <dminuoso> | % :set -XNoPolyKinds |
| 09:40:47 | <yahb> | dminuoso: |
| 09:40:48 | <dminuoso> | % :t getAlt . foldMap Alt |
| 09:40:48 | <yahb> | dminuoso: (Foldable t, Alternative f) => t (f a) -> f a |
| 09:40:52 | <dminuoso> | Guess this works |
| 09:41:36 | → | caimeo joins (uid540603@id-540603.lymington.irccloud.com) |
| 09:42:11 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 09:42:37 | × | dsrt^ quits (~dsrt@128-092-160-106.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 09:42:41 | <reactormonk[m]> | % :t ala Alt foldMap |
| 09:42:41 | <yahb> | reactormonk[m]: (Foldable t, Alternative g) => t (g b) -> g b |
| 09:43:28 | <reactormonk[m]> | dminuoso: ^ |
| 09:43:31 | × | Vajb quits (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Ping timeout: 250 seconds) |
| 09:43:34 | → | nunggu joins (~q@user/nunggu) |
| 09:43:38 | <reactormonk[m]> | Basically the same, but "fancy" |
| 09:43:47 | <dminuoso> | Yeah, its just I dont like depending on coercible-utils for this |
| 09:44:04 | <reactormonk[m]> | Understandable |
| 09:44:06 | <dminuoso> | `... altMap ... where altMap = getAlt . foldMap Alt` seems more sensible than fancy ala. :) |
| 09:44:30 | <dminuoso> | Plus it saves me from explaining yet-another fancy trick to my coworkers when they look at this |
| 09:45:29 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 09:47:12 | <dminuoso> | Ah hold on, getAlt . foldMap is not quite the same |
| 09:47:35 | <dminuoso> | % altMap f = getAlt . foldMap (Alt . f) |
| 09:47:35 | <yahb> | dminuoso: |
| 09:47:38 | <dminuoso> | Here we go |
| 09:48:07 | <dminuoso> | reactormonk[m]: I think coercible-utils has something for this too, right? |
| 09:48:41 | <dminuoso> | % :t ala' Alt foldMap |
| 09:48:41 | <yahb> | dminuoso: ; <interactive>:1:1: error:; * Variable not in scope: ala' :: (f0 a0 -> Alt f0 a0) -> ((a1 -> m0) -> t0 a1 -> m0) -> t; * Perhaps you meant one of these: `ala' (imported from Control.Lens), `alaf' (imported from Control.Lens) |
| 09:49:03 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 09:49:06 | <dminuoso> | % :t alaf Alt foldMap |
| 09:49:06 | <yahb> | dminuoso: (Foldable t, Alternative g) => (a -> g b) -> t a -> g b |
| 09:49:11 | <dminuoso> | Yeah that |
| 09:49:33 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 09:49:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 09:49:46 | × | max22- quits (~maxime@2a01cb08833598006e0cb925e84f6514.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 09:50:17 | × | juhp quits (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 09:50:52 | × | CHUD quits (~CHUD@edu791B.kent.ac.uk) (Ping timeout: 256 seconds) |
| 09:50:53 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 09:53:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Ping timeout: 240 seconds) |
| 10:00:13 | → | Graham31415 joins (~Graham314@130.226.236.6) |
| 10:01:35 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 10:03:18 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 10:04:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:4e4d:3167:781a:2a42) (Quit: WeeChat 2.8) |
| 10:08:26 | <Graham31415> | To what extent should I be worried about things in base being marked as "experimental"? Right now I'm looking at Control.Concurrency. Also, what does it mean to be "non-portable"? OS portability? Hardware platform portability? Compiler portability? |
| 10:09:11 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 10:09:39 | → | ardell joins (~ardell@user/ardell) |
| 10:09:47 | <Graham31415> | Looking at the ghc git repo, https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/Control/Concurrent.hs hasn't been modified in 4 years. |
| 10:10:13 | → | drdo joins (~drdo@roach0.drdo.eu) |
| 10:11:12 | → | FragByte joins (~christian@user/fragbyte) |
| 10:15:00 | <dminuoso> | Graham31415: Not at all |
| 10:15:49 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 10:16:38 | <Franciman> | Graham31415: non portable usually means that it only works with GHC |
| 10:16:44 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:16:56 | <dminuoso> | Graham31415: So some guidance can be found if you dig around hierarchial haskell libraries https://web.archive.org/web/20070629214525/http://www.haskell.org/hierarchical-modules/libraries/reference-libraries.html |
| 10:16:59 | → | cynomys joins (~cynomys@user/cynomys) |
| 10:17:10 | <dminuoso> | Which outlines the original intent of these wordings. |
| 10:17:34 | <dminuoso> | Note that `experimental`, even if adhering to that original intent, does not mean it *will* break, but merely that it will not make any promises. |
| 10:17:43 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 10:18:05 | <Franciman> | so you should take into account that it can break |
| 10:18:21 | <Franciman> | but in my experience, this happens extremely rarely |
| 10:18:26 | <Franciman> | for core libraries |
| 10:18:34 | <dminuoso> | The reality of the stability field is, its relatively meaningless |
| 10:18:51 | <Graham31415> | Ok, thanks. I'm guess that there's fairly little choice if one wants comparable functionality with a "stable" gaurantee? |
| 10:18:58 | <dminuoso> | There's a lot of libraries that promise PVP (our equivalent of SemVer), but put "stability experimental" into the cabal packages |
| 10:19:19 | <dminuoso> | Graham31415: Well, these fields are poorly managed - if at all. |
| 10:19:46 | → | max22- joins (~maxime@2a01cb08833598003ad46ecd074981ca.ipv6.abo.wanadoo.fr) |
| 10:20:03 | <Graham31415> | Yeah, I'm getting that impression. Like the dead links all over haskell.org wiki. |
| 10:20:08 | × | yauhsien quits (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:20:47 | <dminuoso> | Graham31415: But if its in base libraries, they are likely meaningful |
| 10:20:49 | <dminuoso> | The thing is |
| 10:21:11 | <dminuoso> | base is a complicated package, so per-module guarantees are probably more sensible anyway |
| 10:21:45 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 10:21:48 | <dminuoso> | And like we pointed out, experimental does not mean "its notoriously unstable", but merely that a base version update of any kind *can* induce breaking changes |
| 10:21:57 | <dminuoso> | But that's unrelated to how likely that is |
| 10:24:52 | <Graham31415> | Cool, I think I have a better intuition about this now. I see from https://packdeps.haskellers.com/reverse/base that most packages depend on base < 5. |
| 10:25:01 | <Graham31415> | I'll read the PVP... |
| 10:25:03 | → | CHUD joins (~CHUD@dhcp636F.kent.ac.uk) |
| 10:26:17 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 10:32:15 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 10:32:15 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 10:32:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 10:37:30 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 10:39:24 | × | drdo quits (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 10:41:03 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 10:41:25 | → | drdo joins (~drdo@roach0.drdo.eu) |
| 10:41:32 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 10:42:15 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 250 seconds) |
| 10:42:30 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 10:43:14 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 10:44:07 | → | ubert1 joins (~Thunderbi@p200300ecdf099410dad98e969e0c4f9b.dip0.t-ipconnect.de) |
| 10:44:44 | → | boxscape_ joins (~boxscape_@vpn-44-161.hq.eso.org) |
| 10:46:11 | → | cosimone joins (~user@93-47-230-95.ip115.fastwebnet.it) |
| 10:46:12 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 10:46:56 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 10:50:15 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 10:53:31 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 10:53:38 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 10:54:17 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 11:00:43 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 11:01:36 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 11:02:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:08:38 | → | Benzi-Junior joins (~BenziJuni@dsl-149-66-61.hive.is) |
| 11:14:14 | → | xkuru joins (~xkuru@user/xkuru) |
| 11:14:25 | → | dsrt^ joins (~dsrt@128-092-160-106.biz.spectrum.com) |
| 11:17:17 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 11:18:41 | × | xff0x quits (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 245 seconds) |
| 11:19:45 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 11:19:45 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 11:19:47 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 11:20:53 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 11:23:42 | → | jalil joins (~jalil@2a01:e0a:277:4100:6436:dad4:61ec:3c98) |
| 11:24:36 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 11:27:15 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:27:22 | → | jgeerds_ joins (~jgeerds@55d4a547.access.ecotel.net) |
| 11:27:51 | → | Midjak2 joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 11:27:56 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 11:31:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:31:37 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 11:34:33 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 11:35:00 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
| 11:35:01 | × | chenqisu1 quits (~chenqisu1@183.217.200.249) (Quit: Leaving) |
| 11:35:04 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 11:35:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 11:36:18 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:36:54 | × | CHUD quits (~CHUD@dhcp636F.kent.ac.uk) (Remote host closed the connection) |
| 11:40:45 | × | cosimone quits (~user@93-47-230-95.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 11:40:54 | → | xff0x joins (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 11:42:03 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 11:44:40 | × | boxscape_ quits (~boxscape_@vpn-44-161.hq.eso.org) (Ping timeout: 250 seconds) |
| 11:44:44 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 11:44:56 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 11:47:16 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 11:47:39 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 11:48:11 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 11:48:15 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 11:50:44 | × | Midjak2 quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving) |
| 11:51:16 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 11:51:33 | → | mmhat joins (~mmh@55d4c207.access.ecotel.net) |
| 11:52:27 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:a93b:29e3:e4c0:d09f) |
| 11:54:57 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 11:55:15 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 11:59:29 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 11:59:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:00:23 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:02:38 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 12:02:59 | <ProfSimm> | Are all Haskell functions technically single expression that returns (i.e. is substitued in the call) |
| 12:03:07 | → | cosimone joins (~user@93-47-230-95.ip115.fastwebnet.it) |
| 12:03:26 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 12:03:40 | <dminuoso> | ProfSimm: The question is phrased a bit weirdly, let me rephrase what I understood |
| 12:04:04 | <dminuoso> | Are you asking whether `calling a function` merely constitutes `substituting with its definition`? |
| 12:04:05 | <[exa]> | "referential transparency" maybe? |
| 12:04:17 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 12:04:46 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:06:15 | <dminuoso> | If you apply a function to its arguments, the semantics of that is the same as if you had replaced the function with its definition (modulo some desugaring for pattern matching or multiple function definitions) |
| 12:06:36 | <dminuoso> | Which makes it easy to understand what any code does. Just substitute in any order you like |
| 12:06:42 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:06:55 | <dminuoso> | And in fact, in principle we dont impose any order in which that substitution even happens |
| 12:06:59 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 12:07:12 | <dminuoso> | (In the absence of certain vodoo primitives that we shall ignore for the purpose of this discussion) |
| 12:07:15 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 12:08:37 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:09:02 | → | lavaman joins (~lavaman@98.38.249.169) |
| 12:10:50 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 12:11:04 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:12:32 | × | wavemode quits (~wavemode@2601:241:0:fc90:12bc:6a75:8601:ea04) (Ping timeout: 256 seconds) |
| 12:12:42 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 12:12:51 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:12:57 | × | tdammers quits (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 240 seconds) |
| 12:13:39 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 12:14:16 | <dminuoso> | So if we have `f x = <body>`, then an expression `f 1` can be substituted with <body>, with any occurence of a free-variable `x` replaced with 1. |
| 12:14:17 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 12:25:46 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 12:26:14 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 252 seconds) |
| 12:26:48 | <iphy> | https://hackage.haskell.org/package/timers-0.2.0.4 seems dead (it's not in stackage), is there any similar package I can use? |
| 12:27:11 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 12:28:06 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 12:29:37 | <geekosaur> | "notin stackage" may simply mean nobody'srequested it yet |
| 12:29:51 | <geekosaur> | it's not like stackage actively searches out packages to include |
| 12:30:59 | → | DNH joins (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 12:31:09 | → | tdammers joins (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 12:32:26 | <iphy> | I see |
| 12:33:49 | polyphem_ | is now known as polyphem |
| 12:36:15 | → | kfj_ joins (~kfj@94.198.43.75) |
| 12:36:17 | <iphy> | I'll do extra-deps then |
| 12:37:22 | × | kfj_ quits (~kfj@94.198.43.75) (Client Quit) |
| 12:37:23 | × | dsrt^ quits (~dsrt@128-092-160-106.biz.spectrum.com) (Remote host closed the connection) |
| 12:41:25 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 12:42:26 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 12:43:29 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:43:37 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 12:43:46 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:44:26 | × | phma_ quits (phma@2001:5b0:211b:9208:8d1f:a4f2:ccb:6f41) (Read error: Connection reset by peer) |
| 12:46:09 | → | phma_ joins (phma@2001:5b0:210d:70f8:60e0:e2f9:8ba1:2fd7) |
| 12:46:17 | × | lottaquestions quits (~nick@2607:fa49:5041:a200:833f:e9c7:6325:4206) (Ping timeout: 240 seconds) |
| 12:51:42 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 12:51:48 | → | slack1256 joins (~slack1256@191.126.99.204) |
| 12:52:03 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 12:52:13 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 12:52:19 | <ProfSimm> | dminuoso: this question came from me wondering when does order of expressions matter and when not. For example I don't need to define a variable before i use it, but pattern matching order matters |
| 12:52:50 | <dminuoso> | ProfSimm: The order only matters in pattern matching. |
| 12:53:03 | <dminuoso> | (That and in certain magic voodoo primitives) |
| 12:53:25 | <dminuoso> | Those voodoo primities (seq, pseq, !) exist precisely for when one wants to control evaluation order for performance reasons. |
| 12:53:57 | <dminuoso> | But other than that the evaluation is left unspecified because it really doesnt matter |
| 12:54:26 | <dminuoso> | It's similar to math where, say if you have `(1 + 2) * (3 + 4)` it really doesnt matter whether you first reduce 1 + 3, or 3 + 4 |
| 12:54:44 | <dminuoso> | It makes no difference, so the reader is free to do it in any way they prefer. Same story with Haskell |
| 12:55:28 | <dminuoso> | ontop we have non-strict semantics, which means that in reality things are only reduced if they are needed, and only up to a certain point |
| 12:55:38 | <dminuoso> | @src cycle |
| 12:55:38 | <lambdabot> | cycle [] = undefined |
| 12:55:38 | <lambdabot> | cycle xs = xs' where xs' = xs ++ xs' |
| 12:55:55 | <dminuoso> | % take 10 (cycle [1,2,3]) |
| 12:55:55 | <yahb> | dminuoso: [1,2,3,1,2,3,1,2,3,1] |
| 12:56:32 | <dminuoso> | While in principle the second argument to `take` is an infinite list, because we only evaluate on demand and only up until we see a data constructor (and some other cases), this does not end up in an infinite loop |
| 13:00:39 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 13:00:40 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 13:01:49 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 13:05:01 | × | jgeerds_ quits (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 250 seconds) |
| 13:05:01 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 13:05:38 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 13:06:36 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 13:07:42 | <ProfSimm> | dminuoso: ooo, magic voodoo primitives :) ? Like what |
| 13:07:54 | <ProfSimm> | Oh stil reading |
| 13:08:24 | <ProfSimm> | dminuoso: when is order of execution for performance reasons? |
| 13:08:31 | <ProfSimm> | rather than semantics |
| 13:09:49 | → | alp joins (~alp@user/alp) |
| 13:11:41 | <dminuoso> | ProfSimm: So in GHC haskell we have lazyness. That means, if you write `let x = ...` there must be some representation in the implementation, and that costs memory. |
| 13:12:34 | <dminuoso> | So let's say we have a list of things, all of which would automatically be lazy (and thus have some memory representation for that lazyness), that means we have to keep all those representations in memory |
| 13:13:25 | <dminuoso> | But if we, as a programmer, know we are going to need each value regardless, then we can give additional hints to force evaluating these elements when you demand that list. |
| 13:13:42 | <dminuoso> | Such that this list will not contain a list of lazy things, but a list of already computed values |
| 13:14:04 | <dminuoso> | So as a simple example, lets say we have a tuple of three elements |
| 13:14:46 | <ProfSimm> | dminuoso: ah I was aware of lazy eval, but I didn't know you can force eval outside IO monad and the like |
| 13:16:21 | → | Everything joins (~Everythin@37.115.210.35) |
| 13:18:17 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 13:20:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:21:44 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 13:22:17 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 13:22:52 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 13:24:10 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:24:45 | × | xff0x quits (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 250 seconds) |
| 13:25:31 | → | xff0x joins (~xff0x@2001:1a81:5217:8700:efaf:a053:4338:c053) |
| 13:33:24 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 13:33:47 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 13:34:51 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 13:37:15 | → | jollygood2 joins (~bc8147f2@cerf.good1.com) |
| 13:38:05 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 13:38:27 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 13:38:53 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 13:40:17 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 13:40:37 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 13:42:02 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 13:42:41 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 13:44:17 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:44:33 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 13:46:58 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 13:47:08 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 13:47:17 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 13:49:40 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:50:51 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 276 seconds) |
| 13:52:29 | → | slack1729 joins (~slack1256@181.42.43.2) |
| 13:55:17 | × | slack1256 quits (~slack1256@191.126.99.204) (Ping timeout: 240 seconds) |
| 13:58:44 | → | __monty__ joins (~toonn@user/toonn) |
| 13:59:08 | → | kilolympus joins (~kilolympu@31.205.200.235) |
| 14:00:03 | → | lottaquestions joins (~nick@2607:fa49:5041:a200:bd48:3fa6:d41:7f9) |
| 14:00:43 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 14:00:47 | → | jgeerds_ joins (~jgeerds@55d4a547.access.ecotel.net) |
| 14:02:11 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 14:02:15 | → | slack1256 joins (~slack1256@191.126.99.204) |
| 14:02:17 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 14:02:53 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 14:04:08 | × | slack1729 quits (~slack1256@181.42.43.2) (Ping timeout: 252 seconds) |
| 14:04:42 | × | jollygood2 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 14:05:16 | → | jollygood2 joins (~bc8147f2@cerf.good1.com) |
| 14:05:55 | × | deadmarshal quits (~deadmarsh@95.38.117.65) (Ping timeout: 250 seconds) |
| 14:06:39 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 14:07:03 | → | deadmarshal joins (~deadmarsh@95.38.117.65) |
| 14:08:02 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 14:13:10 | → | vysn joins (~vysn@user/vysn) |
| 14:13:48 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:13:48 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:13:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:18:57 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:19:27 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 14:19:52 | → | opticblast joins (~june@secure-165.caltech.edu) |
| 14:20:09 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 14:20:37 | ← | opticblast parts (~june@secure-165.caltech.edu) () |
| 14:20:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:21:43 | × | jgeerds_ quits (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 256 seconds) |
| 14:32:17 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 14:33:23 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 14:33:23 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 14:33:57 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 14:34:07 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 14:34:23 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 14:36:17 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 14:37:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:38:10 | × | Techcable quits (~Techcable@168.235.93.147) (Remote host closed the connection) |
| 14:38:18 | → | Techcable joins (~Techcable@168.235.93.147) |
| 14:39:53 | × | xff0x quits (~xff0x@2001:1a81:5217:8700:efaf:a053:4338:c053) (Ping timeout: 252 seconds) |
| 14:40:45 | → | xff0x joins (~xff0x@2001:1a81:5217:8700:66e9:b7e:a0f4:b397) |
| 14:45:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 14:45:49 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Remote host closed the connection) |
| 14:48:32 | × | stilgart_ quits (~Christoph@chezlefab.net) (Ping timeout: 240 seconds) |
| 14:54:40 | × | acidsys quits (~LSD@2.lsd.systems) (Quit: I love you.) |
| 14:55:35 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 14:58:07 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 15:01:50 | × | lottaquestions quits (~nick@2607:fa49:5041:a200:bd48:3fa6:d41:7f9) (Quit: Konversation terminated!) |
| 15:05:18 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 15:05:19 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 15:05:51 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 15:08:56 | → | neurocyte0917090 joins (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 15:08:56 | × | neurocyte0917090 quits (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 15:08:56 | → | neurocyte0917090 joins (~neurocyte@user/neurocyte) |
| 15:09:19 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 15:09:53 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 15:10:15 | × | shailangsa quits (~shailangs@host217-39-45-199.range217-39.btcentralplus.com) (Ping timeout: 250 seconds) |
| 15:11:15 | × | neurocyte0917090 quits (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 15:11:44 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 15:12:01 | → | neurocyte0917090 joins (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 15:12:01 | × | neurocyte0917090 quits (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 15:12:01 | → | neurocyte0917090 joins (~neurocyte@user/neurocyte) |
| 15:13:06 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 15:13:25 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 15:14:11 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 15:14:19 | → | sektor|3 joins (~kvirc@94.155.193.66) |
| 15:14:59 | × | sektor|2 quits (~kvirc@87.227.175.182) (Ping timeout: 256 seconds) |
| 15:15:13 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:aeb5:bcf:993b:2d87) |
| 15:16:39 | → | sektor|2 joins (~kvirc@94.155.193.66) |
| 15:18:13 | × | neurocyte0917090 quits (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 15:18:24 | × | jalil quits (~jalil@2a01:e0a:277:4100:6436:dad4:61ec:3c98) (Quit: jalil) |
| 15:19:10 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:19:31 | × | sektor|3 quits (~kvirc@94.155.193.66) (Ping timeout: 256 seconds) |
| 15:19:57 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:19:57 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:19:57 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:24:21 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 15:24:27 | × | ph88 quits (~ph88@2a02:8109:9e00:71d0:980:dccb:621a:6731) (Remote host closed the connection) |
| 15:24:48 | → | vysn joins (~vysn@user/vysn) |
| 15:28:42 | × | cosimone quits (~user@93-47-230-95.ip115.fastwebnet.it) (Remote host closed the connection) |
| 15:29:06 | → | k8yun joins (~k8yun@user/k8yun) |
| 15:34:51 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 15:34:51 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 15:35:57 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 15:36:15 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 15:36:18 | → | cosimone joins (~user@93-47-230-95.ip115.fastwebnet.it) |
| 15:36:25 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 15:36:43 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 15:36:43 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 15:36:56 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 15:39:22 | → | burnsidesLlama joins (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 15:42:11 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 15:43:05 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 256 seconds) |
| 15:44:52 | → | sektor|3 joins (~kvirc@87.227.175.182) |
| 15:46:09 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 15:46:21 | → | jao joins (~jao@static-68-235-44-40.cust.tzulo.com) |
| 15:46:40 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 15:46:44 | × | Graham31415 quits (~Graham314@130.226.236.6) (Ping timeout: 256 seconds) |
| 15:47:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:48:03 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 15:48:25 | × | sektor|2 quits (~kvirc@94.155.193.66) (Ping timeout: 256 seconds) |
| 15:48:25 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:51:48 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:51:49 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 15:52:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:52:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:52:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:52:34 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:52:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:52:55 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:53:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:53:17 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:53:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:53:39 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:53:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:54:01 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:54:13 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 15:54:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:54:22 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:54:32 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 15:54:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:54:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 15:54:44 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:54:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:55:06 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:55:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:55:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:55:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:55:49 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:56:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:56:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:56:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:56:32 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:56:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:56:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:57:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:57:16 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:57:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:57:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:57:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:57:59 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:58:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:58:20 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:58:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:58:43 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:58:52 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 15:58:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:59:01 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Ping timeout: 240 seconds) |
| 15:59:05 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:59:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:59:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 15:59:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:59:49 | × | jao quits (~jao@static-68-235-44-40.cust.tzulo.com) (Ping timeout: 240 seconds) |
| 15:59:49 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:00:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:00:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:00:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:00:32 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:00:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:00:54 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:01:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:01:16 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:01:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:01:38 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:01:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:01:59 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:02:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:02:16 | → | jao joins (~jao@68.235.43.173) |
| 16:02:22 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:02:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:02:44 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:02:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:03:06 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:03:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:03:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:03:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:03:50 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:03:58 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 16:04:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:04:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:04:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:04:34 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:04:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:04:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:05:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:05:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:05:18 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:05:32 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:05:39 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 16:05:40 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:05:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:06:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:06:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:06:24 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:06:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:06:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:07:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:07:12 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:07:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:07:34 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:07:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:07:58 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:08:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:08:19 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 16:08:21 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:08:21 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:08:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:08:43 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:08:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:09:01 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 16:09:05 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:09:17 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:09:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:09:26 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:09:38 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 16:09:38 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 16:09:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:09:49 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:10:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:10:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:10:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:10:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:10:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:10:57 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 16:11:41 | × | thevishy quits (~Nishant@2405:201:f005:c007:742b:aca7:e311:68b4) (Quit: Leaving) |
| 16:12:29 | × | mbuf quits (~Shakthi@122.173.240.119) (Quit: Leaving) |
| 16:12:51 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:a93b:29e3:e4c0:d09f) (Quit: WeeChat 2.8) |
| 16:15:11 | → | shailangsa joins (~shailangs@host217-39-45-199.range217-39.btcentralplus.com) |
| 16:16:22 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 16:18:08 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 16:18:08 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 16:18:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:29:29 | <reactormonk[m]> | What's the type/name of overM, which is kinda like over, except it also uses a monad? |
| 16:30:27 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 16:30:37 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 16:31:11 | <c_wraith> | it has a bunch of names. mapMOf, (%%~), id, etc |
| 16:32:54 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 16:32:54 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 16:33:34 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 16:33:53 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:aeb5:bcf:993b:2d87) (Ping timeout: 250 seconds) |
| 16:34:24 | → | nschoe joins (~quassel@91-162-58-134.subs.proxad.net) |
| 16:34:53 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 16:36:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 16:36:27 | → | Guest76 joins (~Guest76@93.159.185.196) |
| 16:37:35 | × | Kaipi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 16:38:00 | → | Kaipi joins (~Kaiepi@156.34.47.253) |
| 16:38:28 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 16:39:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 16:39:58 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 16:41:00 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 16:42:12 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:42:12 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 16:42:21 | × | jao quits (~jao@68.235.43.173) (Ping timeout: 250 seconds) |
| 16:42:24 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 16:43:28 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 16:45:08 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 16:46:28 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 16:48:40 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 16:51:44 | × | ubert1 quits (~Thunderbi@p200300ecdf099410dad98e969e0c4f9b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 16:51:44 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 16:52:42 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 16:54:18 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Quit: WeeChat 3.4) |
| 16:55:02 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 16:55:39 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:55:59 | × | Guest76 quits (~Guest76@93.159.185.196) (Quit: Client closed) |
| 16:57:53 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 16:59:12 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 17:00:40 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 17:02:00 | → | slac90668 joins (~slack1256@181.42.42.218) |
| 17:03:46 | → | Topsi joins (~Tobias@dyndsl-095-033-024-254.ewe-ip-backbone.de) |
| 17:04:13 | × | slack1256 quits (~slack1256@191.126.99.204) (Ping timeout: 250 seconds) |
| 17:04:33 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 17:07:56 | × | ubert quits (~Thunderbi@p200300ecdf0994102c357846a3b3453e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 17:08:11 | → | ubert joins (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 17:09:20 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 17:10:14 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:11:40 | → | slack1256 joins (~slack1256@191.126.99.65) |
| 17:12:51 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 17:12:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:13:11 | → | shapr` joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 17:13:45 | × | slac90668 quits (~slack1256@181.42.42.218) (Ping timeout: 250 seconds) |
| 17:14:53 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 17:16:15 | × | cosimone quits (~user@93-47-230-95.ip115.fastwebnet.it) (Remote host closed the connection) |
| 17:17:00 | × | nschoe quits (~quassel@91-162-58-134.subs.proxad.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:17:57 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 17:18:13 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 17:18:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 17:18:45 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 17:21:34 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 17:24:34 | → | gaff joins (~gaff@49.207.227.85) |
| 17:25:36 | <gaff> | there is a `guard` function you can use inside a do block ... i have used it before but now can not find it. where is this function defined? |
| 17:25:53 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 17:26:14 | <ski> | @index guard |
| 17:26:15 | <lambdabot> | Control.Monad |
| 17:26:25 | <gaff> | any link etc would be nice |
| 17:26:30 | <gaff> | ah |
| 17:26:32 | <gaff> | thanks |
| 17:28:53 | → | slowtype- joins (~slowtyper@79.103.56.56.dsl.dyn.forthnet.gr) |
| 17:29:06 | → | k8yun joins (~k8yun@user/k8yun) |
| 17:29:47 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 17:31:15 | × | gaff quits (~gaff@49.207.227.85) () |
| 17:31:20 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 17:32:07 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:33:23 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 17:35:15 | → | Hildegunst joins (~luc@80.248.12.109.rev.sfr.net) |
| 17:35:27 | × | DNH quits (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:36:40 | → | DNH joins (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 17:37:42 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 17:37:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 17:37:47 | × | slowtype- quits (~slowtyper@79.103.56.56.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 17:38:19 | × | Topsi quits (~Tobias@dyndsl-095-033-024-254.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 17:40:00 | × | xff0x quits (~xff0x@2001:1a81:5217:8700:66e9:b7e:a0f4:b397) (Ping timeout: 250 seconds) |
| 17:41:05 | → | xff0x joins (~xff0x@2001:1a81:5217:8700:5c4c:6e43:a062:eba7) |
| 17:48:48 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 17:50:20 | → | stilgart joins (~Christoph@chezlefab.net) |
| 17:53:31 | × | DNH quits (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:53:54 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 17:55:21 | → | zebrag joins (~chris@user/zebrag) |
| 17:55:49 | → | DNH joins (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 17:57:53 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 252 seconds) |
| 17:58:03 | → | slowtype- joins (~slowtyper@79.103.227.82.dsl.dyn.forthnet.gr) |
| 17:58:45 | × | kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 18:04:12 | → | yauhsien_ joins (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 18:04:15 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:04:27 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:08:38 | × | yauhsien_ quits (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 18:11:13 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:12:10 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:12:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:14:57 | × | k8yun quits (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 18:17:01 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 18:19:07 | → | k8yun joins (~k8yun@user/k8yun) |
| 18:20:46 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 18:21:03 | → | k8yun_ joins (~k8yun@user/k8yun) |
| 18:21:15 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:21:22 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:23:37 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:24:06 | → | Drew[m] joins (~drewefenw@2001:470:69fc:105::c8c4) |
| 18:24:33 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:24:49 | × | k8yun quits (~k8yun@user/k8yun) (Ping timeout: 250 seconds) |
| 18:26:26 | × | k8yun_ quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 18:29:52 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 18:29:52 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:29:52 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 18:29:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:30:02 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:30:50 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:31:34 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 18:33:28 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 18:33:35 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 18:35:08 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 18:35:52 | → | AlexisTP joins (~AlexisTP@92.57.44.63) |
| 18:37:56 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 18:38:53 | hgolden_ | is now known as hgolden |
| 18:40:30 | → | OscarZ joins (~oscarz@95.175.104.142) |
| 18:42:36 | × | Everything quits (~Everythin@37.115.210.35) (Quit: leaving) |
| 18:42:37 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:42:48 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:43:59 | → | cfricke joins (~cfricke@user/cfricke) |
| 18:45:00 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 18:45:36 | × | MasseR4 quits (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
| 18:45:49 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 18:46:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:46:49 | → | gawen_ joins (~gawen@user/gawen) |
| 18:48:13 | → | MasseR4 joins (~MasseR@51.15.143.128) |
| 18:49:45 | × | gawen quits (~gawen@user/gawen) (Ping timeout: 256 seconds) |
| 18:53:48 | × | qwedfg quits (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 18:54:45 | × | AlexisTP quits (~AlexisTP@92.57.44.63) (Quit: Leaving) |
| 18:55:52 | → | AlexisTP joins (~AlexisTP@92.57.44.63) |
| 18:57:46 | → | qwedfg joins (~qwedfg@user/qwedfg) |
| 18:58:51 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 19:01:09 | → | vicfred joins (~vicfred@user/vicfred) |
| 19:02:30 | → | notzmv joins (~zmv@user/notzmv) |
| 19:02:51 | × | califax quits (~califax@user/califx) (Ping timeout: 276 seconds) |
| 19:03:41 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 19:04:19 | shapr` | is now known as shapr |
| 19:04:40 | → | califax joins (~califax@user/califx) |
| 19:05:20 | <shapr> | Is there some way to ask hoogle for all indexed instances of a typeclass? I want to stuff a value into postgres so I want "all instances of To{Row,Field}" |
| 19:05:21 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 19:05:27 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 19:06:22 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 19:08:14 | → | k8yun joins (~k8yun@user/k8yun) |
| 19:08:57 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 19:09:17 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 19:10:58 | × | slowtype- quits (~slowtyper@79.103.227.82.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 19:11:26 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 19:15:21 | × | deadmarshal quits (~deadmarsh@95.38.117.65) (Ping timeout: 245 seconds) |
| 19:17:12 | → | slowtype- joins (~slowtyper@2a02:214c:8635:c300:db7f:8a50:4683:57fa) |
| 19:17:26 | × | jollygood2 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 19:17:57 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 240 seconds) |
| 19:21:08 | <monochrom> | I don't know hoogle. But in ghci or cabal repl, :info! ToRow can help. |
| 19:21:15 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 19:21:27 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 19:24:30 | × | arkeet quits (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:24:47 | → | arkeet joins (arkeet@moriya.ca) |
| 19:25:46 | × | burnsidesLlama quits (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Remote host closed the connection) |
| 19:27:05 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 19:27:05 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 19:27:14 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 19:28:17 | × | AlexisTP quits (~AlexisTP@92.57.44.63) (Ping timeout: 256 seconds) |
| 19:30:14 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 19:30:41 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 19:31:20 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 19:33:04 | → | haskl joins (~haskl@user/haskl) |
| 19:34:41 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 19:35:38 | <Sqaure> | So i've created this Tree like, but a fair bit more complex (3 separate types to model different parent-child relations), data type and now i realize i want it to have insert/update/delete. What would be good way to add this functionality to it? Manual hammering or implement Monad / Applicative and use some standard procedure? |
| 19:36:37 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 19:37:39 | → | cosimone joins (~user@93-47-230-95.ip115.fastwebnet.it) |
| 19:37:39 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 19:37:54 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 19:37:55 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 19:38:44 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 19:39:30 | <ski> | i don't see how `Monad' or `Applicative' would give you insertion, update, or deletion |
| 19:39:55 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 19:40:15 | <ski> | (`Monad' could give you substitution. `Applicative' would give you "cartesian product") |
| 19:40:30 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 19:40:37 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 19:41:20 | <Sqaure> | oh, I found som SO answer and a quick skim made me believe they relied on that. Might have been wrong there. |
| 19:43:00 | <EvanR> | for updating subparts of the tree you could use lenses / functional references |
| 19:44:16 | → | dcoutts joins (~duncan@host213-122-143-132.range213-122.btcentralplus.com) |
| 19:44:27 | <EvanR> | or just write a few recursive routines yourself |
| 19:44:36 | <EvanR> | esp if it's for practice |
| 19:45:22 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 19:47:11 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:49:15 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 19:51:04 | → | kayvank joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 19:54:46 | × | slack1256 quits (~slack1256@191.126.99.65) (Remote host closed the connection) |
| 19:55:38 | <Sqaure> | EvanR, thanks. Its not for practice, it should be "optimal choice" if there is such =D. |
| 19:57:41 | → | cynomys joins (~cynomys@user/cynomys) |
| 19:58:34 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 19:58:49 | → | cheater joins (~Username@user/cheater) |
| 19:59:27 | → | burnsidesLlama joins (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 19:59:54 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 20:01:08 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:9142:26a8:3892:1b3a) |
| 20:01:08 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 20:01:19 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 20:02:05 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 20:04:14 | × | burnsidesLlama quits (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 20:04:14 | → | Akiva joins (~Akiva@user/Akiva) |
| 20:04:27 | → | neurocyte0917090 joins (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 20:04:27 | × | neurocyte0917090 quits (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 20:04:27 | → | neurocyte0917090 joins (~neurocyte@user/neurocyte) |
| 20:05:35 | → | deadmarshal joins (~deadmarsh@95.38.117.65) |
| 20:07:13 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 20:07:44 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 20:07:49 | → | juhp joins (~juhp@128.106.188.82) |
| 20:07:59 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 20:09:51 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 20:10:13 | × | deadmarshal quits (~deadmarsh@95.38.117.65) (Ping timeout: 256 seconds) |
| 20:12:31 | <hololeap> | I think I screwed up my environment, and I'm just wondering what I can do to try to debug it: http://sprunge.us/d82nVV |
| 20:16:15 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 20:18:09 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 256 seconds) |
| 20:19:28 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 20:20:20 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 20:21:28 | <Cale> | hololeap: does ghc-pkg check tell you anything? |
| 20:21:38 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 20:23:39 | <hololeap> | yeah, there are a ton of broken packages. I just haven't seen ghc panic before, but fixing the breakages will likely help? |
| 20:26:37 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 20:26:37 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 20:26:53 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:26:57 | × | slowtype- quits (~slowtyper@2a02:214c:8635:c300:db7f:8a50:4683:57fa) (Ping timeout: 240 seconds) |
| 20:27:29 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 20:30:48 | → | trccc joins (~trccc@2-104-60-169-cable.dk.customer.tdc.net) |
| 20:31:56 | <trccc> | Is there a way to get the path to where cabal put its compiled executable? e.g. I know it is here: ./dist-newstyle/build/x86_64-linux/ghc-8.10.7/hs-hello-sleep-0.1.0.0/x/hs-hello-sleep/build/hs-hello-sleep/hs-hello-sleep but can I issue some cabal command to print the path so I can get it in my scripts? |
| 20:32:32 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 20:34:24 | <monochrom> | cabal list-bin can help. Something along the line of cabal list-bin hs-hello-sleep |
| 20:34:59 | <trccc> | perfect thanks! |
| 20:35:19 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 20:36:08 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 20:37:03 | <sm> | hololeap: sounds like a good move |
| 20:40:41 | × | ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 252 seconds) |
| 20:41:12 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:41:12 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:41:12 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:42:29 | → | jgeerds_ joins (~jgeerds@55d4a547.access.ecotel.net) |
| 20:42:31 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 20:43:47 | → | gentauro joins (~gentauro@user/gentauro) |
| 20:44:45 | → | akegalj joins (~akegalj@93-138-76-199.adsl.net.t-com.hr) |
| 20:44:45 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 20:48:29 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 20:48:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 20:49:07 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 20:50:45 | <janus> | hololeap: that package also takes forever to build for me |
| 20:51:07 | <janus> | hololeap: i did 'cabal repl -b lsp-types -w ghc-9.0.2' and i have waited a while now |
| 20:51:48 | <janus> | and then i get "warning: no exposed modules" |
| 20:52:29 | <hololeap> | hm, I don't know about that. This panic happens almost immediately for me. I tried it in another environment and it at least begins to compile, so it seems like cleaning up that env is the best idea |
| 20:52:53 | <janus> | well it does compile |
| 20:52:57 | <janus> | and it did finish just now |
| 20:56:10 | → | econo joins (uid147250@user/econo) |
| 20:58:09 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 20:59:01 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 21:03:02 | → | tfeb joins (~tfb@88.98.95.237) |
| 21:05:35 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 21:08:41 | × | trccc quits (~trccc@2-104-60-169-cable.dk.customer.tdc.net) (Quit: Client closed) |
| 21:09:51 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:09:56 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 21:10:30 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 21:10:44 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 21:12:10 | × | Hildegunst quits (~luc@80.248.12.109.rev.sfr.net) (Ping timeout: 260 seconds) |
| 21:12:38 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 21:14:01 | → | Hildegunst joins (~luc@80.248.12.109.rev.sfr.net) |
| 21:20:21 | → | slowtype- joins (~slowtyper@2a02:214c:863d:a00:1d20:d7d8:59c2:b643) |
| 21:21:00 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 21:21:02 | × | cosimone quits (~user@93-47-230-95.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 21:21:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 21:21:55 | → | burnsidesLlama joins (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 21:26:24 | × | burnsidesLlama quits (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 21:27:03 | × | slowtype- quits (~slowtyper@2a02:214c:863d:a00:1d20:d7d8:59c2:b643) (Ping timeout: 250 seconds) |
| 21:27:43 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 21:28:07 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 21:30:31 | → | vicfred_ joins (~vicfred@user/vicfred) |
| 21:33:09 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 21:33:10 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 21:33:17 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 21:34:57 | × | Hildegunst quits (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 21:36:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:39:38 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 21:41:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 21:47:22 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:49:07 | → | Guest80 joins (~Guest80@177.70.94.186) |
| 21:49:23 | × | Guest80 quits (~Guest80@177.70.94.186) (Client Quit) |
| 21:49:57 | × | ravella quits (~ravella@user/ryanavella) (Ping timeout: 240 seconds) |
| 21:50:50 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 21:51:31 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 21:52:37 | → | alp joins (~alp@user/alp) |
| 21:53:01 | → | Pickchea joins (~private@user/pickchea) |
| 21:54:20 | × | michalz quits (~michalz@185.246.204.65) (Remote host closed the connection) |
| 21:59:13 | × | akegalj quits (~akegalj@93-138-76-199.adsl.net.t-com.hr) (Quit: leaving) |
| 21:59:49 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 22:00:39 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 22:09:27 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:10:37 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 22:12:45 | → | slowtype- joins (~slowtyper@2a02:214c:8615:200:883a:9d96:1ea3:a070) |
| 22:12:57 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 22:16:34 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 22:16:50 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 22:17:15 | → | haskl joins (~haskl@user/haskl) |
| 22:20:27 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:23:32 | × | `2jt quits (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 22:26:18 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:30:08 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:31:53 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 256 seconds) |
| 22:32:54 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 22:34:40 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 22:35:35 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 22:35:37 | × | slowtype- quits (~slowtyper@2a02:214c:8615:200:883a:9d96:1ea3:a070) (Ping timeout: 256 seconds) |
| 22:35:38 | → | burnsidesLlama joins (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 22:39:00 | × | vicfred_ quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 22:39:30 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 22:40:04 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 22:42:02 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 22:46:34 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:49:05 | → | slowtype- joins (~slowtyper@46.12.42.68.dsl.dyn.forthnet.gr) |
| 22:49:08 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 22:49:15 | × | rtsn quits (~nstr@user/rtsn) (Quit: Lost terminal) |
| 22:50:39 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:51:09 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:51:31 | × | max22- quits (~maxime@2a01cb08833598003ad46ecd074981ca.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 22:57:15 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 22:57:36 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:58:51 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 256 seconds) |
| 22:59:06 | → | Guest|11 joins (~Guest|11@96.63.212.186) |
| 23:01:24 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 23:01:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:04:11 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 23:07:05 | × | Guest|11 quits (~Guest|11@96.63.212.186) (Quit: Connection closed) |
| 23:07:23 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 23:08:31 | → | vysn joins (~vysn@user/vysn) |
| 23:09:19 | → | alx741 joins (~alx741@157.100.197.240) |
| 23:13:03 | → | `2jt joins (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 23:13:24 | <hololeap> | I'm still not great at reasoning about lazy/strict evaluation and how it influences space/time metrics |
| 23:13:36 | <hololeap> | but it seems like comonads are especially difficult to reason about |
| 23:14:39 | <hololeap> | if you set up a cellular automata simulation that's modeled with the store comonad, the naive implementation seems to have something like O(2^n) time for each step of the simulation |
| 23:15:33 | <hololeap> | but if you set it up with a Representable array backend you don't have this problem. I'm still confused as to why |
| 23:17:41 | <hololeap> | [1] https://hackage.haskell.org/package/adjunctions-4.4/docs/Control-Comonad-Representable-Store.html |
| 23:17:46 | <hololeap> | [2] https://hackage.haskell.org/package/vector-sized-1.5.0/docs/Data-Vector-Generic-Sized.html#t:Representable |
| 23:20:16 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 23:21:35 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 23:21:50 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:22:08 | <monochrom> | If it's as bad as 2^n time, it may be unrelated to laziness or eagerness. More like redundant recursion. |
| 23:22:56 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:23:19 | <monochrom> | For example changing "f(n) = let y = f(n-1) in y+y" to "f(n) = f(n-1) + f(n-1)" is a simple way to turn n-time into 2^n-time. This holds for both lazy and eager evaluation. |
| 23:24:02 | <Rembane> | Is Representable perhaps doing memoization for you? I'm just guessing here. |
| 23:24:54 | <monochrom> | Yeah "array backend" begins to sound like automatic dynamic-programming-ization, but I haven't learned comonad or store. |
| 23:25:42 | <monochrom> | But it corroborates with 2^n -> n like my example. |
| 23:26:41 | <hololeap> | yeah it's storing each step to the vector with [1]. I think this does have something to do with strictness, though, since if it wasn't *actually* storing to the vector but just building up thunks saying to do so later, wouldn't I run into the same 2^n-time problem as before? |
| 23:26:57 | × | `2jt quits (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 23:27:03 | <dolio> | I don't think it has anything to do with strictness. |
| 23:27:06 | <geekosaur> | not necessarily, it'd just do the O(n) late |
| 23:27:12 | <dolio> | It has to do with functions being a bad implementation of arrays. |
| 23:27:22 | <hololeap> | ok |
| 23:27:35 | <hololeap> | so this is somewhat specific to the store comonad |
| 23:27:54 | <hololeap> | since Store s a = (s -> a, s) |
| 23:28:39 | <hololeap> | if it memoizes between each mutation you get the same semantics but much better time |
| 23:28:50 | <dolio> | Yes, all the work done by the function is not shared across separate invocations of the function with the same input. |
| 23:29:31 | <dolio> | And every time you split, you introduce a new dimension for work to avoid being shared. |
| 23:30:11 | <hololeap> | oh... this sounds like it could be related to linear types |
| 23:30:52 | <hololeap> | like you could have some automatic memoization thing using linear types... I'm also not very familiar with linear types :p |
| 23:32:29 | × | slowtype- quits (~slowtyper@46.12.42.68.dsl.dyn.forthnet.gr) (Ping timeout: 250 seconds) |
| 23:32:33 | <hololeap> | I guess my other question is if you run `extend` on this Store implementation from adjunctions, would there be some intermediate moment where you would have effectively squared the memory requirements of your vector? |
| 23:33:05 | <hololeap> | since it just uses the default definition of `extend f = fmap f . duplicate` |
| 23:33:06 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 23:33:27 | <hololeap> | and duplicate on a 100x100 vector would be 10,000 100x100 vectors |
| 23:33:35 | <hololeap> | unless laziness somehow saves the day here |
| 23:34:29 | <hololeap> | I wouldn't even know how to investigate this if I wanted to |
| 23:34:30 | <geekosaur> | or purity (shared?) |
| 23:36:28 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 23:37:30 | <dolio> | It doesn't seem like the problem is strictness/laziness. It is thinking about references. |
| 23:37:57 | <hololeap> | specifically because I'm talking about vector though... |
| 23:38:25 | <hololeap> | right? |
| 23:38:45 | <hololeap> | if it was a different Representable, it would have to do with strictness/laziness |
| 23:39:02 | <hololeap> | *and then my brain melts* |
| 23:39:33 | × | DNH quits (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:40:40 | <monochrom> | The Vector you used is likely lazy in elements, only eager in spine. |
| 23:40:45 | <dolio> | If I create an array of length N of arrays of length N of integers, and every element of the outer array is the same array, how much memory does it use? |
| 23:40:57 | → | alx741 joins (~alx741@157.100.197.240) |
| 23:41:06 | <hololeap> | I have no idea, dolio :) |
| 23:41:06 | → | slowtype- joins (~slowtyper@2a02:214c:8494:a100:8f:b3ce:d37b:a68d) |
| 23:41:43 | <monochrom> | Furthermore, I bet per-element laziness is necessary for self-referencing dynamic programming to not become bottom. |
| 23:41:57 | × | slowtyper quits (~slowtyper@user/slowtyper) (Ping timeout: 240 seconds) |
| 23:42:04 | <dminuoso> | What are revisions on hackage? Im dabbling around with a nix overrideCabal to swap out a package, but the builder keeps trying to fetch from URIs like http://hackage.haskell.org/package/config-value-0.8.2/revision/1.cabal |
| 23:42:19 | <dminuoso> | Im trying to figure out what they are and why nix is doing this |
| 23:42:37 | <hololeap> | dminuoso: they are what the sound like. revisions to a cabal file that don't warrant a version bump |
| 23:43:01 | <monochrom> | Revisions are post-mortem changes to the *.cabal files so that you don't have to release a new version number just because you change "base < 5" to "base < 6". |
| 23:43:37 | <monochrom> | Therefore, if possible, you should prefer the latest revision. |
| 23:43:40 | <dminuoso> | Is there any example of a package that has revisions on hackage? |
| 23:43:49 | <hololeap> | they also use dos line endings for some reason :D |
| 23:43:57 | <sclv> | when cabal unpacks a package it overrides the cabal file with that of the latest revision |
| 23:44:40 | <hololeap> | dminuoso: there are tons and tons |
| 23:45:14 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:45:19 | <dminuoso> | Ahh I see. |
| 23:45:21 | <dminuoso> | https://hackage.haskell.org/package/config-value-0.8.1 |
| 23:45:38 | <dminuoso> | Using overrideCabal to just swap out the version is not enough, I gotta remove the revision information |
| 23:45:54 | <dminuoso> | monochrom: thanks, that helped. :) |
| 23:45:58 | <janus> | sclv: can i work on "Rewrite Browse and Search pages for Hackage, implement new ranking" ? |
| 23:46:15 | <sclv> | janus: for gsoc, or just in general? either is welcome! |
| 23:46:25 | <hololeap> | dminuoso: https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md |
| 23:46:39 | × | jespada quits (~jespada@87.74.36.188) (Quit: Textual IRC Client: www.textualapp.com) |
| 23:46:42 | <hololeap> | here is an example: https://hackage.haskell.org/package/aeson-1.5.6.0/revisions/ |
| 23:46:44 | <janus> | i don't need funding so i don't think it makes sense to apply for gsoc? i want to work on it this weekend and next week |
| 23:46:57 | <janus> | and after that if i don't get done in time, of course |
| 23:47:02 | <sclv> | janus: sounds great! |
| 23:47:26 | <hololeap> | (thanks everyone for the discussion on comonads and strict/lazy. I've got some food for thought) |
| 23:47:28 | <dminuoso> | hololeap: Cheers, thats some helpful insights |
| 23:47:33 | <sclv> | if you want to chat about what the general design is let me know, but I think the tickets hopefully explain the issues well enough. |
| 23:48:30 | <janus> | sclv: well i think the most important thing is to just get it loading quickly while retaining the features, that's what i was imagining |
| 23:48:40 | <sclv> | Basically we just need to make displaying browse faster (by letting it start rendering the first page of the table before All Packages are loaded) and make it more useful by letting people add custom filters, both sticky and otherwise. Generally we probably should just use a more modern tabular data js widget, although ideally not one that relies on dragging in a whole mess of npm |
| 23:49:05 | <sclv> | yeah, just fast loading on its own would be a huge win. |
| 23:49:11 | <janus> | right, i was wondering about the frontend, would it make sense to rewrite it for that page, or is that not permitted? |
| 23:49:22 | <janus> | i was working with PureScript for Exfreight and i liked that |
| 23:49:24 | <sclv> | lots of people have told me they like browse but find its load times make it less useful. |
| 23:49:35 | <sclv> | janus: what do you mean "rewrite it for that page"? |
| 23:50:04 | <sclv> | we only use the tabular data widget in the browse/search interface. everything else is plain tables. i'd be happy to swap in anything that doesn't cause the build to become difficult and fragile. |
| 23:50:06 | <janus> | for example, if it was a purescript frontend that implemented filtering dialogs, paging and such, that is a bit of logic |
| 23:50:11 | × | asivitz quits (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:50:44 | <sclv> | yeah, i mean i'd rather whatever it is be "a chunk of js code the page includes." dragging a pursecript dep into the hackage build chain seems painful. |
| 23:51:25 | <janus> | ok, so preferrably just plain javascript, i understand |
| 23:51:28 | <sclv> | if there's a not painful way to do it, i'm open, but i would hate to create a situation where people needed to do more than just "run cabal" to build the hackage server |
| 23:51:43 | <sclv> | (and by people, i mean, primarily me. i'm people :-P) |
| 23:52:03 | <janus> | right right, i understand completely |
| 23:52:19 | <janus> | i think i'll start with the backend anyway |
| 23:52:22 | <janus> | ok i'll dig in |
| 23:52:31 | <sclv> | so yeah, just faster is a huge win. i think being able to filter out deprecated stuff would be nice, etc, but its somewhat lower priority. |
| 23:52:48 | <sclv> | also as you dig in you'll probably get your own sense of what features you think would be easy and pleasant too |
| 23:53:11 | <sclv> | (oh i'll also note that the browse/search page is the least mobile friendly of all our pages -- the rest all work pretty nicely) |
| 23:53:40 | <janus> | right |
| 23:53:42 | <sclv> | (but also, presenting large amounts of tabular data on a mobile screen has innate limitations) |
| 23:53:54 | <hololeap> | dminuoso: I don't know if this will help you at all, but this is how I've been dealing with hackage packages with revisions using gentoo: https://github.com/hololeap/gentoo-haskell/blob/master/dev-lang/dhall/dhall-1.40.2.ebuild |
| 23:55:09 | <hololeap> | the key things to take from that are that the .tar.gz from hackage and the .cabal revision need to be downloaded seperately, and I use dos2unix on the revised cabal file just to make patches more consistent |
| 23:55:15 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 250 seconds) |
| 23:55:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:56:19 | <hololeap> | (because sometimes I like to patch the revised .cabal file for various reasons) |
| 23:56:28 | → | _________ joins (~nobody@user/noodly) |
| 23:57:11 | <dminuoso> | hololeap: Its all good. My problem was just that I was overriding an existing nix package whose original version had a revision. So I essentially took a knife and replaced the version, so the builder tried to fetch that same revision but on the new versino |
| 23:57:25 | <dminuoso> | Which failed when trying to fetch that corresponding cabal file from hackage |
| 23:57:49 | <dminuoso> | So I had to not only change the version to 0.8.2, but also reset the revision to null |
| 23:58:11 | <hololeap> | why do they give the .cabal revisions DOS line endings? |
| 23:58:49 | <geekosaur> | probably html line endings that don't get translated? |
| 23:58:59 | <dminuoso> | Fun fact, "unix line endings" used to be CRLF as well. |
| 23:59:24 | <janus> | the LF used to just roll the paper right? and then the CR would return the carraige |
| 23:59:37 | <janus> | so back then, could you even use LFCR and it'd work? |
| 23:59:43 | <geekosaur> | oh, even better. cr cr lf to give the ksr33 time to catch up |
| 23:59:46 | <dminuoso> | janus: Yes. |
| 23:59:57 | × | marquis_1ndras quits (~marquis_a@124.170.163.166) (Ping timeout: 240 seconds) |
All times are in UTC on 2022-02-11.