Logs on 2024-06-11 (liberachat/#haskell)
| 00:01:37 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 00:02:33 | → | numberz joins (~numberz@syn-075-080-181-036.res.spectrum.com) |
| 00:10:52 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 00:11:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 00:12:14 | Lord_of_Life_ | is now known as Lord_of_Life |
| 00:18:22 | ← | numberz parts (~numberz@syn-075-080-181-036.res.spectrum.com) () |
| 00:19:17 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 00:19:54 | → | Rodney_ joins (~Rodney@176.254.244.83) |
| 00:23:05 | × | vadparaszt quits (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 00:23:44 | <_d0t> | how do I run a specific hspec test with stack? I can't seem to pass -p argument properly to hspec via --test-arguments of stack. |
| 00:24:31 | <_d0t> | hspec complains with option -p: Could not parse patter |
| 00:26:19 | <geekosaur> | quoted? --test-arguments "-p whatever" |
| 00:26:52 | <geekosaur> | (I'm guessing; not a stack user) |
| 00:27:24 | <_d0t> | doesn't seem to work |
| 00:27:38 | <_d0t> | stack test --test-arguments "-p '/disallows 31 character/'" |
| 00:27:42 | <_d0t> | this doesn't work either |
| 00:29:38 | <geekosaur> | oh, two levels of quoting. good luck |
| 00:30:34 | <EvanR> | quoteception |
| 00:31:45 | <_d0t> | i hate literally everything about this >__< |
| 00:31:58 | <geekosaur> | there's a stack room on matrix but it doesn't look very active |
| 00:32:31 | <geekosaur> | #haskell-stack:matrix.org |
| 00:32:58 | <_d0t> | this seems like hspec issue rather than stack issue tho |
| 00:33:25 | <_d0t> | -p\ '/testname/' doesn't work either |
| 00:34:25 | <EvanR> | for posterity, what would the solution be in cabal |
| 00:37:14 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 00:37:41 | <_d0t> | running the spec directly doesn't work either. |
| 00:37:41 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) |
| 00:37:45 | <_d0t> | it's definitely hspec issue |
| 00:38:32 | <_d0t> | oh wait.. it worked now |
| 00:38:37 | <_d0t> | I'm utterly confused >__< |
| 00:39:58 | <geekosaur> | I'm not actually sure, re cabal |
| 00:40:18 | × | phma quits (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer) |
| 00:40:19 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 00:40:29 | <geekosaur> | I think it supports nested quoting but the inner ones have to be double quotes, meaning you must use single quotes outside |
| 00:40:47 | <geekosaur> | (or backslash the inner quotes) |
| 00:41:48 | → | phma joins (~phma@2001:5b0:211f:6dd8:9ffc:e310:b6f5:9e6f) |
| 00:42:21 | <haskellbridge> | <sm (@simonmic:matrix.org)> you probably want a -- in that command line |
| 01:03:00 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 01:08:58 | → | gentauro joins (~gentauro@user/gentauro) |
| 01:10:10 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 01:15:21 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:16:32 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 01:17:38 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 01:28:57 | × | Rodney_ quits (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 01:30:50 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:38:16 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) (Remote host closed the connection) |
| 01:38:54 | → | vadparaszt joins (~Rodney@85.255.234.242) |
| 01:54:37 | → | TheCoffeMaker_ joins (~TheCoffeM@200.114.213.75) |
| 01:55:41 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 01:58:05 | × | xff0x quits (~xff0x@2405:6580:b080:900:253a:fa9b:b2fb:f690) (Ping timeout: 272 seconds) |
| 01:59:49 | × | destituion quits (~destituio@2a02:2121:28c:be84:c5ea:45ab:4ef8:3424) (Ping timeout: 246 seconds) |
| 02:06:19 | × | vadparaszt quits (~Rodney@85.255.234.242) (Ping timeout: 272 seconds) |
| 02:07:05 | → | vadparaszt joins (~Rodney@85.255.234.242) |
| 02:14:06 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) |
| 02:15:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 02:34:49 | × | vadparaszt quits (~Rodney@85.255.234.242) (Ping timeout: 272 seconds) |
| 02:38:55 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:39:07 | → | vadparaszt joins (~Rodney@176.254.244.83) |
| 02:40:53 | × | philopsos quits (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 02:48:25 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 02:56:08 | → | danza joins (~francesco@151.35.121.34) |
| 02:56:24 | × | td_ quits (~td@i5387090D.versanet.de) (Ping timeout: 255 seconds) |
| 02:58:19 | → | td_ joins (~td@i53870920.versanet.de) |
| 03:06:34 | → | divya joins (~user@202.170.201.16) |
| 03:10:00 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 03:10:14 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 03:11:30 | → | mlatys joins (~mlatys@39.168.6.177) |
| 03:13:47 | × | divya quits (~user@202.170.201.16) (Ping timeout: 264 seconds) |
| 03:37:11 | × | danza quits (~francesco@151.35.121.34) (Ping timeout: 264 seconds) |
| 03:47:54 | → | aforemny_ joins (~aforemny@i59F516DE.versanet.de) |
| 03:49:28 | × | aforemny quits (~aforemny@2001:9e8:6ceb:b100:bc7c:4872:4d7c:fc47) (Ping timeout: 268 seconds) |
| 03:59:17 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 04:04:55 | → | danse-nr3 joins (~danse-nr3@151.35.121.34) |
| 04:36:39 | × | danse-nr3 quits (~danse-nr3@151.35.121.34) (Remote host closed the connection) |
| 04:37:02 | → | danse-nr3 joins (~danse-nr3@151.35.121.34) |
| 04:42:49 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 04:49:23 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 04:50:18 | → | euleritian joins (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) |
| 04:54:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 04:56:53 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 05:07:35 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 05:08:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:17:25 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 05:17:41 | × | mlatys quits (~mlatys@39.168.6.177) (Quit: Leaving.) |
| 05:18:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:22:03 | <talismanick> | If I have [Text] I'd like to display with a line for each elem, how might I do that with Lucid? |
| 05:22:41 | <talismanick> | `mapM (p_ . pure) myList` doesn't seem to do it |
| 05:22:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:23:55 | × | euleritian quits (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:24:12 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:27:52 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 05:30:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:31:41 | <danse-nr3> | that's more of an HTML question talismanick. Check what is rendered. As far as i know, lines in `p` elements should look like separated paragraphs |
| 05:35:59 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:f7e0:ee76:14c8:82ac) (Quit: Leaving) |
| 05:39:42 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:43:52 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 05:44:57 | → | euleritian joins (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) |
| 05:45:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:58:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:00:45 | → | philopsos joins (~caecilius@user/philopsos) |
| 06:01:45 | × | euleritian quits (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 06:02:03 | → | euleritian joins (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) |
| 06:16:24 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:17:21 | → | killy joins (~killy@staticline-31-183-152-52.toya.net.pl) |
| 06:21:55 | × | danse-nr3 quits (~danse-nr3@151.35.121.34) (Quit: Leaving) |
| 06:29:22 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 06:35:02 | → | dcoutts joins (~duncan@185.110.91.104) |
| 06:39:09 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 06:41:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:43:41 | × | dcoutts quits (~duncan@185.110.91.104) (Ping timeout: 268 seconds) |
| 06:45:02 | → | acidjnk joins (~acidjnk@p200300d6e714dc992098ece2ddb096ca.dip0.t-ipconnect.de) |
| 06:50:30 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:00:47 | → | danse-nr3 joins (~danse-nr3@151.37.122.145) |
| 07:01:50 | → | Square2 joins (~Square4@user/square) |
| 07:02:29 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 07:02:36 | → | Jackneill joins (~Jackneill@217-197-184-135.pool.digikabel.hu) |
| 07:05:39 | × | danse-nr3 quits (~danse-nr3@151.37.122.145) (Ping timeout: 256 seconds) |
| 07:06:40 | → | danse-nr3 joins (~danse-nr3@151.37.122.145) |
| 07:12:43 | × | killy quits (~killy@staticline-31-183-152-52.toya.net.pl) (Ping timeout: 246 seconds) |
| 07:14:47 | → | killy joins (~killy@staticline-31-183-172-102.toya.net.pl) |
| 07:19:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:34:36 | × | danse-nr3 quits (~danse-nr3@151.37.122.145) (Ping timeout: 256 seconds) |
| 07:34:55 | × | dispater quits (~dispater@mail.brprice.uk) (*.net *.split) |
| 07:34:55 | × | __________ quits (~nobody@user/noodly) (*.net *.split) |
| 07:34:55 | × | dtman34_ quits (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (*.net *.split) |
| 07:34:56 | × | fr33domlover quits (~fr33domlo@towards.vision) (*.net *.split) |
| 07:34:56 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split) |
| 07:34:56 | × | Angelz quits (Angelz@user/angelz) (*.net *.split) |
| 07:34:56 | × | jocke-l quits (jocke-l@a.x0.is) (*.net *.split) |
| 07:34:56 | × | haritz quits (~hrtz@user/haritz) (*.net *.split) |
| 07:34:56 | × | motherfsck quits (~motherfsc@user/motherfsck) (*.net *.split) |
| 07:34:56 | × | feetwind quits (~mike@user/feetwind) (*.net *.split) |
| 07:34:56 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 07:34:56 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 07:34:56 | × | bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 07:34:56 | × | evertedsphere quits (sid434122@id-434122.hampstead.irccloud.com) (*.net *.split) |
| 07:35:06 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 07:35:08 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 07:35:08 | → | haritz joins (~hrtz@user/haritz) |
| 07:35:10 | → | evertedsphere joins (sid434122@id-434122.hampstead.irccloud.com) |
| 07:35:16 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 07:35:16 | → | bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 07:35:17 | → | feetwind joins (~mike@user/feetwind) |
| 07:35:17 | → | _________ joins (~nobody@user/noodly) |
| 07:35:18 | → | dispater joins (~dispater@mail.brprice.uk) |
| 07:35:18 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 07:35:19 | → | dtman34 joins (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) |
| 07:35:19 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 07:35:20 | → | jocke-l joins (jocke-l@a.x0.is) |
| 07:35:21 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 07:35:26 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 07:38:00 | → | danse-nr3 joins (~danse-nr3@151.37.122.145) |
| 07:40:04 | × | Square2 quits (~Square4@user/square) (Remote host closed the connection) |
| 07:45:08 | → | Angelz joins (Angelz@Angelz.oddprotocol.org) |
| 07:45:43 | → | chele joins (~chele@user/chele) |
| 07:50:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 07:50:34 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 07:50:58 | → | califax joins (~califax@user/califx) |
| 07:51:02 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 07:52:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:53:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:54:10 | → | gmg joins (~user@user/gehmehgeh) |
| 07:57:52 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:06:18 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:22:53 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 08:23:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:28:13 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 08:28:59 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 08:29:03 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 08:33:13 | × | defanor quits (~defanor@tart.uberspace.net) (Quit: .) |
| 08:43:22 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:49:46 | → | Guest3 joins (~Guest3@2400:1a00:bd11:e451:2e0:4cff:fefc:a34d) |
| 08:55:11 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 09:05:06 | → | SheRejoined joins (haveident@libera/staff/she/her) |
| 09:05:53 | × | She quits (haveident@libera/staff/she/her) (Read error: Connection reset by peer) |
| 09:05:53 | SheRejoined | is now known as She |
| 09:07:13 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:10:05 | × | raym quits (~ray@115.187.32.4) (Ping timeout: 240 seconds) |
| 09:18:55 | → | dcoutts joins (~duncan@212.23.229.86) |
| 09:21:25 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 272 seconds) |
| 09:21:45 | × | She quits (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 09:23:16 | → | She joins (~haveident@libera/staff/she/her) |
| 09:23:17 | × | She quits (~haveident@libera/staff/she/her) (Excess Flood) |
| 09:24:02 | → | She joins (haveident@libera/staff/she/her) |
| 09:30:35 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 09:30:38 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 09:32:38 | × | dcoutts quits (~duncan@212.23.229.86) (Ping timeout: 252 seconds) |
| 09:35:13 | × | Guest3 quits (~Guest3@2400:1a00:bd11:e451:2e0:4cff:fefc:a34d) (Quit: Client closed) |
| 09:35:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:36:16 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:37:14 | → | falafel joins (~falafel@79.117.174.22) |
| 09:46:06 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:46:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 09:47:28 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:50:06 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 09:51:19 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 09:53:22 | × | hc quits (~hc@mail.hce.li) (Remote host closed the connection) |
| 09:54:01 | × | pja quits (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Quit: WeeChat 3.8) |
| 10:01:18 | × | Jackneill quits (~Jackneill@217-197-184-135.pool.digikabel.hu) (Quit: Leaving) |
| 10:04:04 | → | __monty__ joins (~toonn@user/toonn) |
| 10:07:58 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 10:11:34 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:11:39 | × | killy quits (~killy@staticline-31-183-172-102.toya.net.pl) (Quit: leaving) |
| 10:14:48 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:15:56 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 10:25:59 | → | Tisoxin joins (~Ikosit@user/ikosit) |
| 10:29:20 | <Axman6> | _d0t: "it gives me a type error" "oh wait, my code was wrong all along" is one of my favourite messages in here in a long time. How good is Haskell |
| 10:35:25 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 10:36:20 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:38:07 | × | euleritian quits (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 10:38:26 | → | euleritian joins (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) |
| 10:40:22 | × | falafel quits (~falafel@79.117.174.22) (Ping timeout: 255 seconds) |
| 10:46:04 | <stefan-__> | any idea how to enable file completion with "cabal run" in zsh? currently there is no completion in e.g. "cabal run app-exe -- no-file-completion-here" |
| 10:51:04 | → | dcoutts joins (~duncan@212.23.229.86) |
| 10:53:59 | × | euleritian quits (~euleritia@dynamic-176-004-177-131.176.4.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 10:55:38 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:56:31 | <mauke> | I don't know, but that seems more lika zsh question |
| 11:03:40 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:04:11 | × | dcoutts quits (~duncan@212.23.229.86) (Ping timeout: 264 seconds) |
| 11:04:39 | × | danse-nr3 quits (~danse-nr3@151.37.122.145) (Ping timeout: 272 seconds) |
| 11:05:14 | → | danse-nr3 joins (~danse-nr3@151.37.125.201) |
| 11:09:37 | → | xff0x joins (~xff0x@2405:6580:b080:900:611b:282b:7bc2:c44f) |
| 11:15:34 | <tomsmeding> | stefan-__: likely zsh is trying to do intelligent completion for cabal and it's not intelligent enough, so it's actually more annoying than if it did no completion at all |
| 11:15:43 | <tomsmeding> | look at zsh's completion scripts |
| 11:18:41 | → | michals joins (~user@pc192b.fzu.cz) |
| 11:19:56 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 11:20:00 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 11:22:05 | <stefan-__> | tomsmeding: thanks, will take a look |
| 11:37:31 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 11:40:24 | × | drlkf quits (~drlkf@192.184.163.34.bc.googleusercontent.com) (Quit: drlkf) |
| 11:40:48 | → | drlkf joins (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 11:51:04 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:56:32 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:03:01 | → | troydm joins (~troydm@user/troydm) |
| 12:04:54 | × | danse-nr3 quits (~danse-nr3@151.37.125.201) (Ping timeout: 256 seconds) |
| 12:06:25 | → | bontaq joins (~user@ool-45779c03.dyn.optonline.net) |
| 12:07:49 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:27:45 | → | raym joins (~ray@115.187.32.4) |
| 12:32:50 | → | danza joins (~francesco@151.37.125.201) |
| 12:35:44 | → | Guest|68 joins (~Guest|68@222-153-150-75-adsl.sparkbb.co.nz) |
| 12:37:15 | <Guest|68> | struggling to install development environment, fails when ghcup does make: |
| 12:37:16 | <Guest|68> | [ Error ] [GHCup-00841] Process "make" with arguments ["DESTDIR=/home/coirelo/.ghcup/tmp/ghcup-a9b8a4ee52779e37", |
| 12:37:16 | <Guest|68> | [ ... ] "install"] failed with exit code 1. |
| 12:41:40 | <mauke> | anything before that? |
| 12:42:46 | × | Guest|68 quits (~Guest|68@222-153-150-75-adsl.sparkbb.co.nz) (Ping timeout: 255 seconds) |
| 12:45:05 | × | danza quits (~francesco@151.37.125.201) (Ping timeout: 256 seconds) |
| 13:07:32 | → | danse-nr3 joins (~danse-nr3@151.37.125.201) |
| 13:08:25 | × | danse-nr3 quits (~danse-nr3@151.37.125.201) (Remote host closed the connection) |
| 13:08:49 | → | danse-nr3 joins (~danse-nr3@151.37.125.201) |
| 13:09:02 | → | dcoutts joins (~duncan@212.23.229.86) |
| 13:16:32 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 13:17:53 | → | Guest91 joins (~Guest91@ool-2f109624.dyn.optonline.net) |
| 13:19:41 | × | dcoutts quits (~duncan@212.23.229.86) (Ping timeout: 240 seconds) |
| 13:20:48 | → | zopsicle joins (~zopsicle@2001:1c02:2f00:2f00:e4c:72df:ff5c:6bc2) |
| 13:21:08 | → | z0e joins (~z0e@pool-173-61-230-85.cmdnnj.fios.verizon.net) |
| 13:35:35 | <tomsmeding> | the typical thing to do is to look in ~/.ghcup/logs, there's more details there |
| 13:35:38 | <tomsmeding> | (but they left) |
| 13:38:17 | → | ft joins (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 13:42:53 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 13:42:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:44:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:48:07 | × | [_________] quits (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 13:48:39 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 13:49:52 | → | euphores joins (~SASL_euph@user/euphores) |
| 13:54:50 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 13:55:18 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:57:45 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 14:09:28 | → | zetef joins (~quassel@136.255.76.202) |
| 14:12:12 | → | cpressey joins (~weechat@33b62f0c.skybroadband.com) |
| 14:19:47 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 14:20:51 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 14:23:00 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 14:25:29 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 14:29:39 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
| 14:33:39 | × | michals quits (~user@pc192b.fzu.cz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 14:38:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:42:56 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 14:44:59 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 14:52:11 | → | RedFlamingos joins (~RedFlamin@user/RedFlamingos) |
| 14:53:55 | → | masterbuilder joins (~quassel@user/masterbuilder) |
| 14:57:27 | × | APic quits (apic@apic.name) (Ping timeout: 260 seconds) |
| 14:59:47 | × | zetef quits (~quassel@136.255.76.202) (Ping timeout: 268 seconds) |
| 15:04:29 | × | danse-nr3 quits (~danse-nr3@151.37.125.201) (Ping timeout: 240 seconds) |
| 15:08:22 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 15:09:35 | → | zetef joins (~quassel@136.255.76.202) |
| 15:12:36 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:13:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:15:32 | → | hueso joins (~root@user/hueso) |
| 15:16:09 | × | hueso_ quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 15:23:01 | → | jespada_ joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 15:24:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:24:29 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 15:26:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:26:29 | → | danse-nr3 joins (~danse-nr3@ge-19-126-19.service.infuturo.it) |
| 15:36:39 | → | dmj` joins (uid72307@id-72307.hampstead.irccloud.com) |
| 15:36:51 | × | dmj` quits (uid72307@id-72307.hampstead.irccloud.com) (Client Quit) |
| 15:37:17 | → | dmj`_ joins (uid72307@id-72307.hampstead.irccloud.com) |
| 15:41:52 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 15:43:08 | ← | sm parts (~znc@plaintextaccounting/sm) () |
| 15:47:53 | × | danse-nr3 quits (~danse-nr3@ge-19-126-19.service.infuturo.it) (Ping timeout: 268 seconds) |
| 15:49:13 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:49:56 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 15:51:19 | × | raym quits (~ray@115.187.32.4) (Ping timeout: 255 seconds) |
| 15:52:44 | → | dcoutts joins (~duncan@212.23.229.86) |
| 15:56:17 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 15:57:27 | × | zetef quits (~quassel@136.255.76.202) (Ping timeout: 268 seconds) |
| 15:59:21 | → | hueso joins (~root@user/hueso) |
| 16:02:03 | → | zetef joins (~quassel@136.255.76.202) |
| 16:12:47 | → | destituion joins (~destituio@77.18.53.84.tmi.telenormobil.no) |
| 16:17:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:18:54 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 16:21:30 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 16:21:57 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:22:15 | → | euleritian joins (~euleritia@dynamic-176-006-186-255.176.6.pool.telefonica.de) |
| 16:22:34 | → | califax joins (~califax@user/califx) |
| 16:23:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 16:23:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 16:23:18 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 16:24:11 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 16:24:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:24:35 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 16:27:46 | → | Guest76 joins (~Guest54@host33.190-30-41.telecom.net.ar) |
| 16:29:39 | × | Guest76 quits (~Guest54@host33.190-30-41.telecom.net.ar) (Client Quit) |
| 16:32:16 | × | dcoutts quits (~duncan@212.23.229.86) (Ping timeout: 255 seconds) |
| 16:33:37 | × | zetef quits (~quassel@136.255.76.202) (Remote host closed the connection) |
| 16:35:22 | × | cpressey quits (~weechat@33b62f0c.skybroadband.com) (Ping timeout: 268 seconds) |
| 16:36:40 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:36:57 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 16:52:37 | → | cpressey joins (~weechat@33b62f0c.skybroadband.com) |
| 16:57:58 | → | k_hachig joins (~k_hachig@2605:b100:52a:48dc:bd91:2666:dc6c:2861) |
| 17:00:46 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:02:22 | → | k_hachig_ joins (~k_hachig@207.253.217.242) |
| 17:04:27 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:04:40 | × | k_hachig quits (~k_hachig@2605:b100:52a:48dc:bd91:2666:dc6c:2861) (Ping timeout: 268 seconds) |
| 17:04:47 | → | APic joins (apic@apic.name) |
| 17:06:51 | → | k_hachig joins (~k_hachig@2605:b100:52a:48dc:b4e0:5288:a8e:3300) |
| 17:08:08 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:08:42 | × | k_hachig_ quits (~k_hachig@207.253.217.242) (Ping timeout: 255 seconds) |
| 17:10:13 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 17:23:08 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:23:43 | × | RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Remote host closed the connection) |
| 17:26:42 | × | k_hachig quits (~k_hachig@2605:b100:52a:48dc:b4e0:5288:a8e:3300) (Ping timeout: 255 seconds) |
| 17:29:22 | → | k_hachig joins (~k_hachig@2605:b100:52a:48dc:c58c:6add:cfaa:a8de) |
| 17:30:26 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 17:30:50 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 17:33:41 | × | cpressey quits (~weechat@33b62f0c.skybroadband.com) (Ping timeout: 240 seconds) |
| 17:34:09 | → | califax joins (~califax@user/califx) |
| 17:38:53 | × | k_hachig quits (~k_hachig@2605:b100:52a:48dc:c58c:6add:cfaa:a8de) (Ping timeout: 268 seconds) |
| 17:39:46 | → | Square joins (~Square@user/square) |
| 17:41:01 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 17:47:34 | <monochrom> | Belated: On my course forum, achievement unlocked: I replied a student with "Telepathy doesn't exist in this course, you will have to bring actual code to office hours". |
| 17:51:22 | → | igghibu joins (~igghibu@178.249.211.89) |
| 17:51:35 | <Lycurgus> | telepathy being apropos a thing |
| 17:53:13 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:00:10 | → | rosco joins (~rosco@175.136.155.137) |
| 18:08:26 | <[exa]> | course prerequisities: Telepathy 1, Telepathy 2 |
| 18:13:45 | <mauke> | /dev/tty1 |
| 18:13:58 | <monochrom> | haha |
| 18:16:01 | → | danse-nr3 joins (~danse-nr3@ge-19-126-19.service.infuturo.it) |
| 18:16:01 | × | danse-nr3 quits (~danse-nr3@ge-19-126-19.service.infuturo.it) (*.net *.split) |
| 18:16:25 | → | danse-nr3 joins (~danse-nr3@ge-19-126-19.service.infuturo.it) |
| 18:19:37 | × | danse-nr3 quits (~danse-nr3@ge-19-126-19.service.infuturo.it) (Remote host closed the connection) |
| 18:20:00 | → | danse-nr3 joins (~danse-nr3@ge-19-126-19.service.infuturo.it) |
| 18:20:30 | × | danse-nr3 quits (~danse-nr3@ge-19-126-19.service.infuturo.it) (Client Quit) |
| 18:20:55 | → | danse-nr3 joins (~danse-nr3@ge-19-126-19.service.infuturo.it) |
| 18:21:11 | × | danse-nr3 quits (~danse-nr3@ge-19-126-19.service.infuturo.it) (Remote host closed the connection) |
| 18:21:35 | → | danse-nr3 joins (~danse-nr3@ge-19-126-19.service.infuturo.it) |
| 18:27:16 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:28:42 | × | euleritian quits (~euleritia@dynamic-176-006-186-255.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:29:00 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:30:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:30:23 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 18:30:30 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 18:30:43 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:32:25 | → | falafel joins (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 18:33:43 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:34:58 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:39:52 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 18:54:00 | → | rosco joins (~rosco@175.136.155.137) |
| 18:54:44 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 18:55:49 | × | danse-nr3 quits (~danse-nr3@ge-19-126-19.service.infuturo.it) (Ping timeout: 255 seconds) |
| 18:58:33 | → | euleritian joins (~euleritia@dynamic-176-006-182-140.176.6.pool.telefonica.de) |
| 19:05:42 | × | z0e quits (~z0e@pool-173-61-230-85.cmdnnj.fios.verizon.net) (Quit: Ping timeout (120 seconds)) |
| 19:06:11 | × | euleritian quits (~euleritia@dynamic-176-006-182-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:06:40 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:08:38 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 19:09:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 19:09:50 | → | Guest263 joins (~user@72.2.12.179) |
| 19:09:50 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:10:36 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:11:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 19:16:27 | → | Nixkernal joins (~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) |
| 19:22:02 | → | cpressey joins (~weechat@33b62f0c.skybroadband.com) |
| 19:26:36 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 19:27:55 | × | igghibu quits (~igghibu@178.249.211.89) (Quit: igghibu) |
| 19:27:58 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 19:28:32 | <raehik> | I have a `class C a b where f :: Proxy a -> b -> _` i.e. `a` is not instantiated. I'm finding that I can't "derive via" instances of this class due to some coerce mismatch. Which surprises me, because I feel like I should be able to |
| 19:29:36 | <raehik> | concretely these non-instantiated types are actually non-instantiable, no constructors. Why can't I coerce between such types-- or am I doing something else wrong |
| 19:29:44 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 19:34:28 | <tomsmeding> | raehik: what exactly is the coercion error? And what is the type on the _? |
| 19:35:34 | <tomsmeding> | % :i Data.Proxy.Proxy |
| 19:35:35 | <yahb2> | type role Data.Proxy.Proxy phantom ; type Data.Proxy.Proxy :: forall {k}. k -> * ; data Data.Proxy.Proxy t = Data.Proxy.Proxy ; -- Defined in ‘Data.Proxy’ ; instance forall k (s :: k). Monoid (D... |
| 19:35:48 | <tomsmeding> | Proxy has phantom role on its type argument, so you should be able to coerce between any and all proxies |
| 19:41:10 | <raehik> | tomsmeding: "couldn't match representation of type 'a' with that of (attempted via type) arising from a use of 'coerce'" |
| 19:41:35 | <tomsmeding> | raehik: does 'a' occur in _? |
| 19:41:46 | <raehik> | I don't have a very clean repro yet. Figured maybe my Proxy# use caused it, tried using ambiguous types instead, same issue |
| 19:41:50 | <raehik> | No |
| 19:42:47 | <raehik> | https://paste.tomsmeding.com/Ey7DqwPA |
| 19:44:05 | <tomsmeding> | raehik: why do you expect that to work? |
| 19:44:09 | <tomsmeding> | validate' takes an a |
| 19:44:12 | <mauke> | my ghc rejects Refine' because p is ambiguous |
| 19:44:21 | <tomsmeding> | add AllowAmbiguousTypes or add a Proxy p |
| 19:44:23 | <raehik> | ack wait I bet I'm thinking about via wrong |
| 19:44:46 | <tomsmeding> | raehik: in the example you wrote in this chat, it's the 'b' that ghc is complaining about here |
| 19:45:03 | <tomsmeding> | which is an actual argument of f, hence it needs to match representationally |
| 19:45:08 | <tomsmeding> | otherwise you can't coerce the functions |
| 19:45:15 | <tomsmeding> | and 'a' and T1 of course do not match representationally |
| 19:45:30 | <tomsmeding> | er, wait |
| 19:45:58 | <raehik> | yeahhh, I want typevar a to be the via, not typevar b |
| 19:46:09 | <tomsmeding> | what does DerivingVia even mean on multi-param type classes |
| 19:46:21 | <tomsmeding> | now I'm confused too |
| 19:46:26 | <raehik> | I'm about to take a look haha. that I think is my problem |
| 19:47:22 | <EvanR> | deriving via what I mean not what I say xD |
| 19:47:29 | <tomsmeding> | yeah if you swap Refine's arguments, ghc accepts it |
| 19:47:34 | <tomsmeding> | https://play-haskell.tomsmeding.com/saved/qZgZuj5D |
| 19:47:53 | <tomsmeding> | seems DerivingVia takes the last parameter of the class |
| 19:48:02 | <tomsmeding> | but this is completely unspecified in the documentation https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/deriving_via.html#extension-DerivingVia |
| 19:48:11 | <tomsmeding> | anyone feeling like improving that? :p |
| 19:48:23 | <raehik> | hmmm! thanks for troubleshooting with me |
| 19:49:54 | <Hecate> | 'sup raehik |
| 19:50:00 | <raehik> | Hecate: o/ |
| 19:51:51 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 19:52:45 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:52:58 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:57:24 | <tomsmeding> | raehik: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0120-deriving-via.rst#effect-and-interactions |
| 19:57:33 | <tomsmeding> | > It is worth noting that like all other forms of deriving, a standalone DerivingVia declaration only ever targets the last argument to a class. |
| 19:57:46 | <raehik> | Is there any reason to have class params in a certain order (given no functional deps), other than aesthetics |
| 19:58:02 | <tomsmeding> | even functional deps don't impose an order |
| 19:58:24 | <tomsmeding> | if you want the class name itself to fit in somewhere |
| 19:58:39 | <glguy> | raehik: you can partially apply things at the type level like you can at the value level |
| 19:58:43 | <zopsicle> | Partial application of constraints when using constraint kinds |
| 19:58:55 | <glguy> | It's not common to need it, though |
| 19:58:59 | <tomsmeding> | if you have a data type of kind `(Nat -> Type -> Constraint) -> Type` then its type argument should be a class where its first argument has kind Nat :p |
| 19:59:21 | <tomsmeding> | a common usecase is `data Dict c a where Dict :: c a => Dict c a` |
| 19:59:43 | <tomsmeding> | (`Dict Eq t` carries evidence that `t` implements `Eq`) |
| 20:01:50 | <raehik> | I think I'll instruct users to "manually" derive via, since it's not much more complex thankfully |
| 20:02:23 | × | bontaq quits (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 20:10:06 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 20:11:03 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:11:37 | × | falafel quits (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds) |
| 20:14:29 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 20:15:09 | dmj`_ | is now known as dmj` |
| 20:19:39 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:19:46 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 20:23:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:24:21 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 20:30:15 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 20:36:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:37:47 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 20:38:53 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 20:39:55 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:42:39 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 20:44:30 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 20:45:15 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 20:45:53 | × | michalz quits (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 20:49:02 | → | dcoutts joins (~duncan@212.23.229.86) |
| 20:54:03 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 20:55:11 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:55:53 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 21:00:06 | × | cpressey quits (~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0) |
| 21:04:25 | → | alexherbo2 joins (~alexherbo@2a02-8440-310f-36d7-14f0-bbf6-1c6d-a12d.rev.sfr.net) |
| 21:04:27 | × | dcoutts quits (~duncan@212.23.229.86) (Ping timeout: 264 seconds) |
| 21:14:06 | → | rvalue- joins (~rvalue@user/rvalue) |
| 21:14:59 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 21:18:09 | → | biberu joins (~biberu@user/biberu) |
| 21:18:09 | rvalue- | is now known as rvalue |
| 21:21:30 | × | alexherbo2 quits (~alexherbo@2a02-8440-310f-36d7-14f0-bbf6-1c6d-a12d.rev.sfr.net) (Remote host closed the connection) |
| 21:21:33 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 21:22:40 | → | alexherbo2 joins (~alexherbo@2a02-8440-3306-1145-352a-53a6-543c-8dd1.rev.sfr.net) |
| 21:24:05 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 21:26:53 | → | biberu joins (~biberu@user/biberu) |
| 21:32:45 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 21:40:31 | × | Guest263 quits (~user@72.2.12.179) (Ping timeout: 272 seconds) |
| 21:44:01 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:50:16 | → | pavonia joins (~user@user/siracusa) |
| 22:09:15 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:11:00 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 22:13:19 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:14:05 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:3133:5b8c:8231:983f) |
| 22:15:29 | → | falafel joins (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 22:22:53 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:41:19 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 22:42:42 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:45:15 | × | falafel quits (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 264 seconds) |
| 22:51:37 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 22:56:06 | × | alexherbo2 quits (~alexherbo@2a02-8440-3306-1145-352a-53a6-543c-8dd1.rev.sfr.net) (Remote host closed the connection) |
| 22:57:53 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 22:58:45 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 22:59:30 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 23:02:09 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 23:03:46 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 23:07:41 | × | acidjnk quits (~acidjnk@p200300d6e714dc992098ece2ddb096ca.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:08:01 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 23:12:46 | → | mei joins (~mei@user/mei) |
| 23:12:49 | × | dmj` quits (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:14:38 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 23:24:54 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 255 seconds) |
| 23:26:54 | → | dcoutts joins (~duncan@185.110.91.104) |
| 23:31:17 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 23:37:43 | × | zopsicle quits (~zopsicle@2001:1c02:2f00:2f00:e4c:72df:ff5c:6bc2) (Quit: WeeChat 4.2.2) |
| 23:42:36 | × | phma quits (~phma@2001:5b0:211f:6dd8:9ffc:e310:b6f5:9e6f) (Read error: Connection reset by peer) |
| 23:44:03 | → | phma joins (~phma@2001:5b0:2143:81d8:b3f6:8ae3:d398:5c40) |
| 23:50:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 23:50:52 | → | euleritian joins (~euleritia@dynamic-176-000-199-065.176.0.pool.telefonica.de) |
All times are in UTC on 2024-06-11.