Logs: liberachat/#haskell
| 2025-10-23 13:07:16 | <tomsmeding> | but with singletons |
| 2025-10-23 13:07:22 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 260 seconds) |
| 2025-10-23 13:07:23 | <tomsmeding> | (or at least, I assume it's the same thing) |
| 2025-10-23 13:08:04 | <kuribas> | singletons are a good sign you want dependent types :) |
| 2025-10-23 13:08:08 | <tomsmeding> | yes |
| 2025-10-23 13:08:25 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2025-10-23 13:10:58 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-23 13:14:49 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 13:15:03 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 13:16:42 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-23 13:20:40 | → | Googulator72 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 13:20:40 | × | Googulator56 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 13:22:16 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-23 13:23:28 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-23 13:24:03 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-23 13:25:46 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-23 13:26:13 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 13:27:59 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-23 13:32:40 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2025-10-23 13:33:23 | → | malte joins (~malte@mal.tc) |
| 2025-10-23 13:38:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-23 13:40:14 | → | kubrat joins (~kubrat@149.62.205.188) |
| 2025-10-23 13:45:33 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-10-23 13:45:47 | × | Googulator72 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 13:45:48 | → | Googulator50 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 13:47:29 | × | deptype quits (~deptype@2406:b400:d4:c314:8332:aeaf:6094:c234) (Remote host closed the connection) |
| 2025-10-23 13:47:46 | → | deptype joins (~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) |
| 2025-10-23 13:48:03 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-10-23 13:50:03 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-10-23 14:01:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-10-23 14:04:00 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-23 14:06:03 | <bwe> | what's the equivalent for Text as input? `readMaybe :: Read a => String -> Maybe a` |
| 2025-10-23 14:10:23 | <kuribas> | readMaybe . unpack? |
| 2025-10-23 14:10:34 | <kuribas> | Or specific parser for Text |
| 2025-10-23 14:11:38 | <Leary> | bwe: If you want to use the `Read` typeclass, you can only `unpack` to `String`. If it's just for a number, there are some `Reader`s in `Data.Text.Reader`. |
| 2025-10-23 14:12:54 | <bwe> | Leary: That's what I was looking for. Thanks. |
| 2025-10-23 14:13:15 | <bwe> | kuribas: I felt bad at just using unpack to get it to String. |
| 2025-10-23 14:14:04 | <kuribas> | bwe: it is likely to be inefficient, unless the instance get inlined. |
| 2025-10-23 14:19:28 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-10-23 14:22:25 | trickard_ | is now known as trickard |
| 2025-10-23 14:23:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-23 14:24:45 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-23 14:33:19 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-23 14:33:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-23 14:34:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-23 14:40:28 | → | deptype_ joins (~deptype@124.123.188.12) |
| 2025-10-23 14:42:16 | × | deptype quits (~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) (Ping timeout: 256 seconds) |
| 2025-10-23 14:46:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-23 14:46:41 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-23 14:48:07 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-23 14:59:22 | → | FirefoxDeHuk joins (~FirefoxDe@109.108.69.106) |
| 2025-10-23 14:59:43 | × | FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Write error: Broken pipe) |
| 2025-10-23 15:01:35 | → | bggd joins (~bgg@2a01:e0a:819:1510:1b45:b7a3:b4e:5159) |
| 2025-10-23 15:03:26 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-23 15:03:50 | → | Zemy joins (~Zemy@2600:100c:b0a1:2d3a:3c28:9fff:fec1:9e9a) |
| 2025-10-23 15:04:47 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-23 15:05:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) |
| 2025-10-23 15:07:34 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 255 seconds) |
| 2025-10-23 15:10:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 15:15:51 | × | kubrat quits (~kubrat@149.62.205.188) (Ping timeout: 250 seconds) |
| 2025-10-23 15:21:26 | → | kubrat joins (~kubrat@149.62.205.186) |
| 2025-10-23 15:25:34 | → | Zemy_ joins (~Zemy@mobile-107-80-206-52.mycingular.net) |
| 2025-10-23 15:27:05 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-23 15:28:12 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 15:28:29 | × | kubrat quits (~kubrat@149.62.205.186) (Quit: Client closed) |
| 2025-10-23 15:28:38 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-23 15:28:44 | × | Zemy quits (~Zemy@2600:100c:b0a1:2d3a:3c28:9fff:fec1:9e9a) (Ping timeout: 256 seconds) |
| 2025-10-23 15:29:35 | → | Zemy joins (~Zemy@2600:100c:b0a1:2d3a:a862:aeff:fec0:e76a) |
| 2025-10-23 15:31:09 | → | leo2007 joins (~leo@user/leo2007) |
| 2025-10-23 15:31:21 | → | nogloff joins (uid464985@id-464985.tinside.irccloud.com) |
| 2025-10-23 15:32:24 | × | leo2007 quits (~leo@user/leo2007) (Client Quit) |
| 2025-10-23 15:32:24 | × | Zemy_ quits (~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-23 15:33:09 | → | Zemy_ joins (~Zemy@67.78.56.230) |
| 2025-10-23 15:36:06 | × | Zemy quits (~Zemy@2600:100c:b0a1:2d3a:a862:aeff:fec0:e76a) (Ping timeout: 256 seconds) |
| 2025-10-23 15:36:18 | <haskellbridge> | <doc> tomsmeding: I took a look on the gitlab, the assembly error I ran into may have already been fixed with https://gitlab.haskell.org/ghc/ghc/-/issues/25658 seems the same error |
| 2025-10-23 15:37:26 | <tomsmeding> | doc: That sounds highly relevant, yes. If you feel adventurous, you may be able to try a 9.14 alpha :) |
| 2025-10-23 15:39:45 | → | Zemy joins (~Zemy@2600:100c:b0a1:2d3a:e430:6dff:fedb:39b4) |
| 2025-10-23 15:41:05 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-23 15:41:12 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-23 15:42:20 | × | Zemy_ quits (~Zemy@67.78.56.230) (Ping timeout: 256 seconds) |
| 2025-10-23 15:42:42 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-23 15:47:20 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 265 seconds) |
| 2025-10-23 15:48:53 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-10-23 15:50:50 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-23 15:53:08 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-23 15:53:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 15:55:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-23 16:01:23 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-10-23 16:01:32 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-10-23 16:01:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-10-23 16:05:41 | × | Googulator50 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 16:05:46 | → | Googulator27 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 16:08:58 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-10-23 16:13:43 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-10-23 16:14:25 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-23 16:27:37 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-10-23 16:29:34 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-10-23 16:29:56 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 2025-10-23 16:30:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-23 16:35:38 | × | Googulator27 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.