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