Logs: liberachat/#haskell
| 2025-09-19 02:18:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 02:23:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 02:31:16 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-09-19 02:34:17 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-19 02:34:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 02:35:52 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-19 02:36:21 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 2025-09-19 02:36:21 | ChanServ | sets mode +v haskellbridge |
| 2025-09-19 02:40:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 02:41:05 | × | h2t quits (~h2t@user/h2t) (Server closed connection) |
| 2025-09-19 02:41:19 | → | h2t joins (~h2t@user/h2t) |
| 2025-09-19 02:44:08 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-19 02:44:39 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-09-19 02:52:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 02:56:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 03:06:33 | × | jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 260 seconds) |
| 2025-09-19 03:07:30 | → | aforemny joins (~aforemny@i577B1293.versanet.de) |
| 2025-09-19 03:07:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 03:08:06 | × | aforemny_ quits (~aforemny@2001:9e8:6cc8:5900:5a53:58bc:b5c4:22e6) (Ping timeout: 256 seconds) |
| 2025-09-19 03:09:09 | ← | posixlycorrect parts (~posixlyco@user/posixlycorrect) () |
| 2025-09-19 03:10:40 | × | trickard_ quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-19 03:10:53 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-19 03:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 03:14:11 | → | Axma98840 joins (~Axman6@user/axman6) |
| 2025-09-19 03:15:52 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-19 03:16:33 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-19 03:27:56 | × | aaronv_ quits (~aaronv@user/aaronv) (Ping timeout: 256 seconds) |
| 2025-09-19 03:29:37 | → | aaronv_ joins (~aaronv@user/aaronv) |
| 2025-09-19 03:29:45 | × | aaronv_ quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-09-19 03:42:31 | → | khumba joins (~khumba@user/khumba) |
| 2025-09-19 03:47:35 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-19 03:49:27 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-09-19 03:54:37 | <haskellbridge> | <iqubic (she/her)> Does Haskell support putting arbitrary unicode characters in strings? |
| 2025-09-19 03:54:45 | <haskellbridge> | <iqubic (she/her)> I have a section of code in my XMonad config that looks like this: |
| 2025-09-19 03:55:01 | <haskellbridge> | <iqubic (she/her)> renameWS "1" = xmobarFont 1 "" |
| 2025-09-19 03:55:03 | <haskellbridge> | <iqubic (she/her)> renameWS "2" = xmobarFont 1 "" |
| 2025-09-19 03:55:31 | <haskellbridge> | <iqubic (she/her)> I'm using fancy unicode symbols from Nerd Fonts here. They are supposed to be numbers inside boxes. |
| 2025-09-19 03:58:05 | → | gues13178 joins (~username@104-3-192-151.lightspeed.tulsok.sbcglobal.net) |
| 2025-09-19 03:58:52 | gues13178 | is now known as d0liver |
| 2025-09-19 04:04:56 | <pavonia> | You should be able to use Unicode characters in string literals, yes |
| 2025-09-19 04:04:58 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-19 04:05:11 | <haskellbridge> | <iqubic (she/her)> https://dpaste.org/SErmG/raw |
| 2025-09-19 04:05:16 | <haskellbridge> | <iqubic (she/her)> I don't think I can... |
| 2025-09-19 04:05:25 | <haskellbridge> | <iqubic (she/her)> GHC is getting all confused here. |
| 2025-09-19 04:07:42 | jmcantrell_ | is now known as jmcantrell |
| 2025-09-19 04:07:48 | <pavonia> | Hhm |
| 2025-09-19 04:07:48 | <davean> | iqubic: Haskell has full unicode support, but that char litteral well https://www.fileformat.info/info/unicode/char/f03a6/index.htm |
| 2025-09-19 04:07:55 | <davean> | Thats the private usage area. |
| 2025-09-19 04:08:08 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-19 04:08:14 | <davean> | Thats not a unicode symbol |
| 2025-09-19 04:09:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 04:09:35 | <haskellbridge> | <iqubic (she/her)> Right... it's \uf03a6 |
| 2025-09-19 04:09:50 | <haskellbridge> | <iqubic (she/her)> I can still make this work, I think. |
| 2025-09-19 04:10:03 | <davean> | So GHC can't know what to do with it since it is locally defined |
| 2025-09-19 04:10:31 | <haskellbridge> | <iqubic (she/her)> Right... I understand. That's a bit annoying here. |
| 2025-09-19 04:10:44 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-19 04:13:01 | <davean> | Why are you trying to stick a private use char into a string anyway? |
| 2025-09-19 04:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 04:15:00 | <haskellbridge> | <iqubic (she/her)> So that I can send it to my XMobar status bar. I'm having Haskell construct a string to send to XMobar for display |
| 2025-09-19 04:24:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 04:29:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-19 04:33:01 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-19 04:37:51 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-09-19 04:40:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 04:40:21 | × | Axma98840 quits (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2025-09-19 04:44:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-19 04:55:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 04:59:21 | × | trickard_ quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 2025-09-19 05:00:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 05:02:21 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-19 05:03:28 | × | hsw__ quits (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-09-19 05:03:52 | → | hsw__ joins (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) |
| 2025-09-19 05:11:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 05:11:27 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-19 05:12:08 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-09-19 05:17:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-19 05:27:14 | × | trickard_ quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-19 05:27:26 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-19 05:28:20 | × | Lears quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-09-19 05:29:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 05:33:40 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-19 05:33:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 05:33:59 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-19 05:35:38 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 2025-09-19 05:44:05 | × | jle` quits (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 245 seconds) |
| 2025-09-19 05:44:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 05:45:45 | → | Googulator2 joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-19 05:45:45 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-19 05:45:51 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 2025-09-19 05:49:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 05:52:17 | <kaol> | Haskell is lovely. I dread what I'd have to do with some other language where I couldn't do things like (fmap . fmap . fmap) just like that. |
| 2025-09-19 05:55:05 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-19 06:00:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 06:03:31 | → | Axma41470 joins (~Axman6@user/axman6) |
| 2025-09-19 06:04:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-19 06:05:45 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-19 06:10:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 06:10:11 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-19 06:10:44 | × | Googulator2 quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-19 06:10:50 | → | Googulator48 joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
All times are in UTC.