2024-03-29 00:03:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-03-29 00:06:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-03-29 00:06:36 +0100 | ystael | (~ystael@user/ystael) |
2024-03-29 00:07:23 +0100 | foul_owl | (~kerry@174-21-71-155.tukw.qwest.net) |
2024-03-29 00:15:30 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-29 00:20:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-29 00:24:37 +0100 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
2024-03-29 00:25:34 +0100 | Guest97 | (~Guest97@216.165.217.88) (Ping timeout: 250 seconds) |
2024-03-29 00:33:55 +0100 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-03-29 00:37:54 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-03-29 00:40:20 +0100 | mei | (~mei@user/mei) |
2024-03-29 00:41:35 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
2024-03-29 00:51:49 +0100 | Achylles | (~Achylles_@45.182.57.57) (Remote host closed the connection) |
2024-03-29 00:55:31 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2024-03-29 01:05:33 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-03-29 01:07:41 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-03-29 01:14:52 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
2024-03-29 01:14:59 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2024-03-29 01:15:37 +0100 | EvanR | (~EvanR@user/evanr) |
2024-03-29 01:15:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) (Ping timeout: 246 seconds) |
2024-03-29 01:17:40 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-03-29 01:24:13 +0100 | rvalue | (~rvalue@user/rvalue) |
2024-03-29 01:24:22 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-03-29 01:24:28 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2024-03-29 01:27:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) |
2024-03-29 01:29:45 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
2024-03-29 01:30:47 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-03-29 01:32:45 +0100 | pavonia | (~user@user/siracusa) |
2024-03-29 01:38:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-29 01:49:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-29 01:50:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-29 01:53:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-03-29 01:55:11 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-29 01:59:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-03-29 02:02:58 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2024-03-29 02:13:42 +0100 | <koala_man> | geekosaur: welp, my gitlab account request was rejected so I can't file those cross-compilation bugs |
2024-03-29 02:14:07 +0100 | <geekosaur> | rejected? |
2024-03-29 02:14:34 +0100 | <geekosaur> | ben was just clearing out a bunch of spam accounts, maybe he overdid it slightly |
2024-03-29 02:14:55 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
2024-03-29 02:15:58 +0100 | <Hecate> | hey koala_man 👋 |
2024-03-29 02:16:31 +0100 | <geekosaur> | I'd apply again, especially if your account name included some non-ASCII |
2024-03-29 02:18:58 +0100 | <haskellbridge> | <s​m> not easy to be a ghc contributor! |
2024-03-29 02:24:35 +0100 | <geekosaur> | not easy to deal with spammers trying anything they can think of to roost in our project 😞 |
2024-03-29 02:28:25 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-03-29 02:30:51 +0100 | mei | (~mei@user/mei) |
2024-03-29 02:34:38 +0100 | mud | (~mud@user/kadoban) |
2024-03-29 02:39:29 +0100 | qqq | (~qqq@92.43.167.61) (Ping timeout: 272 seconds) |
2024-03-29 02:42:46 +0100 | qqq | (~qqq@92.43.167.61) |
2024-03-29 02:48:00 +0100 | <haskellbridge> | <s​m> what's up with that.. is it because ghc is on gitlab ? I don't see this on github |
2024-03-29 02:48:36 +0100 | <haskellbridge> | <s​m> or because they are managing their own gitlab ? |
2024-03-29 02:49:26 +0100 | <geekosaur> | it seems li,ke they din't (or possibly can't) abuse github that way, but they used to be able to get a github account, use it to access our gitlab instance, and get auto-approved |
2024-03-29 02:49:37 +0100 | <geekosaur> | they now go into the approval queue |
2024-03-29 02:50:15 +0100 | <geekosaur> | anyway yes, gitlab works differently from github here |
2024-03-29 02:58:11 +0100 | igemnace | (~ian@user/igemnace) |
2024-03-29 02:58:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) (Ping timeout: 268 seconds) |
2024-03-29 03:03:30 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-03-29 03:07:37 +0100 | euleritian | (~euleritia@dynamic-176-000-155-070.176.0.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-03-29 03:08:23 +0100 | euleritian | (~euleritia@dynamic-176-005-137-111.176.5.pool.telefonica.de) |
2024-03-29 03:14:46 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-03-29 03:20:01 +0100 | otto_s | (~user@p5b044569.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-03-29 03:21:06 +0100 | otto_s | (~user@p5de2f9c4.dip0.t-ipconnect.de) |
2024-03-29 03:27:16 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-03-29 03:33:15 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-03-29 03:36:29 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2024-03-29 03:45:09 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-03-29 03:50:11 +0100 | quintasan | (~quassel@quintasan.pl) () |
2024-03-29 04:08:25 +0100 | parahola | (~a@112.78.178.130) |
2024-03-29 04:10:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-03-29 04:14:50 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-03-29 04:37:17 +0100 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 256 seconds) |
2024-03-29 04:38:59 +0100 | td_ | (~td@i53870932.versanet.de) |
2024-03-29 04:40:39 +0100 | Inst_ | (~Inst@120.244.192.126) |
2024-03-29 04:43:18 +0100 | Inst | (~Inst@120.244.192.126) (Ping timeout: 268 seconds) |
2024-03-29 04:51:44 +0100 | dbaoty | (~dbaoty@tptn-04-0838.dsl.iowatelecom.net) |
2024-03-29 04:59:18 +0100 | Inst_ | (~Inst@120.244.192.126) (Remote host closed the connection) |
2024-03-29 04:59:26 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Read error: Connection reset by peer) |
2024-03-29 04:59:34 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
2024-03-29 04:59:35 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer) |
2024-03-29 04:59:38 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Write error: Connection reset by peer) |
2024-03-29 04:59:38 +0100 | Inst_ | (~Inst@120.244.192.126) |
2024-03-29 04:59:40 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
2024-03-29 04:59:44 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer) |
2024-03-29 04:59:46 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
2024-03-29 04:59:47 +0100 | jakzale | (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
2024-03-29 04:59:47 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
2024-03-29 04:59:50 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
2024-03-29 04:59:50 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2024-03-29 04:59:51 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer) |
2024-03-29 04:59:55 +0100 | jakzale | (6291399afa@user/jakzale) |
2024-03-29 04:59:57 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 256 seconds) |
2024-03-29 04:59:57 +0100 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 256 seconds) |
2024-03-29 04:59:57 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
2024-03-29 04:59:59 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
2024-03-29 05:00:31 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Ping timeout: 256 seconds) |
2024-03-29 05:00:57 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-03-29 05:00:59 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
2024-03-29 05:01:18 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
2024-03-29 05:01:23 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
2024-03-29 05:02:13 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
2024-03-29 05:02:13 +0100 | turlando | (~turlando@user/turlando) |
2024-03-29 05:02:20 +0100 | hook54321 | (sid149355@user/hook54321) |
2024-03-29 05:03:10 +0100 | Pozyomka | (~pyon@user/pyon) |
2024-03-29 05:03:55 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 256 seconds) |
2024-03-29 05:05:01 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
2024-03-29 05:24:28 +0100 | dbaoty | (~dbaoty@tptn-04-0838.dsl.iowatelecom.net) () |
2024-03-29 05:57:58 +0100 | aforemny_ | (~aforemny@i59F516CE.versanet.de) |
2024-03-29 05:59:23 +0100 | aforemny | (~aforemny@i59F516F8.versanet.de) (Ping timeout: 264 seconds) |
2024-03-29 06:01:45 +0100 | parahola | (~a@112.78.178.130) (Remote host closed the connection) |
2024-03-29 06:16:47 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-03-29 06:21:23 +0100 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
2024-03-29 06:23:41 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
2024-03-29 06:27:37 +0100 | poscat | (~poscat@user/poscat) |
2024-03-29 06:46:03 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
2024-03-29 06:49:56 +0100 | michalz | (~michalz@185.246.207.221) |
2024-03-29 06:58:29 +0100 | notzmv | (~daniel@user/notzmv) |
2024-03-29 07:14:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-03-29 07:18:02 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-03-29 07:29:42 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Ping timeout: 255 seconds) |
2024-03-29 07:31:39 +0100 | phma | (~phma@host-67-44-208-21.hnremote.net) (Ping timeout: 268 seconds) |
2024-03-29 07:32:09 +0100 | phma | (~phma@host-67-44-208-48.hnremote.net) |
2024-03-29 07:34:29 +0100 | son0p | (~ff@167.0.169.98) (Ping timeout: 240 seconds) |
2024-03-29 07:50:43 +0100 | Sachin | (~Sachin@103.134.250.242) |
2024-03-29 07:54:29 +0100 | <Sachin> | hi |
2024-03-29 07:57:05 +0100 | Sachin | (~Sachin@103.134.250.242) (Quit: Client closed) |
2024-03-29 08:40:05 +0100 | <hololeap> | I see a Binary instance for Data.Array.Array, but not sure where to find something similar for Vector |
2024-03-29 08:42:36 +0100 | euleritian | (~euleritia@dynamic-176-005-137-111.176.5.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-03-29 08:43:48 +0100 | vpan | (~vpan@212.117.1.172) |
2024-03-29 08:48:57 +0100 | foul_owl | (~kerry@174-21-71-155.tukw.qwest.net) (Ping timeout: 252 seconds) |
2024-03-29 08:53:47 +0100 | <lyxia> | hololeap: https://hackage.haskell.org/package/vector-binary-instances ? |
2024-03-29 08:54:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-29 08:55:21 +0100 | <hololeap> | thx |
2024-03-29 09:00:16 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-03-29 09:02:57 +0100 | foul_owl | (~kerry@185.216.231.179) |
2024-03-29 09:03:29 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-03-29 09:14:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-03-29 09:16:13 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-03-29 09:17:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-29 09:18:49 +0100 | akegalj | (~akegalj@141-136-184-96.dsl.iskon.hr) |
2024-03-29 09:19:34 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-03-29 09:38:33 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-03-29 09:40:09 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-03-29 09:42:10 +0100 | mei | (~mei@user/mei) |
2024-03-29 09:53:01 +0100 | son0p | (~ff@152.203.72.114) |
2024-03-29 09:54:59 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-03-29 09:56:02 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc05100e436667b532df.dip0.t-ipconnect.de) |
2024-03-29 09:56:06 +0100 | igemnace | (~ian@user/igemnace) |
2024-03-29 09:58:31 +0100 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
2024-03-29 09:59:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-29 10:01:46 +0100 | puke | (~puke@user/puke) |
2024-03-29 10:01:59 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-03-29 10:02:01 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-03-29 10:02:01 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-03-29 10:04:31 +0100 | raym | (~ray@user/raym) |
2024-03-29 10:05:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-03-29 10:17:31 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-03-29 10:31:06 +0100 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-03-29 10:34:15 +0100 | <Arsen> | https://paste.sr.ht/~arsen/c61b0c595c9a100f2b4834d2064c8216eb4700bb emacs' haskell-mode indents this data declaration like this. is this the correct convention for wrapping record syntax? is it haskell-mode screwing up? |
2024-03-29 10:37:42 +0100 | <ncf> | what's a correct convention, but also this looks mighty screwed up to me |
2024-03-29 10:38:24 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
2024-03-29 10:38:41 +0100 | <Arsen> | well, that makes it incorrect ;P |
2024-03-29 10:38:48 +0100 | <Arsen> | correct = looks not-screwed-up |
2024-03-29 10:40:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-03-29 10:43:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-29 10:43:39 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-29 10:44:00 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-03-29 10:44:43 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-29 10:47:31 +0100 | <Arsen> | ah, the error is mine! naturally |
2024-03-29 10:47:35 +0100 | <Arsen> | I had extranious commas |
2024-03-29 10:52:47 +0100 | phma | (~phma@host-67-44-208-48.hnremote.net) (Quit: Konversation terminated!) |
2024-03-29 10:53:23 +0100 | phma | (phma@2001:5b0:215d:ba58:a61a:48b0:3e33:afde) |
2024-03-29 10:54:35 +0100 | <phma> | Is there a stack command that gets rid of old versions of GHC in ~/.stack/programs/? |
2024-03-29 10:55:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-29 10:56:04 +0100 | akegalj | (~akegalj@141-136-184-96.dsl.iskon.hr) (Quit: leaving) |
2024-03-29 10:59:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-29 10:59:37 +0100 | <phma> | I have 16 GB in that directory. |
2024-03-29 11:06:50 +0100 | mmhat | (~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) |
2024-03-29 11:07:01 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-03-29 11:07:35 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
2024-03-29 11:09:01 +0100 | <cheater> | can i have a list that has multiple different proxies inside? like [Proxy @Type1, Proxy @Type2, ...] |
2024-03-29 11:09:03 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2024-03-29 11:09:18 +0100 | EvanR | (~EvanR@user/evanr) |
2024-03-29 11:11:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-03-29 11:13:13 +0100 | <cheater> | guess not |
2024-03-29 11:13:23 +0100 | <cheater> | would like to figure out how.. |
2024-03-29 11:17:02 +0100 | <[Leary]> | % data HList c f xs where { Nil :: HList c f '[]; (:~) :: c x => f x -> HList c f xs -> HList c f (x:xs) }; infixr 6 :~ |
2024-03-29 11:17:02 +0100 | <yahb2> | <no output> |
2024-03-29 11:17:07 +0100 | <[Leary]> | % :t Proxy @Int :~ Proxy @Char :~ Nil |
2024-03-29 11:17:07 +0100 | <yahb2> | Proxy @Int :~ Proxy @Char :~ Nil ; :: (c Int, c Char) => HList c Proxy '[Int, Char] |
2024-03-29 11:21:44 +0100 | <cheater> | i'll need a few stiff shots before i can understand that |
2024-03-29 11:23:02 +0100 | <cheater> | hmm |
2024-03-29 11:23:20 +0100 | <cheater> | ok, i guess this makes sense |
2024-03-29 11:23:23 +0100 | <cheater> | thanks |
2024-03-29 11:23:44 +0100 | <cheater> | is HList like a widely used thing? |
2024-03-29 11:23:47 +0100 | <cheater> | does it come in some package? |
2024-03-29 11:24:23 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds) |
2024-03-29 11:28:29 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-03-29 11:32:48 +0100 | <lyxia> | it's a widely known concept but there is no standard implementation because there are so many trade offs |
2024-03-29 11:33:38 +0100 | <lyxia> | There's Hlist, vinyl, and a lot of the effect libraries also roll their own variant of it. |
2024-03-29 11:34:49 +0100 | <lyxia> | a lot of the libraries that "solve" the record problem are some opinionated API on top of hlists. |
2024-03-29 11:35:32 +0100 | <c_wraith> | Honestly, I don't really understand the use case for HList. vinyl at least names the fields so that they can be order-independent |
2024-03-29 11:37:42 +0100 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
2024-03-29 11:38:15 +0100 | myxokephale | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
2024-03-29 11:41:28 +0100 | <cheater> | hmm right |
2024-03-29 11:42:30 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
2024-03-29 11:44:53 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
2024-03-29 11:49:17 +0100 | <[exa]> | Is there something that would allow me to (invisibly and very naively) compare addresses of 2 things to detect if they are different? The use case would be something updating a structure (rewriting) and me detecting whether it (by any accident) changed. In STG it would literally be a comparison of 2 pointers, false positives are OK. I'd say this would be near `unsafeCoerce` but can't find anything |
2024-03-29 11:50:15 +0100 | <c_wraith> | https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Exts.html#v:reallyUnsafePtrEquality |
2024-03-29 11:51:56 +0100 | <[exa]> | ok good I like the `reallyUnsafe` prefix |
2024-03-29 11:52:02 +0100 | <[exa]> | thanks! |
2024-03-29 11:54:29 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
2024-03-29 11:55:16 +0100 | <c_wraith> | I think it can have false negatives, but not false positives. |
2024-03-29 11:55:48 +0100 | [exa] | wondering which case is positive and which is negative |
2024-03-29 11:55:49 +0100 | <c_wraith> | ie, it won't evaluate its arguments, so two things that might be the same when evaluated would return 0# |
2024-03-29 11:56:12 +0100 | <[exa]> | yeah that's ok for me |
2024-03-29 11:56:35 +0100 | tt12310 | (~tt1231@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 260 seconds) |
2024-03-29 11:56:40 +0100 | <[exa]> | I'm planning to shallowly `seq` the stuff anyway before testing |
2024-03-29 11:56:50 +0100 | <[exa]> | perfect |
2024-03-29 11:56:53 +0100 | <[exa]> | tahnks a lot! |
2024-03-29 11:59:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-0ba5-dd7f-585d-7bb4-4d97.rev.sfr.net) |
2024-03-29 11:59:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-29 12:04:50 +0100 | tv | (~tv@user/tv) (Ping timeout: 268 seconds) |
2024-03-29 12:10:48 +0100 | <ski> | @type Control.Parallel.pseq |
2024-03-29 12:10:49 +0100 | <lambdabot> | a -> b -> b |
2024-03-29 12:13:10 +0100 | ski | would indent the opening braces more than the data constructors, fwiw, Arsen |
2024-03-29 12:14:33 +0100 | ncf | . o O ( is haskell indented or discodered? ) |
2024-03-29 12:17:47 +0100 | tv | (~tv@user/tv) |
2024-03-29 12:20:25 +0100 | __monty__ | (~toonn@user/toonn) |
2024-03-29 12:28:06 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 256 seconds) |