Logs: liberachat/#haskell
| 2021-08-07 17:54:46 | <davean> | I once had this joy with that instance, back in the day, figuring out why something worked on one system and not another |
| 2021-08-07 17:54:50 | <AnselmSchler[m]> | wait |
| 2021-08-07 17:55:00 | <AnselmSchler[m]> | where is the problem with having a value 200 byte |
| 2021-08-07 17:55:16 | <geekosaur> | because it's not utf8 |
| 2021-08-07 17:55:26 | <geekosaur> | and it's even worse for codepoints > 256 |
| 2021-08-07 17:55:27 | <AnselmSchler[m]> | oh |
| 2021-08-07 17:55:27 | <AnselmSchler[m]> | I mean |
| 2021-08-07 17:55:34 | <geekosaur> | where it just truncates |
| 2021-08-07 17:55:35 | <AnselmSchler[m]> | geekosaur: what’s it do then? |
| 2021-08-07 17:55:38 | <AnselmSchler[m]> | ah ok |
| 2021-08-07 17:55:40 | <tomsmeding> | AnselmSchler[m]: if you follow the definitions here, you see it does what I said https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/src/Data.ByteString.Internal.html#line-202 |
| 2021-08-07 17:55:57 | <tomsmeding> | at some point it invokes c2w :: Char -> Word8 for each character in the string |
| 2021-08-07 17:56:00 | <davean> | Its in the code page scope of ascii |
| 2021-08-07 17:56:01 | <tomsmeding> | which truncates |
| 2021-08-07 17:56:05 | <AnselmSchler[m]> | I feel like this is a reasonable implementation |
| 2021-08-07 17:56:11 | <geekosaur> | it's just really broken |
| 2021-08-07 17:56:14 | <monochrom> | It is equivalent to iso-latin-1. |
| 2021-08-07 17:56:22 | <davean> | monochrom: I mean, soemtimes |
| 2021-08-07 17:56:25 | <AnselmSchler[m]> | I would not expect a bytestring literal to encode with UTF8 |
| 2021-08-07 17:56:31 | <monochrom> | which is the most evil invention of them all. |
| 2021-08-07 17:56:41 | <davean> | AnselmSchler[m]: but strings in Haskell *are* UTF-8 |
| 2021-08-07 17:56:48 | <tomsmeding> | AnselmSchler[m]: would you expect 'Data.Csv.decode Data.Csv.NoHeader "テスト"' to work with a csv library? |
| 2021-08-07 17:56:57 | <tomsmeding> | it doesn't, because that csv library takes bytestrings :p |
| 2021-08-07 17:57:12 | <tomsmeding> | taken from a real question by a real person in this channel just before you joined |
| 2021-08-07 17:57:30 | <AnselmSchler[m]> | good point |
| 2021-08-07 17:58:06 | <tomsmeding> | IsString for ByteString is in the same realm as fromIntegral; it's totally sensible if you know precisely what you're doing, but it's a huge footgun if you don't |
| 2021-08-07 17:58:19 | <tomsmeding> | for minor ergonomics improvement |
| 2021-08-07 17:58:38 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 17:58:41 | <raehik> | it'd be nice to have a note on this in the Cassava lib, since I kind of expected to be able to mimic the examples in GHCi! |
| 2021-08-07 18:00:37 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-07 18:01:03 | <tomsmeding> | raehik: what do you get if you type "テスト" in your ghci, and what if you type 'fromString "テスト" :: ByteString' |
| 2021-08-07 18:01:31 | <tomsmeding> | which example were you mimicing in ghci, precisely? |
| 2021-08-07 18:01:47 | <raehik> | tomsmeding: "\198\185\200" |
| 2021-08-07 18:01:59 | <tomsmeding> | that's the same as I get, fortunately |
| 2021-08-07 18:02:07 | <raehik> | I was trying to do the simplest no-header decode I could do, without file loading |
| 2021-08-07 18:02:15 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2021-08-07 18:02:18 | × | talismanick quits (~user@2601:644:8502:d700::8fb8) (Ping timeout: 256 seconds) |
| 2021-08-07 18:02:45 | <tomsmeding> | I think this particular test doesn't have anything to do with ghci; it's just the IsString instance of ByteString that's biting you |
| 2021-08-07 18:02:49 | <raehik> | decode @[Text] NoHeader "blablabla" |
| 2021-08-07 18:02:52 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds) |
| 2021-08-07 18:03:23 | <raehik> | Yes, you're right. glad I could get why it occurs cleared up too, thank you |
| 2021-08-07 18:03:29 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:05:01 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 18:05:30 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-07 18:05:39 | → | hueso joins (~root@user/hueso) |
| 2021-08-07 18:07:40 | <dsal> | I've been trying to use hedgehog more because people say it's amazing and stuff. I can see some of the good parts, but it always feels way more imperative. |
| 2021-08-07 18:20:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-07 18:22:39 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:24:42 | → | hueso joins (~root@user/hueso) |
| 2021-08-07 18:26:07 | → | deadletter[m] joins (~deadlette@2001:470:69fc:105::d277) |
| 2021-08-07 18:32:00 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2021-08-07 18:32:24 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-07 18:33:09 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:33:18 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-07 18:35:02 | → | hueso joins (~root@user/hueso) |
| 2021-08-07 18:36:49 | × | Guest9465 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-07 18:40:28 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-07 18:40:32 | chris | is now known as Guest9928 |
| 2021-08-07 18:45:32 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:46:41 | → | hueso joins (~root@user/hueso) |
| 2021-08-07 18:48:43 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-122.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-07 18:52:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-07 18:54:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-07 18:55:16 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-07 18:56:19 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-07 19:01:30 | × | xff0x quits (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) (Ping timeout: 240 seconds) |
| 2021-08-07 19:03:30 | → | xff0x joins (~xff0x@2001:1a81:5329:ea00:e083:f7b4:2cd3:667d) |
| 2021-08-07 19:04:04 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-07 19:08:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 19:13:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-07 19:14:12 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-07 19:14:47 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 19:15:12 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 19:15:47 | × | TheCoffeMaker_ quits (~TheCoffeM@125-121-245-190.fibertel.com.ar) (Ping timeout: 258 seconds) |
| 2021-08-07 19:16:37 | × | MQ-17J quits (~MQ-17J@8.21.10.94) (Ping timeout: 258 seconds) |
| 2021-08-07 19:16:55 | → | MQ-17J joins (~MQ-17J@8.21.10.94) |
| 2021-08-07 19:17:23 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-08-07 19:17:50 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2021-08-07 19:18:47 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-07 19:19:50 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-08-07 19:22:27 | → | Guest1760 joins (~user@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) |
| 2021-08-07 19:23:53 | ← | Guest1760 parts (~user@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) () |
| 2021-08-07 19:24:17 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 245 seconds) |
| 2021-08-07 19:25:44 | → | azeem joins (~azeem@dynamic-adsl-78-13-247-121.clienti.tiscali.it) |
| 2021-08-07 19:27:29 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-08-07 19:27:39 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-08-07 19:27:42 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 2021-08-07 19:30:32 | → | marsupilami joins (~martin@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) |
| 2021-08-07 19:32:42 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-08-07 19:34:49 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-07 19:34:53 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-07 19:36:18 | × | Guest9928 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-07 19:38:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-08-07 19:38:33 | ← | marsupilami parts (~martin@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) (Leaving) |
| 2021-08-07 19:38:57 | → | endlesseditions joins (~endlessed@199.19.117.167) |
| 2021-08-07 19:47:40 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2021-08-07 19:55:26 | × | mattil quits (~mattilinn@87-92-57-75.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-08-07 20:01:13 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-07 20:02:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-07 20:02:31 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
All times are in UTC.