2024/03/29

2024-03-29 00:03:57 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-03-29 00:06:23 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-03-29 00:06:36 +0100ystael(~ystael@user/ystael)
2024-03-29 00:07:23 +0100foul_owl(~kerry@174-21-71-155.tukw.qwest.net)
2024-03-29 00:15:30 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-29 00:20:04 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-29 00:24:37 +0100mxs(~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat)
2024-03-29 00:25:34 +0100Guest97(~Guest97@216.165.217.88) (Ping timeout: 250 seconds)
2024-03-29 00:33:55 +0100mesaoptimizer(~mesaoptim@user/PapuaHardyNet)
2024-03-29 00:37:54 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-29 00:40:20 +0100mei(~mei@user/mei)
2024-03-29 00:41:35 +0100mizlan(~mizlan@c-69-181-82-43.hsd1.ca.comcast.net)
2024-03-29 00:51:49 +0100Achylles(~Achylles_@45.182.57.57) (Remote host closed the connection)
2024-03-29 00:55:31 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-03-29 01:05:33 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-29 01:07:41 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2024-03-29 01:14:52 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 268 seconds)
2024-03-29 01:14:59 +0100mizlan(~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2024-03-29 01:15:37 +0100EvanR(~EvanR@user/evanr)
2024-03-29 01:15:55 +0100xff0x(~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) (Ping timeout: 246 seconds)
2024-03-29 01:17:40 +0100acidjnk_new(~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-03-29 01:24:13 +0100rvalue(~rvalue@user/rvalue)
2024-03-29 01:24:22 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-03-29 01:24:28 +0100gehmehgeh(~user@user/gehmehgeh)
2024-03-29 01:27:10 +0100xff0x(~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13)
2024-03-29 01:29:45 +0100mizlan(~mizlan@c-69-181-82-43.hsd1.ca.comcast.net)
2024-03-29 01:30:47 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2024-03-29 01:32:45 +0100pavonia(~user@user/siracusa)
2024-03-29 01:38:27 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-29 01:49:53 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-29 01:50:26 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-29 01:53:06 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-03-29 01:55:11 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-29 01:59:20 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-03-29 02:02:58 +0100mizlan(~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 +0100mizlan(~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 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-29 02:30:51 +0100mei(~mei@user/mei)
2024-03-29 02:34:38 +0100mud(~mud@user/kadoban)
2024-03-29 02:39:29 +0100qqq(~qqq@92.43.167.61) (Ping timeout: 272 seconds)
2024-03-29 02:42:46 +0100qqq(~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 +0100igemnace(~ian@user/igemnace)
2024-03-29 02:58:28 +0100xff0x(~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) (Ping timeout: 268 seconds)
2024-03-29 03:03:30 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-03-29 03:07:37 +0100euleritian(~euleritia@dynamic-176-000-155-070.176.0.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-03-29 03:08:23 +0100euleritian(~euleritia@dynamic-176-005-137-111.176.5.pool.telefonica.de)
2024-03-29 03:14:46 +0100mud(~mud@user/kadoban) (Quit: quit)
2024-03-29 03:20:01 +0100otto_s(~user@p5b044569.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-03-29 03:21:06 +0100otto_s(~user@p5de2f9c4.dip0.t-ipconnect.de)
2024-03-29 03:27:16 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-03-29 03:33:15 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-29 03:36:29 +0100mizlan(~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2024-03-29 03:45:09 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-03-29 03:50:11 +0100quintasan(~quassel@quintasan.pl) ()
2024-03-29 04:08:25 +0100parahola(~a@112.78.178.130)
2024-03-29 04:10:47 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-03-29 04:14:50 +0100sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net)
2024-03-29 04:37:17 +0100td_(~td@i53870908.versanet.de) (Ping timeout: 256 seconds)
2024-03-29 04:38:59 +0100td_(~td@i53870932.versanet.de)
2024-03-29 04:40:39 +0100Inst_(~Inst@120.244.192.126)
2024-03-29 04:43:18 +0100Inst(~Inst@120.244.192.126) (Ping timeout: 268 seconds)
2024-03-29 04:51:44 +0100dbaoty(~dbaoty@tptn-04-0838.dsl.iowatelecom.net)
2024-03-29 04:59:18 +0100Inst_(~Inst@120.244.192.126) (Remote host closed the connection)
2024-03-29 04:59:26 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Read error: Connection reset by peer)
2024-03-29 04:59:34 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb)
2024-03-29 04:59:35 +0100Franciman(~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer)
2024-03-29 04:59:38 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (Write error: Connection reset by peer)
2024-03-29 04:59:38 +0100Inst_(~Inst@120.244.192.126)
2024-03-29 04:59:40 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer)
2024-03-29 04:59:44 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer)
2024-03-29 04:59:46 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-03-29 04:59:47 +0100jakzale(6291399afa@user/jakzale) (Read error: Connection reset by peer)
2024-03-29 04:59:47 +0100Franciman(~Franciman@mx1.fracta.dev)
2024-03-29 04:59:50 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3)
2024-03-29 04:59:50 +0100raghavgururajan(ea769b8000@user/raghavgururajan)
2024-03-29 04:59:51 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer)
2024-03-29 04:59:55 +0100jakzale(6291399afa@user/jakzale)
2024-03-29 04:59:57 +0100Pent(sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 256 seconds)
2024-03-29 04:59:57 +0100hook54321(sid149355@user/hook54321) (Ping timeout: 256 seconds)
2024-03-29 04:59:57 +0100jakesyl_____(sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 256 seconds)
2024-03-29 04:59:59 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2024-03-29 05:00:31 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Ping timeout: 256 seconds)
2024-03-29 05:00:57 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-03-29 05:00:59 +0100turlando(~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.)
2024-03-29 05:01:18 +0100jakesyl_____(sid56879@id-56879.hampstead.irccloud.com)
2024-03-29 05:01:23 +0100Pent(sid313808@id-313808.lymington.irccloud.com)
2024-03-29 05:02:13 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 256 seconds)
2024-03-29 05:02:13 +0100turlando(~turlando@user/turlando)
2024-03-29 05:02:20 +0100hook54321(sid149355@user/hook54321)
2024-03-29 05:03:10 +0100Pozyomka(~pyon@user/pyon)
2024-03-29 05:03:55 +0100cross(~cross@spitfire.i.gajendra.net) (Ping timeout: 256 seconds)
2024-03-29 05:05:01 +0100cross(~cross@spitfire.i.gajendra.net)
2024-03-29 05:24:28 +0100dbaoty(~dbaoty@tptn-04-0838.dsl.iowatelecom.net) ()
2024-03-29 05:57:58 +0100aforemny_(~aforemny@i59F516CE.versanet.de)
2024-03-29 05:59:23 +0100aforemny(~aforemny@i59F516F8.versanet.de) (Ping timeout: 264 seconds)
2024-03-29 06:01:45 +0100parahola(~a@112.78.178.130) (Remote host closed the connection)
2024-03-29 06:16:47 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-29 06:21:23 +0100qqq(~qqq@92.43.167.61) (Quit: leaving)
2024-03-29 06:23:41 +0100poscat(~poscat@user/poscat) (Quit: Bye)
2024-03-29 06:27:37 +0100poscat(~poscat@user/poscat)
2024-03-29 06:46:03 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 255 seconds)
2024-03-29 06:49:56 +0100michalz(~michalz@185.246.207.221)
2024-03-29 06:58:29 +0100notzmv(~daniel@user/notzmv)
2024-03-29 07:14:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-03-29 07:18:02 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-03-29 07:29:42 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Ping timeout: 255 seconds)
2024-03-29 07:31:39 +0100phma(~phma@host-67-44-208-21.hnremote.net) (Ping timeout: 268 seconds)
2024-03-29 07:32:09 +0100phma(~phma@host-67-44-208-48.hnremote.net)
2024-03-29 07:34:29 +0100son0p(~ff@167.0.169.98) (Ping timeout: 240 seconds)
2024-03-29 07:50:43 +0100Sachin(~Sachin@103.134.250.242)
2024-03-29 07:54:29 +0100 <Sachin> hi
2024-03-29 07:57:05 +0100Sachin(~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 +0100euleritian(~euleritia@dynamic-176-005-137-111.176.5.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-03-29 08:43:48 +0100vpan(~vpan@212.117.1.172)
2024-03-29 08:48:57 +0100foul_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 +0100tromp(~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 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-03-29 09:02:57 +0100foul_owl(~kerry@185.216.231.179)
2024-03-29 09:03:29 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-03-29 09:14:27 +0100dcoutts(~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 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-29 09:18:49 +0100akegalj(~akegalj@141-136-184-96.dsl.iskon.hr)
2024-03-29 09:19:34 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds)
2024-03-29 09:38:33 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-03-29 09:40:09 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-29 09:42:10 +0100mei(~mei@user/mei)
2024-03-29 09:53:01 +0100son0p(~ff@152.203.72.114)
2024-03-29 09:54:59 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2024-03-29 09:56:02 +0100acidjnk_new(~acidjnk@p200300d6e714dc05100e436667b532df.dip0.t-ipconnect.de)
2024-03-29 09:56:06 +0100igemnace(~ian@user/igemnace)
2024-03-29 09:58:31 +0100raym(~ray@user/raym) (Ping timeout: 260 seconds)
2024-03-29 09:59:48 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-29 10:01:46 +0100puke(~puke@user/puke)
2024-03-29 10:01:59 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-03-29 10:02:01 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-29 10:02:01 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-03-29 10:04:31 +0100raym(~ray@user/raym)
2024-03-29 10:05:24 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-29 10:17:31 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-29 10:31:06 +0100Square2(~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 +0100waleee(~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 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-29 10:43:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-29 10:43:39 +0100gmg(~user@user/gehmehgeh)
2024-03-29 10:44:00 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-03-29 10:44:43 +0100gmg(~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 +0100phma(~phma@host-67-44-208-48.hnremote.net) (Quit: Konversation terminated!)
2024-03-29 10:53:23 +0100phma(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 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-29 10:56:04 +0100akegalj(~akegalj@141-136-184-96.dsl.iskon.hr) (Quit: leaving)
2024-03-29 10:59:34 +0100tromp(~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 +0100mmhat(~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de)
2024-03-29 11:07:01 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-03-29 11:07:35 +0100xff0x(~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 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-03-29 11:09:18 +0100EvanR(~EvanR@user/evanr)
2024-03-29 11:11:17 +0100Tuplanolla(~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 +0100hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2024-03-29 11:28:29 +0100gmg(~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 +0100mei(~mei@user/mei) (Ping timeout: 268 seconds)
2024-03-29 11:38:15 +0100myxokephale(~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 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com)
2024-03-29 11:44:53 +0100hiredman(~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 +0100MajorBiscuit(~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 +0100tt12310(~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!