Logs on 2024-09-19 (liberachat/#haskell)
| 00:01:06 | × | synchromesh quits (~john@203.94.52.182) (Ping timeout: 252 seconds) |
| 00:02:24 | → | pavonia joins (~user@user/siracusa) |
| 00:05:41 | × | Angelz quits (Angelz@user/angelz) (Ping timeout: 265 seconds) |
| 00:14:40 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:16:29 | → | tv joins (~tv@user/tv) |
| 00:20:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:24:11 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 00:29:41 | × | xff0x quits (~xff0x@2405:6580:b080:900:6729:dbd:b464:a963) (Ping timeout: 248 seconds) |
| 00:29:45 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 00:32:57 | → | Angelz joins (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 00:36:09 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 00:40:55 | → | rosco joins (~rosco@175.136.158.234) |
| 01:04:10 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 01:04:44 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:05:37 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 01:06:13 | → | mceresa joins (~mceresa@user/mceresa) |
| 01:12:24 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 01:13:59 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 01:14:37 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:19:11 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 01:19:24 | → | blober joins (~blober@185.98.172.26) |
| 01:19:40 | × | st_aldini quits (~Thunderbi@136.48.22.91) (Remote host closed the connection) |
| 01:20:01 | → | st_aldini joins (~Thunderbi@136.48.22.91) |
| 01:20:09 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 01:22:10 | <blober> | Based on https://hackage.haskell.org/package/HsYAML-0.2.1.4/docs/Data-YAML.html#g:3 , I don't get how |
| 01:22:11 | <blober> | ``` |
| 01:22:11 | <blober> | example = decode1 "- 1\n- 2" :: Either (Pos, String) [Int] |
| 01:22:12 | <blober> | ``` |
| 01:22:12 | <blober> | the above works, but this doesn't |
| 01:22:13 | <blober> | ``` |
| 01:22:13 | <blober> | my_example = decode1 "- foo" :: Either (Pos, String) [String] |
| 01:22:14 | <blober> | ``` |
| 01:22:14 | <blober> | results in error |
| 01:22:15 | <blober> | ``` |
| 01:22:15 | <blober> | • No instance for ‘FromYAML Char’ arising from a use of ‘decode1’ |
| 01:22:16 | <blober> | ``` |
| 01:22:42 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:28:43 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 01:29:10 | × | institor quits (~henricus@user/institor) (Killed (ozone (No Spam))) |
| 01:30:44 | → | zzz joins (~z@user/zero) |
| 01:31:08 | × | zero quits (~z@user/zero) (Read error: Connection reset by peer) |
| 01:31:08 | zzz | is now known as zero |
| 01:31:16 | <Axman6> | blober: Does using [Text] work? |
| 01:31:50 | <Axman6> | because I think it's actually expecting to parse [[Char]] which is where that error is coming from |
| 01:32:44 | <Axman6> | since there's no isntance for FromYAML for Char it doesn't even get to the point of trying to parse. |
| 01:33:42 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 01:33:44 | <blober> | yes, you were correct |
| 01:38:20 | <blober> | can you preserve comments when dumping yaml? I see there was some work in https://github.com/haskell-hvr/HsYAML/pull/24 but not sure how to use it |
| 01:47:27 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 01:51:39 | × | lystra quits (~lystra@208.59.105.41) (Ping timeout: 246 seconds) |
| 01:51:41 | <Axman6> | I'm not familiar with the library, but it looks like support for comments is in the released version. What do you mean when you say dumping yaml? |
| 01:53:17 | <blober> | like doing roundtrip and inserting a key |
| 01:54:40 | <Axman6> | I have a feeling you might be able to do it using the event based interface but I can't see how to do it using the Node type |
| 01:54:59 | <blober> | I see |
| 01:58:38 | <Axman6> | how you use that to change specific parts of the structure I'm not sure |
| 01:58:47 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 01:59:17 | <Axman6> | but I'd start here: https://hackage.haskell.org/package/HsYAML-0.2.1.4/docs/Data-YAML-Event.html#g:1 |
| 02:01:11 | <blober> | TY |
| 02:04:50 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 02:05:30 | → | lystra joins (~lystra@208.59.105.41) |
| 02:12:30 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 02:17:04 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
| 02:27:32 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 02:32:09 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 02:33:28 | × | blober quits (~blober@185.98.172.26) (Quit: Client closed) |
| 02:36:58 | → | hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 02:37:03 | × | td_ quits (~td@i53870921.versanet.de) (Ping timeout: 245 seconds) |
| 02:38:56 | → | td_ joins (~td@83.135.9.0) |
| 02:51:03 | → | weary-traveler joins (~user@user/user363627) |
| 02:59:51 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 03:28:39 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 03:28:42 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:31:29 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 03:34:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:35:31 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 03:35:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 03:36:53 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:46:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 03:49:16 | → | greenflower joins (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 04:15:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:15:51 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 04:15:54 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 04:21:28 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 04:24:39 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:24:59 | → | califax joins (~califax@user/califx) |
| 04:25:11 | × | greenflower quits (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
| 04:25:47 | → | neuroevolutus joins (~neuroevol@206.217.206.41) |
| 04:26:05 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:26:25 | → | califax joins (~califax@user/califx) |
| 04:32:31 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 04:32:54 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:34:49 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:51:04 | × | neuroevolutus quits (~neuroevol@206.217.206.41) (Quit: Client closed) |
| 04:53:43 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 04:53:55 | → | Guest60 joins (~Guest60@118.33.40.93) |
| 04:54:40 | → | michalz joins (~michalz@185.246.207.218) |
| 04:55:02 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 04:56:10 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 05:04:55 | Guest60 | is now known as dontdieych2 |
| 05:05:35 | × | dontdieych2 quits (~Guest60@118.33.40.93) (Changing host) |
| 05:05:35 | → | dontdieych2 joins (~Guest60@user/dontdieych2) |
| 05:05:48 | × | dontdieych2 quits (~Guest60@user/dontdieych2) (Quit: Client closed) |
| 05:06:23 | → | dontdieych2 joins (~dontdieyc@user/dontdieych2) |
| 05:15:25 | → | greenflower joins (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 05:17:09 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 05:17:23 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:24:15 | × | greenflower quits (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
| 05:24:44 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 05:25:36 | → | euleritian joins (~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) |
| 05:27:14 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 05:28:38 | → | st_aldini1 joins (~Thunderbi@136.48.22.91) |
| 05:30:03 | × | st_aldini quits (~Thunderbi@136.48.22.91) (Ping timeout: 246 seconds) |
| 05:30:03 | st_aldini1 | is now known as st_aldini |
| 05:30:05 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:36:36 | × | euleritian quits (~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 05:40:49 | → | misterfish joins (~misterfis@84.53.85.146) |
| 05:41:38 | → | euleritian joins (~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) |
| 05:44:20 | × | euleritian quits (~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:44:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:46:21 | → | rosco joins (~rosco@175.136.158.234) |
| 05:55:08 | × | dontdieych2 quits (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
| 05:55:09 | lol_ | is now known as jcarpenter2 |
| 05:55:32 | → | dontdieych2 joins (~dontdieyc@user/dontdieych2) |
| 05:56:21 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 05:59:32 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:11:38 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 06:23:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:24:32 | × | Zer000 quits (~02@64.137.132.10) (Quit: Leaving) |
| 06:31:59 | → | mesaoptimizer joins (~mesaoptim@user/PapuaHardyNet) |
| 06:36:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 06:39:42 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 06:40:48 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 06:41:01 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 06:53:04 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:57:58 | → | ash3en joins (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) |
| 06:58:34 | → | Digitteknohippie joins (~user@user/digit) |
| 06:58:44 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 06:59:08 | × | ft quits (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:00:03 | × | caconym8 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:39 | → | caconym8 joins (~caconym@user/caconym) |
| 07:03:47 | → | mreh joins (~matthew@host86-146-138-19.range86-146.btcentralplus.com) |
| 07:06:10 | → | misterfish joins (~misterfis@h239071.upc-h.chello.nl) |
| 07:08:22 | → | ubert joins (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 07:21:28 | × | ubert quits (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 07:21:50 | Digitteknohippie | is now known as Digit |
| 07:37:23 | → | acidjnk joins (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) |
| 07:43:15 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 07:46:00 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 07:47:45 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:52:19 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 07:59:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:00:04 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 08:02:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:02:17 | × | astroanax1 quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
| 08:02:31 | → | astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 08:12:27 | × | misterfish quits (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 246 seconds) |
| 08:14:21 | × | synchrom1 quits (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) (Read error: Connection reset by peer) |
| 08:15:53 | → | synchromesh joins (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
| 08:18:04 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.3.3) |
| 08:23:35 | → | CiaoSen joins (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) |
| 08:24:01 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 08:25:22 | × | ash3en quits (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) (Quit: ash3en) |
| 08:29:15 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:31:19 | → | ubert joins (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) |
| 08:33:05 | → | misterfish joins (~misterfis@87.215.131.102) |
| 08:39:42 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:44:55 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:46:51 | <kuribas> | Man, I miss having dependent types with python pandas, where I could have the compiler tell me when a field is missing from a dataframe. |
| 08:48:57 | <kuribas> | I know for many the overhead of static (dependent) types swamps the benefits, but I don't feel it. |
| 08:53:02 | → | srazkvt joins (~sarah@user/srazkvt) |
| 09:06:44 | → | greenflower joins (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 09:08:27 | × | CiaoSen quits (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 09:14:38 | → | __monty__ joins (~toonn@user/toonn) |
| 09:16:43 | → | gvg joins (~dcd@user/gvg) |
| 09:17:09 | → | polyphem joins (~rod@pd9fbfabc.dip0.t-ipconnect.de) |
| 09:25:42 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:26:04 | → | califax joins (~califax@user/califx) |
| 09:26:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:26:45 | → | califax joins (~califax@user/califx) |
| 09:27:40 | → | chromo joins (~chromo@210.185.108.225) |
| 09:28:31 | × | chromo quits (~chromo@210.185.108.225) (Remote host closed the connection) |
| 09:28:48 | → | chromo joins (~chromo@210.185.108.225) |
| 09:32:22 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 09:34:28 | → | mari-estel joins (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) |
| 09:48:47 | × | greenflower quits (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds) |
| 09:55:09 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 09:56:23 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:57:54 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 09:58:43 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:00:15 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:13:41 | → | Squared joins (~Square@user/square) |
| 10:20:04 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 10:32:23 | × | bairyn quits (~bairyn@50.250.232.19) (Ping timeout: 255 seconds) |
| 10:32:32 | → | bairyn joins (~bairyn@50.250.232.19) |
| 10:35:31 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:36:52 | → | ZharMeny joins (~ZharMeny@user/ZharMeny) |
| 10:42:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 10:43:26 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:47:13 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
| 10:49:06 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:49:55 | → | euleritian joins (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
| 10:50:17 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 10:53:13 | × | euleritian quits (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:53:30 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:00:04 | × | caconym8 quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:19 | → | caconym8 joins (~caconym@user/caconym) |
| 11:03:21 | × | dontdieych2 quits (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
| 11:03:30 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 265 seconds) |
| 11:03:40 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 11:04:57 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 11:06:02 | youthlic1 | is now known as youthlic |
| 11:07:22 | → | Square2 joins (~Square4@user/square) |
| 11:07:42 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 11:10:45 | × | Squared quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 11:11:10 | × | polyphem quits (~rod@pd9fbfabc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 11:12:19 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 11:12:24 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 11:13:30 | → | xff0x joins (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) |
| 11:16:43 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 11:17:54 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 11:19:06 | → | ash3en joins (~Thunderbi@149.222.143.226) |
| 11:20:54 | × | mreh quits (~matthew@host86-146-138-19.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 11:20:59 | → | Blasius joins (~Blasius@2.219.56.221) |
| 11:21:39 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:22:00 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 11:41:06 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 11:41:15 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 11:43:49 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 11:45:33 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 11:49:06 | × | mari-estel quits (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) (Ping timeout: 246 seconds) |
| 11:53:25 | × | ubert quits (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) (Ping timeout: 248 seconds) |
| 11:54:05 | <dminuoso> | The biggest price of dependent types is the lack of a rich ecosystem of libraries and tools for the same languages. |
| 11:54:51 | <dminuoso> | It's just a sad reality that when you want to solve problem XYZ, it's often not worth the perceived benefit of some additional safety over the convenience of not having to write 90% of the code required for the solution. |
| 11:54:56 | → | weary-traveler joins (~user@user/user363627) |
| 11:55:30 | <dminuoso> | In practice, a rich library ecosystem beats a good language. |
| 11:59:05 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Ping timeout: 265 seconds) |
| 12:00:16 | → | Digitteknohippie joins (~user@user/digit) |
| 12:00:34 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 12:06:19 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:06:47 | Digitteknohippie | is now known as Digit |
| 12:06:52 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:13:15 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
| 12:15:05 | → | misterfish joins (~misterfis@178.229.231.194) |
| 12:16:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 12:17:27 | → | euleritian joins (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
| 12:22:23 | ChanServ | sets mode +o litharge |
| 12:22:24 | litharge | sets mode -bo *!*@46.56.199.104 litharge |
| 12:22:46 | → | greenflower joins (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 12:23:55 | × | synchromesh quits (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
| 12:25:28 | → | synchromesh joins (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
| 12:27:17 | → | user363627 joins (~user@user/user363627) |
| 12:31:36 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 272 seconds) |
| 12:36:02 | <L29Ah> | gotta create a good libraries foundation |
| 12:36:36 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 12:37:25 | → | causal joins (~eric@50.35.88.207) |
| 12:42:01 | → | srazkvt joins (~sarah@user/srazkvt) |
| 12:51:39 | → | weary-traveler joins (~user@user/user363627) |
| 12:51:49 | × | euleritian quits (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 12:52:37 | → | euleritian joins (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) |
| 13:02:06 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:07:03 | → | ubert joins (~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) |
| 13:07:29 | × | itaipu quits (~itaipu@168.121.98.63) (Ping timeout: 260 seconds) |
| 13:10:39 | → | itaipu joins (~itaipu@168.121.98.63) |
| 13:11:36 | × | euleritian quits (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:11:54 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:12:50 | <kuribas> | dminuoso: That's not the price of dependent types, it's the price of anything new. |
| 13:13:19 | <kuribas> | At one point it was like this for haskell, or lazy functional languages. |
| 13:19:48 | <[exa]> | basically for any "practical" language |
| 13:20:35 | × | ash3en quits (~Thunderbi@149.222.143.226) (Quit: ash3en) |
| 13:21:59 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Quit: Lost terminal) |
| 13:22:46 | → | ystael joins (~ystael@user/ystael) |
| 13:34:42 | <cheater> | if we're gonna do an overhaul of the haskell ecosystem we should have: |
| 13:36:14 | <cheater> | 1. linear or affine types, controllable memory layout, copy counting, and the ability for multiple runtimes to use the same memory objects |
| 13:36:33 | × | ubert quits (~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) (Ping timeout: 246 seconds) |
| 13:36:42 | <cheater> | 2. some other stuff i was going to say but i forgot |
| 13:37:13 | <mauke> | 3 a partridge in a pear tree |
| 13:37:17 | <cheater> | 3. a type system for tracking the complexity of algorithms |
| 13:39:01 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 13:40:38 | → | mari-estel joins (~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef) |
| 13:40:59 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 13:44:12 | → | ubert joins (~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2) |
| 13:58:10 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
| 13:58:56 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 14:00:57 | <probie> | Exploring linear types in Haskell is fun. I don't think they should be a base for optimisation. At that point, just make a new language |
| 14:04:12 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
| 14:04:14 | <probie> | Haskell is a strongly typed functional language with laziness and typeclasses. Any attempt to move away from any part of that is going to get a lot of flak from certain parts of the community |
| 14:06:36 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 14:10:23 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 14:17:51 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
| 14:32:49 | <kuribas> | Haskell already has linear types |
| 14:33:20 | → | chromo joins (~chromo@210.185.108.225) |
| 14:34:19 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 14:34:44 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 14:34:57 | × | greenflower quits (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds) |
| 14:37:03 | × | misterfish quits (~misterfis@178.229.231.194) (Ping timeout: 245 seconds) |
| 14:38:55 | → | misterfish joins (~misterfis@178.229.202.223) |
| 14:40:05 | → | rvalue- joins (~rvalue@user/rvalue) |
| 14:40:06 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 14:40:19 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 264 seconds) |
| 14:44:11 | rvalue- | is now known as rvalue |
| 14:46:11 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 255 seconds) |
| 14:47:20 | <kuribas> | dminuoso: in that sense Python would be the better language, but I am still convinced python is a bad language for any large projects, that need to be stable and long running. |
| 14:47:51 | → | athan joins (~athan@2600:382:1f1b:231a:7a65:ae9e:1d60:7f0d) |
| 14:47:56 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 14:47:59 | <kuribas> | dminuoso: That's where you get the nonsense to run in kubernetes where you can scale and restart at will. |
| 14:49:00 | <kaol> | Is it good for small projects either? |
| 14:49:17 | <kuribas> | For one of scripts. For a small POC of a calculation. |
| 14:49:50 | <kuribas> | Where it's too big for bash, but not big enough for java. |
| 14:50:31 | <mari-estel> | django is quite powerful, also data crunching with python is neat |
| 14:51:11 | <kuribas> | It is neat, until you have to maintain a project that has been written by researchers, and made into a product just because they could. |
| 14:51:48 | <mari-estel> | just because that's the industry, i don't see researchers striving to ship it |
| 14:53:53 | → | chromo joins (~chromo@210.185.108.225) |
| 14:55:24 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:63b4:82b1:f852:f702) (Ping timeout: 260 seconds) |
| 15:02:47 | <kuribas> | sure, it's managers pushing to ship research level code. |
| 15:05:15 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 15:06:54 | → | terrorjack4 joins (~terrorjac@2a01:4f8:c17:dc9f::) |
| 15:08:31 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 15:08:42 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 15:09:18 | → | rvalue joins (~rvalue@user/rvalue) |
| 15:13:22 | × | mari-estel quits (~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef) (Quit: on the move) |
| 15:18:03 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
| 15:25:58 | → | chromo joins (~chromo@210.185.108.225) |
| 15:31:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:32:26 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
| 15:34:18 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 15:36:38 | → | greenflower joins (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 15:37:48 | × | athan quits (~athan@2600:382:1f1b:231a:7a65:ae9e:1d60:7f0d) (Ping timeout: 272 seconds) |
| 15:42:41 | → | euphores joins (~SASL_euph@user/euphores) |
| 15:45:33 | → | dontdieych2 joins (~dontdieyc@user/dontdieych2) |
| 15:47:26 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 15:53:25 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 15:54:31 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 15:58:21 | <dmj`> | thesisware |
| 15:59:28 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:01:09 | × | dontdieych2 quits (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
| 16:03:10 | → | chromo joins (~chromo@210.185.108.225) |
| 16:06:09 | → | ft joins (~ft@p508db65d.dip0.t-ipconnect.de) |
| 16:07:44 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 260 seconds) |
| 16:10:25 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 16:16:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:21:07 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 16:21:53 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:22:43 | <cheater> | why are we suddenly talking about django? |
| 16:22:56 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 16:28:23 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:28:40 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:33:44 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.4.2) |
| 16:33:50 | → | srazkvt joins (~sarah@user/srazkvt) |
| 16:34:30 | × | greenflower quits (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
| 16:35:47 | <srazkvt> | hey, a little question, with cabal, can i depend on a package that is just on my drive ? i have a library i haven't yet released because i'm still figuring out a proper api for it, but i want something a little more complex than just an example to actually test it out |
| 16:36:04 | <srazkvt> | or should i just make it an example for now ? |
| 16:38:49 | <sclv> | you can use a cabal.project file to point to that package and have something else depend on it |
| 16:44:40 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 16:53:21 | → | chromo joins (~chromo@210.185.108.225) |
| 16:55:20 | → | athan joins (~athan@207.212.61.145) |
| 16:58:29 | × | misterfish quits (~misterfis@178.229.202.223) (Ping timeout: 248 seconds) |
| 17:00:22 | × | athan quits (~athan@207.212.61.145) (Read error: Connection reset by peer) |
| 17:00:27 | → | misterfish joins (~misterfis@87.215.131.102) |
| 17:00:52 | → | athan joins (~athan@2600:382:3a25:bcb9:eadf:7952:979f:403) |
| 17:01:34 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:02:08 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 17:02:30 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 17:03:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:05:22 | × | misterfish quits (~misterfis@87.215.131.102) (Read error: Connection reset by peer) |
| 17:08:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 17:08:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:09:32 | → | misterfish joins (~misterfis@87.215.131.102) |
| 17:10:26 | → | euleritian joins (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) |
| 17:13:25 | × | euleritian quits (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:13:42 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:14:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:21:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 17:23:27 | → | euleritian joins (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) |
| 17:31:39 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 17:33:22 | × | euleritian quits (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:33:27 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:33:32 | × | ubert quits (~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2) (Ping timeout: 246 seconds) |
| 17:35:22 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 17:57:03 | × | athan quits (~athan@2600:382:3a25:bcb9:eadf:7952:979f:403) (Ping timeout: 276 seconds) |
| 18:04:00 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 265 seconds) |
| 18:11:09 | × | steew quits (~steew@user/steew) (Remote host closed the connection) |
| 18:12:35 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:13:01 | → | steew joins (~steew@user/steew) |
| 18:14:31 | → | gmg joins (~user@user/gehmehgeh) |
| 18:16:10 | × | steew quits (~steew@user/steew) (Remote host closed the connection) |
| 18:16:22 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 18:16:29 | → | steew_ joins (~steew@user/steew) |
| 18:16:34 | × | steew_ quits (~steew@user/steew) (Remote host closed the connection) |
| 18:16:52 | → | steew_ joins (~steew@user/steew) |
| 18:17:30 | × | steew_ quits (~steew@user/steew) (Remote host closed the connection) |
| 18:17:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:18:41 | <tomsmeding> | srazkvt: more precisely: put "packages: . path/to/your/example" in a `cabal.project` file |
| 18:18:55 | <tomsmeding> | then the directory with that cabal.project file is now a "project" that contains two packages |
| 18:19:25 | <tomsmeding> | those packages will override hackage, so if you then "just" depend on the other as usual, cabal will find it |
| 18:20:17 | <srazkvt> | huh |
| 18:20:19 | <srazkvt> | interesting |
| 18:20:40 | <tomsmeding> | in particular, if you e.g. want to locally patch a hackage package, say 'containers', then you can make a local git clone of 'containers'. Then whenever you put that clone in a cabal.project, the other packages in that "project" will use the local version of 'containers' |
| 18:21:02 | <tomsmeding> | this is useful if you have a number of related packages that you want to develop together, that all also exist on hackage |
| 18:21:08 | <srazkvt> | i ended up making a local noindex cabal repository and manually sdist but that will probably be much better |
| 18:21:17 | <srazkvt> | yeah im in the second case |
| 18:21:26 | <tomsmeding> | put them all in a directory, put a cabal.project file in there that lists all of them, and then `cabal build` will use the local stuff |
| 18:22:08 | <tomsmeding> | srazkvt: https://cabal.readthedocs.io/en/latest/cabal-project-description-file.html |
| 18:22:29 | × | visilii quits (~visilii@46.61.242.158) (Ping timeout: 260 seconds) |
| 18:23:14 | <tomsmeding> | cabal.project files don't get uploaded to hackage, they're a local-only thing |
| 18:23:59 | → | ash3en joins (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) |
| 18:24:20 | × | YoungFrog quits (~youngfrog@2a02:a03f:c9db:fc00:9f14:9018:36b4:c89c) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 18:24:33 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 18:24:40 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 18:28:09 | × | ash3en quits (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) (Client Quit) |
| 18:31:11 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 18:31:38 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 18:32:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:34:24 | → | chromo joins (~chromo@210.185.108.225) |
| 18:34:40 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 18:35:52 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 18:38:50 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 255 seconds) |
| 18:39:02 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 18:39:41 | → | dhruvasagar joins (~dhruvasag@49.207.204.156) |
| 18:42:37 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:42:47 | × | euandreh quits (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 18:43:11 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 18:44:57 | → | infinity0 joins (~infinity0@pwned.gg) |
| 18:46:46 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 18:49:36 | → | neuroevolutus joins (~neuroevol@37.19.200.165) |
| 18:50:41 | → | ubert joins (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 18:50:48 | → | califax_ joins (~califax@user/califx) |
| 18:51:01 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 18:51:01 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 18:51:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:51:18 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 18:51:18 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 18:51:22 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:51:36 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 18:51:48 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:51:49 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 18:51:53 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 18:52:05 | califax_ | is now known as califax |
| 18:52:11 | → | chiselfu1e joins (~chiselfus@user/chiselfuse) |
| 18:52:32 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:56:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:58:11 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 19:00:00 | × | caconym8 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:36 | → | caconym8 joins (~caconym@user/caconym) |
| 19:00:37 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 19:03:07 | → | ash3en joins (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) |
| 19:03:59 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 19:04:17 | → | rvalue- joins (~rvalue@user/rvalue) |
| 19:04:51 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 19:10:07 | <mreh> | hmm, why might stack be hanging... |
| 19:10:23 | rvalue- | is now known as rvalue |
| 19:12:18 | <mreh> | this is an idle process hanging, rather than taking a long time to compile hang |
| 19:12:19 | × | dhruvasagar quits (~dhruvasag@49.207.204.156) (Quit: WeeChat 4.3.5) |
| 19:14:34 | × | ubert quits (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 19:17:18 | → | chromo joins (~chromo@210.185.108.225) |
| 19:19:47 | <mreh> | -cabal-verbosity shows nothing at all... so odd |
| 19:20:25 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 19:24:19 | <tomsmeding> | mreh: what OS are you on? If linux, try 'strace <your stack command>' |
| 19:24:47 | <tomsmeding> | shows the system calls that it does, and crucially it outputs something when the call _started_ as well as when it ends |
| 19:25:10 | <tomsmeding> | iirc dtrace can do the same on macos |
| 19:25:31 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:27:28 | → | weary-traveler joins (~user@user/user363627) |
| 19:28:07 | <mreh> | The last line is "futex(0x7fff635c7af4, FUTEX_WAIT_PRI" but the rest is cut off. Deadlocked on something maybe? |
| 19:31:54 | × | Blasius quits (~Blasius@2.219.56.221) (Ping timeout: 260 seconds) |
| 19:33:04 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 19:41:54 | <tomsmeding> | yeah, futex is a mutex operation |
| 19:42:21 | <tomsmeding> | if you show the whole output, perhaps someone can see something |
| 19:42:42 | <tomsmeding> | (strace -o log <...>) |
| 19:44:28 | <tomsmeding> | mreh: it could also be that stack is waiting on some child process to finish that never finishes. Are there any live child processes when stack hangs? |
| 19:44:51 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 19:45:07 | <tomsmeding> | (pstree $(pgrep stack)) |
| 19:46:44 | <monochrom> | Haha thanks for the pstree tip. I have always only known htop. |
| 19:47:37 | → | misterfish joins (~misterfis@87.215.131.102) |
| 19:47:49 | <mreh> | no child processes |
| 19:47:49 | → | Blasius joins (~Blasius@2.219.56.221) |
| 19:49:23 | <mreh> | it's only when I add this once package `hsnoise` |
| 19:49:30 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:49:35 | <mreh> | so maybe that's a clue |
| 19:49:52 | <mreh> | it's not in the stackage snapshot I'm using |
| 19:50:35 | <mreh> | who wants 4.5k lines of strace output? |
| 19:52:24 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 272 seconds) |
| 19:53:54 | <mreh> | I think that might be it for the day anyway... |
| 19:54:48 | <geekosaur> | if a futex op is incomplete that way, it usually means the futex is blocked waiting for the call to finish |
| 19:58:37 | <tomsmeding> | monochrom: I always use htop but I didn't want to assume htop presence here :p |
| 19:58:59 | <tomsmeding> | mreh: a pastebin is happy to receive 4.5k lines of strace output |
| 19:59:19 | <geekosaur> | well, some of them are |
| 19:59:26 | <tomsmeding> | geekosaur: indeed, but mutexes are used too generally for that to be much of a clue :) |
| 19:59:29 | <mreh> | @where paste |
| 19:59:29 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 19:59:38 | <mreh> | lol |
| 20:00:01 | tomsmeding | whistles |
| 20:00:06 | <geekosaur> | yeh, my response was basically "speak for yourself" 😛 |
| 20:02:31 | <tomsmeding> | hm, that pastebin's max paste size may well be on the low side for this |
| 20:02:46 | <tomsmeding> | curl --data-binary @the/path/to/the/log/file https://tomsmeding.com/gooi/stracelog |
| 20:02:57 | → | misterfish joins (~misterfis@87.215.131.102) |
| 20:06:00 | × | ash3en quits (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) (Quit: ash3en) |
| 20:06:04 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:06:36 | × | neuroevolutus quits (~neuroevol@37.19.200.165) (Quit: Client closed) |
| 20:07:15 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 265 seconds) |
| 20:08:01 | → | Blasius_ joins (~Blasius@2.219.56.221) |
| 20:10:57 | × | Blasius quits (~Blasius@2.219.56.221) (Ping timeout: 276 seconds) |
| 20:15:39 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 20:15:53 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:25:58 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 20:27:54 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 260 seconds) |
| 20:28:03 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 20:32:26 | → | misterfish joins (~misterfis@87.215.131.102) |
| 20:32:31 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 20:34:20 | → | gmg joins (~user@user/gehmehgeh) |
| 20:41:42 | × | synchromesh quits (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
| 20:43:07 | → | synchromesh joins (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
| 20:51:47 | tritlo_ | is now known as tritlo |
| 20:55:15 | <tritlo> | Hey all, is `ghc-lib-parser-9.10.1.20240511` failing to build for anyone else? It was working on our CI fine earlier today, but now I'm getting a weird build error (on 9.6.6) |
| 20:56:51 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 20:57:29 | → | chromo joins (~chromo@210.185.108.225) |
| 21:00:31 | <geekosaur> | what's the error? |
| 21:00:33 | <geekosaur> | @where paste |
| 21:00:33 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 21:02:12 | × | michalz quits (~michalz@185.246.207.218) (Remote host closed the connection) |
| 21:03:41 | <tritlo> | https://paste.tomsmeding.com/GulpmqNz |
| 21:04:13 | <tritlo> | happens both on github CI and my local computer |
| 21:04:25 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 21:05:40 | <tritlo> | (specifically when trying to install fourmolu) |
| 21:06:43 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 264 seconds) |
| 21:07:20 | <geekosaur> | the indentation there looks kinda skeevy to me |
| 21:08:17 | <tritlo> | It's weird that it was working earlier today, but then broke an hour or two ago |
| 21:08:54 | <tritlo> | I think this file is autogenerated from the parser, so there might be something going on there. But I don't see how that would have changed now |
| 21:09:02 | <geekosaur> | did you happen to do a `cabal update`? that looks like `happy`-generated code, and I note that `happy-2.0` was just released |
| 21:09:20 | <geekosaur> | like, earlier today |
| 21:10:10 | <tritlo> | hmm, yes, the CI does run cabal update |
| 21:10:11 | <geekosaur> | my local build just succeeded, with `happy-1.20.1.1` |
| 21:10:31 | <haskellbridge> | <sm> This is why stackage was invented |
| 21:10:45 | <haskellbridge> | <sm> * created |
| 21:10:55 | <geekosaur> | people are supposed to set bounds |
| 21:10:58 | <mauke> | discovered |
| 21:11:04 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 21:11:23 | <mauke> | my happiness knows no bounds |
| 21:11:35 | <haskellbridge> | <sm> 😂 |
| 21:12:26 | <geekosaur> | but actually I don't think either one of those will help because both are for libraries and happy's an executable |
| 21:12:51 | <geekosaur> | executable version handling's a hack in the Haskell ecosystem |
| 21:13:43 | <mauke> | happy 2: manic |
| 21:13:45 | <mauke> | https://www.youtube.com/watch?v=AzVPelmFKPk |
| 21:16:43 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 21:18:26 | <tritlo> | Yeah seems like there's no version bound on `happy` in the executable |
| 21:18:38 | <geekosaur> | and sure enough, with happy-2.0 I get that error. go file a bug against happy, and tell the haskell-lib-parser folks (or maybe a hackage trustee) that haskell-lib-parser needs a constraint added (I think to build-tool-depends) |
| 21:19:49 | → | chromo joins (~chromo@210.185.108.225) |
| 21:20:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:22:29 | → | misterfish joins (~misterfis@87.215.131.102) |
| 21:24:04 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
| 21:26:21 | <glguy> | You can set bounds on your build-tools |
| 21:28:05 | <tritlo> | Already done so :) |
| 21:28:19 | <geekosaur> | already commented on 😛 |
| 21:28:41 | <glguy> | already already |
| 21:33:46 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 21:35:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:36:06 | <mauke> | iamiam cedant tristia |
| 21:40:29 | → | chromo joins (~chromo@210.185.108.225) |
| 21:44:48 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
| 21:46:50 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:48:07 | <tritlo> | Any way I can force cabal to select `happy` 1.20.1.1? I can get a build plan with `happy` 1.19 if I do `--prefer-oldest`, but I'd rather select only the one. `--constraint "happy == 1.20.1.1"` doesn't seem to cut it |
| 21:49:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:00:51 | <geekosaur> | that constraint only applies to libraries, not executables. |
| 22:02:03 | <geekosaur> | unfortunately, it doesn't look like '--build-tool-depends' is supported on the command line. if you can use a cabal.project, try https://paste.tomsmeding.com/W3BRWzp1 |
| 22:03:06 | → | pavonia joins (~user@user/siracusa) |
| 22:03:23 | <tritlo> | Ah, it's in a CI so can't change the `cabal.project`. Thanks anyway, I'll use the `--prefer-oldest` until the issue is resolved |
| 22:03:27 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:05:53 | → | chromo joins (~chromo@210.185.108.225) |
| 22:05:57 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 22:06:47 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:08:32 | <geekosaur> | fwiw I just filed a cabal feature request |
| 22:08:41 | <geekosaur> | not that that will help now |
| 22:09:10 | <geekosaur> | oh, you could also put that in cabal.project.local, which is not intended to be in CI |
| 22:10:16 | × | chromo quits (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
| 22:11:15 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 22:21:27 | → | chromo joins (~chromo@210.185.108.225) |
| 22:25:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:43:49 | → | neuroevolutus joins (~neuroevol@37.19.200.165) |
| 22:46:12 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 22:49:33 | × | acidjnk quits (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:57:46 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 23:08:44 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:12:20 | → | ystael joins (~ystael@user/ystael) |
| 23:13:15 | × | connrs quits (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 23:14:44 | → | mikess joins (~mikess@user/mikess) |
| 23:17:25 | × | neuroevolutus quits (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 23:19:14 | → | troojg joins (~troojg@user/troojg) |
| 23:28:42 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 23:34:36 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 23:36:56 | → | connrs joins (~connrs@user/connrs) |
| 23:43:54 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 23:44:14 | → | EvanR joins (~EvanR@user/evanr) |
| 23:44:39 | → | neuroevolutus joins (~neuroevol@37.19.200.165) |
| 23:52:13 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 23:53:41 | × | neuroevolutus quits (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 23:54:15 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 23:56:01 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
All times are in UTC on 2024-09-19.