2024-11-08 00:00:45 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
2024-11-08 00:04:34 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-08 00:04:38 +0100 | pnotequalnp | (~pnotequal@user/pnotequalnp) pnotequalnp |
2024-11-08 00:06:47 +0100 | <yin> | this is fun!: i have a bidirectional pattern synonym and try to use record update syntax like `MyPattern { x = ... }` i can get the error `constructor MyPattern does not have field 'x'` |
2024-11-08 00:07:10 +0100 | <yin> | the solution: `(MyPattern) { x = ... }` |
2024-11-08 00:07:46 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
2024-11-08 00:07:47 +0100 | ljdarj1 | ljdarj |
2024-11-08 00:08:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 260 seconds) |
2024-11-08 00:08:24 +0100 | <yin> | this feels kind of lispy |
2024-11-08 00:09:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 00:10:51 +0100 | <yin> | also feels like PatternSynonyms could be patched to allow the former |
2024-11-08 00:11:07 +0100 | pnotequalnp44 | (~pnotequal@user/pnotequalnp) pnotequalnp |
2024-11-08 00:11:57 +0100 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds) |
2024-11-08 00:13:02 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-11-08 00:13:49 +0100 | pnotequalnp44 | (~pnotequal@user/pnotequalnp) (Client Quit) |
2024-11-08 00:15:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-08 00:21:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) |
2024-11-08 00:21:18 +0100 | supercode | (~supercode@user/supercode) supercode |
2024-11-08 00:23:29 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-11-08 00:23:46 +0100 | supercode | (~supercode@user/supercode) (Client Quit) |
2024-11-08 00:25:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 00:30:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 00:31:59 +0100 | son0p | (~ff@186.121.30.70) son0p |
2024-11-08 00:32:34 +0100 | <c_wraith> | that definitely sounds like a feature it should have. |
2024-11-08 00:32:54 +0100 | <c_wraith> | If it allows you to create a record pattern, it should use the same syntax as a record pattern... |
2024-11-08 00:33:05 +0100 | <monochrom> | To me it feels like kind of CPP. "#define add(x,y) ((x)+(y))" :) |
2024-11-08 00:33:49 +0100 | <monochrom> | PPP = pattern pre-processor >:) |
2024-11-08 00:36:51 +0100 | <geekosaur> | record update syntax is a bit weird |
2024-11-08 00:37:38 +0100 | <c_wraith> | like at the parser level? |
2024-11-08 00:37:41 +0100 | <monochrom> | It's probably a simple oversight in the parser. |
2024-11-08 00:38:00 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2024-11-08 00:39:37 +0100 | <geekosaur> | yeh, it's probably missing a case for patsyns so it makes you fall into the parenthesized expression case |
2024-11-08 00:42:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 00:44:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-08 00:44:34 +0100 | <geekosaur> | they left |
2024-11-08 00:44:38 +0100 | <geekosaur> | whoops |
2024-11-08 00:47:13 +0100 | <geekosaur> | anyway it sounds like someone should file a bug on gitlab |
2024-11-08 00:50:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 00:57:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-08 01:00:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-11-08 01:00:49 +0100 | jero98772 | (~jero98772@2800:484:1d7c:cc00::1) (Remote host closed the connection) |
2024-11-08 01:00:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-11-08 01:01:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 01:02:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
2024-11-08 01:07:06 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-08 01:11:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-08 01:14:18 +0100 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 244 seconds) |
2024-11-08 01:19:32 +0100 | Feuermagier | Guest603 |
2024-11-08 01:19:32 +0100 | Guest603 | (~Feuermagi@user/feuermagier) (Killed (platinum.libera.chat (Nickname regained by services))) |
2024-11-08 01:21:25 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9509f155732eb456c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-11-08 01:22:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-08 01:23:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 01:26:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 248 seconds) |
2024-11-08 01:26:42 +0100 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2024-11-08 01:28:34 +0100 | comonad | (~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de) |
2024-11-08 01:28:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 01:37:02 +0100 | user363627 | (~user@user/user363627) user363627 |
2024-11-08 01:39:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 01:40:45 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
2024-11-08 01:41:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-11-08 01:44:03 +0100 | jero98772 | (~jero98772@2800:484:1d7c:cc00::1) |
2024-11-08 01:44:38 +0100 | jero98772 | (~jero98772@2800:484:1d7c:cc00::1) (Remote host closed the connection) |
2024-11-08 01:44:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-08 01:44:56 +0100 | <yin> | point me to the right place to file it and i will |
2024-11-08 01:46:01 +0100 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/issues you will need a GitLab account |
2024-11-08 01:46:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 01:51:03 +0100 | <yin> | why am i being asked for gitlab login credentials on haskell.org? |
2024-11-08 01:51:10 +0100 | <yin> | this can't be right |
2024-11-08 01:51:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-08 01:52:42 +0100 | <geekosaur> | because browsers are dumb? I get that all the time, chrome asks me whether I want to use wiki or gitlab creds |
2024-11-08 01:53:00 +0100 | <geekosaur> | because "obviously" a subdomain is the same auth domain |
2024-11-08 01:53:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-11-08 01:56:14 +0100 | <yin> | no this is not the right way to do auth |
2024-11-08 01:56:49 +0100 | <yin> | either someone made a mistake or i'm misunderstanding something |
2024-11-08 01:56:49 +0100 | sprotte24 | (~sprotte24@p200300d16f05e000c862cdd7b290d75c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-11-08 01:59:19 +0100 | <geekosaur> | that might be a question for #haskell-infrastructure then |
2024-11-08 01:59:42 +0100 | <yin> | ah, this is not OAuth for gitlab.com. it's just for haskell.org's gitlab instance |
2024-11-08 01:59:45 +0100 | <user363627> | yin: the gitlab login credentials being asked would be for the instance being served at gitlab.haskell.org as opposed to gitlab.com |
2024-11-08 01:59:54 +0100 | <user363627> | yes |
2024-11-08 02:00:16 +0100 | <yin> | so i was misunderstanding something after all :) |
2024-11-08 02:00:25 +0100 | <user363627> | :) |
2024-11-08 02:01:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2024-11-08 02:01:53 +0100 | <monochrom> | Tangentailly, a few days ago some of us learned that DNS is not suffix-closed, i.e., subscriptions.techstreet.com resolves fine, but techstreet.com does not exist at all. |
2024-11-08 02:02:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 02:02:23 +0100 | <geekosaur> | …approved |
2024-11-08 02:02:52 +0100 | <yin> | yeah you can mess with DNS records in a myriad of ways |
2024-11-08 02:04:01 +0100 | <yin> | i personaly thing the whole of DNS is broken in more ways than one, but yeah... |
2024-11-08 02:04:08 +0100 | <monochrom> | Haha I need to make a website such that www.monochrom.org says "Haskell is great!" and yet monochrom.org says "Haskell sucks!" |
2024-11-08 02:07:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 02:09:51 +0100 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
2024-11-08 02:17:34 +0100 | <yin> | better yet, make http:// suck and https:// great |
2024-11-08 02:17:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 02:18:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-08 02:19:02 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-11-08 02:22:32 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-11-08 02:23:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 02:27:49 +0100 | <probie> | monochrom: you don't need to mess with DNS records for that, you just need to speak HTTP >= 1.1 |
2024-11-08 02:28:59 +0100 | <monochrom> | That's true. |
2024-11-08 02:33:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 02:34:06 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
2024-11-08 02:36:00 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-11-08 02:37:10 +0100 | califax | (~califax@user/califx) califx |
2024-11-08 02:38:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-08 02:40:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 02:44:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-08 02:55:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 02:58:28 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-11-08 03:00:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 03:03:09 +0100 | <yin> | it depends on how much you want it to suck >:) |
2024-11-08 03:11:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 03:12:49 +0100 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-11-08 03:16:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-11-08 03:17:29 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
2024-11-08 03:18:25 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
2024-11-08 03:18:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-11-08 03:25:01 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
2024-11-08 03:25:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-11-08 03:26:24 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-11-08 03:27:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 03:28:09 +0100 | euleritian | (~euleritia@77.22.252.56) (Remote host closed the connection) |
2024-11-08 03:29:00 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-11-08 03:32:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 03:33:37 +0100 | euleritian | (~euleritia@77.22.252.56) (Remote host closed the connection) |
2024-11-08 03:33:56 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-11-08 03:34:43 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-11-08 03:37:30 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:ecfb:26af:1f31:67a5) |
2024-11-08 03:41:42 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c43d:6fb:2607:cd8b) (Ping timeout: 276 seconds) |
2024-11-08 03:43:00 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 276 seconds) |
2024-11-08 03:43:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 03:50:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-08 04:01:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 04:05:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-08 04:09:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 04:20:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 04:25:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-08 04:33:54 +0100 | Tisoxin | (~Ikosit@user/ikosit) (Ping timeout: 252 seconds) |
2024-11-08 04:36:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 04:40:37 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Ping timeout: 620 seconds) |
2024-11-08 04:41:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 04:46:46 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
2024-11-08 04:47:02 +0100 | Tisoxin | (~Ikosit@user/ikosit) Ikosit |
2024-11-08 04:50:52 +0100 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 272 seconds) |
2024-11-08 04:52:00 +0100 | xdminsy | (~xdminsy@117.147.71.147) xdminsy |
2024-11-08 04:52:08 +0100 | td_ | (~td@i53870904.versanet.de) td_ |
2024-11-08 04:52:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 04:57:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-08 05:00:21 +0100 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 248 seconds) |
2024-11-08 05:01:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-11-08 05:05:03 +0100 | user363627 | weary-traveler |
2024-11-08 05:08:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 05:11:55 +0100 | cjay | (cjay@nerdbox.nerd2nerd.org) cjay |
2024-11-08 05:13:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 05:24:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 05:24:06 +0100 | ih1d_ | (~ih1d@24.139.109.18) |
2024-11-08 05:24:22 +0100 | <ih1d_> | hello! |
2024-11-08 05:25:05 +0100 | <ih1d_> | anybody have good resources for ffi and linking c libraries to projects (using pkg-config etc.) |
2024-11-08 05:31:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-08 05:42:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 05:45:07 +0100 | aforemny | (~aforemny@2001:9e8:6cda:5700:b93:b66b:84fb:f5e8) aforemny |
2024-11-08 05:46:20 +0100 | aforemny_ | (~aforemny@i59F4C67C.versanet.de) (Ping timeout: 255 seconds) |
2024-11-08 05:47:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-11-08 05:47:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 05:49:34 +0100 | <jackdk> | ih1d_: if you don't mind GPL, you could crib https://git.sr.ht/~jack/libtelnet-haskell - it's a simple lib with a pkg-config dependency |
2024-11-08 05:50:07 +0100 | <jackdk> | https://www.youtube.com/watch?v=y95WtkWCmKg I think this FFI talk was the one I saw years ago and thought was valuable |
2024-11-08 05:52:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 05:54:57 +0100 | <int-e> | There are many FFI bindings on Hackage that you could base this on. There's a question of scale... if there are many functions to bind, looking into c2hs may be worthwhile. Or, if it's humongous, adapting c2hs (gtk does that with gtk2hs-buildtools ...) |
2024-11-08 05:58:25 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2024-11-08 06:03:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 06:05:20 +0100 | poscat | (~poscat@user/poscat) poscat |
2024-11-08 06:10:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-08 06:21:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 06:27:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 06:37:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 06:40:08 +0100 | michalz | (~michalz@185.246.207.217) |
2024-11-08 06:42:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-11-08 06:45:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-08 06:53:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 06:54:29 +0100 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
2024-11-08 06:58:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-08 07:02:32 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
2024-11-08 07:03:29 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2024-11-08 07:07:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 07:14:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-08 07:17:54 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |