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