Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 .. 5022
— 502,152 events total
2021-03-27 15:54:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-27 15:55:01 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-27 15:56:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-27 15:56:50 → plakband joins (~plakband@softbank126227040096.bbtec.net)
2021-03-27 15:58:50 → conal joins (~conal@64.71.133.70)
2021-03-27 15:59:09 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-27 16:00:04 <plakband> Does someone have a recommendation for how to best generate LLVM from Haskell? The llvm-hs package seems outdated and a little light on documentation, am I better off just using the bindings directly?
2021-03-27 16:00:13 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-27 16:00:18 × darkcodi[m] quits (darkcodima@gateway/shell/matrix.org/x-dwlebpymojvmimkd) (Quit: Idle for 30+ days)
2021-03-27 16:01:31 × _bin_ quits (~bin@2600:1700:10a1:38d0:f5fc:8391:811:f23a) (Quit: ZNC - https://znc.in)
2021-03-27 16:01:58 → _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net)
2021-03-27 16:03:21 × conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds)
2021-03-27 16:03:28 → conal_ joins (~conal@192.145.118.149)
2021-03-27 16:06:14 × peanut_ quits (~peanut_@2a02:8388:a101:2600:d2a4:3e0:301f:c8cf) (Quit: Leaving)
2021-03-27 16:06:16 hackage dhall-openapi 1.0.0 - Convert an OpenAPI specification to a Dhall package https://hackage.haskell.org/package/dhall-openapi-1.0.0 (GabrielGonzalez)
2021-03-27 16:06:38 <_bin> c
2021-03-27 16:06:42 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-27 16:07:02 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6)
2021-03-27 16:08:15 → stree joins (~stree@68.36.8.116)
2021-03-27 16:08:16 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-03-27 16:13:10 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-27 16:15:33 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds)
2021-03-27 16:16:06 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
2021-03-27 16:16:38 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-03-27 16:19:37 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-27 16:21:02 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-27 16:21:22 → stef204 joins (~stef204@unaffiliated/stef-204/x-384198)
2021-03-27 16:22:03 → kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2021-03-27 16:24:38 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-27 16:25:16 × xff0x quits (~xff0x@2001:1a81:5267:7900:f33d:bbef:8155:bb1d) (Ping timeout: 240 seconds)
2021-03-27 16:25:21 → LKoen joins (~LKoen@191.254.88.92.rev.sfr.net)
2021-03-27 16:25:38 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-27 16:25:58 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-27 16:27:28 → xff0x joins (xff0x@gateway/vpn/mullvad/xff0x)
2021-03-27 16:29:27 → solarion joins (~solarion@fsf/member/solarion)
2021-03-27 16:29:37 solarion is now known as Solarion
2021-03-27 16:29:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-27 16:30:59 → gioyik joins (~gioyik@gateway/tor-sasl/gioyik)
2021-03-27 16:33:04 × stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1)
2021-03-27 16:34:29 × LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-27 16:39:21 <ephemient> maerwald: Microsoft is gradually making it possible to use UTF-8 with the old -A (non-widechar) API: https://docs.microsoft.com/en-us/windows/uwp/design/globalizing/use-utf8-code-page
2021-03-27 16:39:38 <xerox_> by what magic `instance Read X where readPrec = ...' only works when you import GHC.Read? (is that even the right way to go about it? it's just what I found, trying to follow the advice in the Prelude docs about implementing readPrec instead of readsPrec)
2021-03-27 16:40:15 <ephemient> so I'd say it's the opposite of being deprecated
2021-03-27 16:40:58 → elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-27 16:40:59 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-27 16:42:09 <ephemient> xerox_: Prelude exports Read(readsPrec, readList) - it doesn't export Read(readPrec). if you want to, it would be better to import it via Text.Read
2021-03-27 16:42:21 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2021-03-27 16:42:46 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2021-03-27 16:43:16 <c_wraith> xerox_: that's why the error message says it's not a *visible* member
2021-03-27 16:44:09 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-27 16:44:17 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-27 16:45:16 <xerox_> gotcha, appreciate it
2021-03-27 16:45:32 × hidedagger quits (~nate@unaffiliated/hidedagger) (Ping timeout: 265 seconds)
2021-03-27 16:46:11 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-27 16:46:17 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-27 16:46:18 × zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2021-03-27 16:47:08 → zaquest joins (~notzaques@5.128.210.178)
2021-03-27 16:48:31 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-27 16:49:29 → madjest14 joins (~Android@2a02-a420-47-b3b2-8077-257-ad0b-f19d.mobile6.kpn.net)
2021-03-27 16:49:41 × madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-03-27 16:50:39 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-27 16:52:22 × geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-27 16:52:44 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-03-27 16:53:05 → wonko7 joins (~wonko7@62.115.229.50)
2021-03-27 16:56:41 × xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds)
2021-03-27 16:57:36 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
2021-03-27 16:58:43 → xff0x joins (~xff0x@2001:1a81:5267:7900:f33d:bbef:8155:bb1d)
2021-03-27 16:59:00 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-27 16:59:44 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-27 17:03:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-27 17:07:38 × rajivr quits (uid269651@gateway/web/irccloud.com/x-ntrjiqavhvendslg) (Quit: Connection closed for inactivity)
2021-03-27 17:10:59 <maerwald> ephemient: that doesn't change the base problem: how to deal with invalid unicode data
2021-03-27 17:11:17 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2021-03-27 17:11:57 <ephemient> I mean, even on Linux where the API doesn't enforce valid Unicode, it's entirely possible that the filesystem you're working on does... so you have to handle invalid filenames at that point regardless
2021-03-27 17:12:31 <maerwald> ephemient: on unix, filenames are char[]
2021-03-27 17:12:57 <maerwald> the only invalid bytes are '/' and \0
2021-03-27 17:13:07 <ephemient> yes, but if the user has a NTFS filesystem mounted, you can't create invalid filenames - you'll get an error at open time
2021-03-27 17:13:22 × DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection)
2021-03-27 17:13:28 <ephemient> also on macos - also has UNIX-like char[] filenames, but performs Unicode normalization on it
2021-03-27 17:13:48 <maerwald> linux doesn't perform unicode normalization though
2021-03-27 17:14:43 <geekosaur> filesystems can though, and iirc there's at least one hfs+ driver out there
2021-03-27 17:14:47 <ephemient> and macos's normalization rules are also different on HFS+ and AFS...
2021-03-27 17:15:08 <maerwald> so: BytesString to FilePath conversion on unix systems cannot fail, but it can fail on windows. The question is how to abstract over that
2021-03-27 17:15:24 <ephemient> you have to worry about whether the whole encode+open sequence can fail
2021-03-27 17:15:34 <ephemient> why do anything special about filename encoding failure?
2021-03-27 17:16:09 <maerwald> geekosaur: what's relevant is what the syscalls accept
2021-03-27 17:16:41 <ephemient> maerwald: you don't know what the syscalls accept, there's restrictions beyond char[]
2021-03-27 17:16:56 <maerwald> ephemient: what restriction is there on linux?
2021-03-27 17:17:12 <ephemient> depends on the filesystems in use
2021-03-27 17:17:49 <ephemient> Linux can mount FAT and NTFS filesystems, which will apply those rules, and FUSE filesystems which can do anything
2021-03-27 17:18:16 <ephemient> there isn't a global PATH_MAX but different filesystems have internal limits
2021-03-27 17:19:11 × elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1)
2021-03-27 17:19:29 <maerwald> well, I'm not sure I want to do anything about that... following POSIX, everything except null byte and '/' is allowed
2021-03-27 17:19:50 <ephemient> POSIX allows for systems to apply more restrictions than that
2021-03-27 17:20:02 <maerwald> yes, but that's up to the user to ensure
2021-03-27 17:20:11 <maerwald> not to a library implementing FilePath type
2021-03-27 17:20:24 <maerwald> you can consider what filesystem you support
2021-03-27 17:20:34 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-27 17:20:44 → elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-27 17:21:03 <ephemient> in practice Gnome presumes that file paths are UTF-8 encoded and KDE assumes that file paths are $LOCALE encoded (which is going to be UTF-8 these days)
←Prev  Next→
Page 1 .. 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 .. 5022

All times are in UTC.