Logs on 2026-02-12 (liberachat/#haskell)
| 00:04:51 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:05:33 | → | califax joins (~califax@user/califx) |
| 00:10:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:10:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:14:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:17:18 | → | housemate joins (~housemate@202.7.248.67) |
| 00:18:49 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 00:20:02 | → | img joins (~img@user/img) |
| 00:21:04 | → | pavonia joins (~user@user/siracusa) |
| 00:25:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:28:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:34:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 00:36:28 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 00:36:28 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 00:36:28 | → | haritz joins (~hrtz@user/haritz) |
| 00:38:28 | × | acidjnk quits (~acidjnk@p200300d6e700e552f541e7aa9c024d62.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 00:42:17 | → | hakutaku joins (~textual@user/hakutaku) |
| 00:44:43 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds) |
| 00:45:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:46:35 | × | ycp quits (~znc@user/dragestil) (Ping timeout: 245 seconds) |
| 00:46:52 | × | xff0x quits (~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52) (Ping timeout: 244 seconds) |
| 00:46:56 | → | ycp joins (~znc@user/dragestil) |
| 00:47:00 | × | tydes quits (~tydes@user/ttydes) (Ping timeout: 245 seconds) |
| 00:47:14 | → | tydes joins (~tydes@user/ttydes) |
| 00:49:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:57:13 | × | statusbot5 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 00:57:33 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 01:00:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:03:16 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 01:07:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:11:09 | × | tydes quits (~tydes@user/ttydes) (Ping timeout: 244 seconds) |
| 01:13:15 | → | pabs3 joins (~pabs3@user/pabs3) |
| 01:18:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:19:49 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 01:19:54 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 01:20:30 | → | omidmash6 joins (~omidmash@user/omidmash) |
| 01:22:31 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 01:22:31 | omidmash6 | is now known as omidmash |
| 01:23:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:26:17 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:29:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 01:33:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:35:53 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 260 seconds) |
| 01:38:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:39:22 | × | Googulator quits (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 01:39:38 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 01:41:08 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:49:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:51:32 | → | Square joins (~Square4@user/square) |
| 01:54:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:55:08 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 01:57:55 | × | otto_s quits (~user@p4ff27fce.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 01:59:30 | → | otto_s joins (~user@p4ff27e90.dip0.t-ipconnect.de) |
| 02:00:30 | × | ezzieygu1wuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 02:02:37 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 02:03:53 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 02:04:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:05:20 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:05:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:07:05 | <feetwind> | do people have good experiences [i.e., doesnt crash or hang "randomly"] with haskell-language-server in multi cabal pkg projects? |
| 02:09:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:14:13 | <geekosaur> | I use it a fair bit on the cabal codebase itself (14 packages, mostly internal) without problems |
| 02:14:58 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 02:15:54 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 02:16:47 | <geekosaur> | and my xmonad dev environment (the various xmonad-related packages plus my own config as a separate package) |
| 02:19:40 | <feetwind> | hm fair enough/good to hear. i struggle a lot with it hanging on startup if there's a type/out of scope error in some module in lib, depended on by one or more exes or tests, which seems to cause many (maybe infinite?) attempts to rebuild. it surprises me that -fdefer-type-errors and co don't let the lsp proceed anyway |
| 02:19:58 | <haskellbridge> | <sm> I'm used to restarting it any time things stop working. Can be several times a day depending what I'm doing |
| 02:19:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:20:21 | <haskellbridge> | <sm> persistent startup errors usually require more careful troubleshooting |
| 02:21:30 | <haskellbridge> | <sm> one of the things that may help is ensuring your project has built cleanly before starting hls |
| 02:22:03 | <feetwind> | yeah that's what i end up doing, but then that was what hls was supposed to help with in the first place |
| 02:22:50 | <haskellbridge> | <sm> it's not super robust. But it's valuable enough to be worth babysitting |
| 02:24:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:24:28 | <feetwind> | i will see if just having lots of hie components is behind very long waits sometimes, probably nicer to have my app as `app subcmd ...` |
| 02:25:25 | <feetwind> | but otoh nice to not have such a long build if `subcmd` is just a little test script or whatever. ah well |
| 02:27:09 | <haskellbridge> | <sm> if you can figure out what it's doing, maybe you can test the same commands at cli and see if there's excessive rebuilding going on or something. This is pretty common |
| 02:27:23 | <haskellbridge> | <sm> and would be easier to troubleshoot outside of HLS |
| 02:33:07 | <feetwind> | `cabal repl all --enable-multi-repl` seemingly works as it ought to, not trying to rebuild transitive deps of each target, even if one's build fails along the way. that's pretty useful actually even tho multi repl is limited |
| 02:33:56 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:35:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:41:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 02:42:21 | → | prdak joins (~Thunderbi@user/prdak) |
| 02:47:07 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 02:49:49 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:53:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:54:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:57:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:00:39 | <geekosaur> | occasionally clearing hie-bios's cache (~/.cache/hie-bios) helps, if it gets corrupted then things may get rebuilt unexpectedly |
| 03:05:25 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 03:15:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:15:16 | × | td_ quits (~td@i5387093E.versanet.de) (Ping timeout: 246 seconds) |
| 03:17:09 | → | td_ joins (~td@i5387091F.versanet.de) |
| 03:19:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:25:12 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 03:25:52 | → | Square joins (~Square4@user/square) |
| 03:30:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:31:58 | × | Square quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 03:34:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:41:00 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 03:45:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:50:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:53:01 | → | Guest56 joins (~Guest56@155.2.191.86) |
| 04:00:31 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:01:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:01:49 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 04:02:43 | × | ft quits (~ft@p508db4c0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 04:04:28 | → | ft joins (~ft@p4fc2afab.dip0.t-ipconnect.de) |
| 04:05:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:16:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:18:37 | <feetwind> | yeah, it's part of the ritual when it's not an obvious build error hls can't get past for some reason. the holy incantations C-g C-g C-g C-g , eglot-shutdown-all, cabal clean, rm -rf ~/.cache/hie-bios |
| 04:20:58 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 04:23:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:23:39 | <jreicher> | Does the language server get just as confused fronted by VS code? |
| 04:25:30 | → | weary-traveler joins (~user@user/user363627) |
| 04:30:55 | → | wickedjargon joins (~user@2605:8d80:5431:6065:7b8a:6513:6c7e:c79c) |
| 04:34:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:37:40 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 04:38:38 | × | messewix quits (~jmc@user/messewix) (Quit: Konversation terminated!) |
| 04:39:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:40:44 | × | Guest56 quits (~Guest56@155.2.191.86) (Quit: Client closed) |
| 04:47:03 | → | karenw joins (~karenw@user/karenw) |
| 04:49:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:54:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:54:40 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 05:00:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:03:01 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 05:04:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:13:34 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 255 seconds) |
| 05:15:30 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:15:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:19:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:28:24 | → | trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 05:31:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:32:35 | × | mange quits (~mange@user/mange) (Ping timeout: 244 seconds) |
| 05:34:33 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 05:36:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:36:31 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:38:59 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 252 seconds) |
| 05:39:20 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 05:46:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:51:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:57:05 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:00:19 | → | prdak joins (~Thunderbi@user/prdak) |
| 06:01:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:04:05 | × | jle` quits (~jle`@2603:8001:3b00:11:bf46:c857:2ece:2e07) (Ping timeout: 245 seconds) |
| 06:04:29 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 06:06:30 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 06:07:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:08:41 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 06:09:34 | xff0x_ | is now known as xff0x |
| 06:13:42 | → | hakutaku joins (~textual@user/hakutaku) |
| 06:16:13 | → | petrichor joins (~jez@user/petrichor) |
| 06:17:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:17:56 | → | acidjnk joins (~acidjnk@p200300d6e700e56700d07a3d42763801.dip0.t-ipconnect.de) |
| 06:21:09 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 06:21:27 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 252 seconds) |
| 06:22:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:24:13 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 06:24:35 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 06:33:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:36:55 | × | AlexZenon quits (~alzenon@178.34.161.177) (Ping timeout: 264 seconds) |
| 06:37:24 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 245 seconds) |
| 06:37:50 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 06:37:57 | × | Alex_delenda_est quits (~al_test@178.34.161.177) (Ping timeout: 252 seconds) |
| 06:38:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:38:07 | × | AlexNoo quits (~AlexNoo@178.34.161.177) (Ping timeout: 264 seconds) |
| 06:41:20 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 06:46:54 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:47:59 | → | michalz joins (~michalz@185.246.207.218) |
| 06:48:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:52:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:02:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:02:33 | → | Enrico63 joins (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) |
| 07:02:50 | × | Enrico63 quits (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Client Quit) |
| 07:04:07 | → | Enrico63 joins (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) |
| 07:06:09 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 07:06:24 | × | Adran quits (~adran@botters/adran) (Read error: Connection reset by peer) |
| 07:06:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:10:08 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 07:17:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:20:11 | → | jreicher joins (~joelr@user/jreicher) |
| 07:24:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:30:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:34:54 | → | Adran joins (~adran@botters/adran) |
| 07:35:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:35:54 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 07:36:33 | × | Enrico63 quits (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed) |
| 07:39:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:46:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 07:49:44 | × | ft quits (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:51:11 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 07:56:48 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 08:00:55 | → | trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 08:01:30 | → | oskarw joins (~user@user/oskarw) |
| 08:02:37 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:03:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:04:45 | → | housemate joins (~housemate@202.7.248.67) |
| 08:05:17 | → | frio joins (~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397) |
| 08:06:23 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 252 seconds) |
| 08:07:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:12:55 | → | AlexNoo joins (~AlexNoo@85.174.182.59) |
| 08:17:24 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 08:17:42 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 08:18:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:22:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:37:06 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 08:37:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 08:37:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 08:37:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 08:37:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:37:43 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 08:38:37 | × | w00ter quits (~w00ter@user/w00ter) (Read error: Connection reset by peer) |
| 08:38:51 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:39:10 | → | w00ter joins (~w00ter@user/w00ter) |
| 08:40:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:44:42 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:45:37 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:54:41 | → | Lears joins (~Leary@user/Leary/x-0910699) |
| 08:56:25 | × | Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 264 seconds) |
| 08:57:05 | <dutchie> | (^ 2) vs -Wtype-defaults :( |
| 09:00:32 | → | merijn joins (~merijn@77.242.116.146) |
| 09:01:05 | <haskellbridge> | <Morj> The bane of my mathematical code |
| 09:01:05 | <haskellbridge> | <Morj> When i make my own prelude, maybe i'll make it less polymorphic |
| 09:04:31 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds) |
| 09:04:33 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 09:04:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 09:05:00 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 09:05:20 | × | wickedjargon quits (~user@2605:8d80:5431:6065:7b8a:6513:6c7e:c79c) (Ping timeout: 245 seconds) |
| 09:07:06 | <tomsmeding> | whenever I use (^) and care about how my code looks I go `import Prelude hiding ((^)); import qualified Prelude; (^) :: Num a => a -> Int -> a ; (^) = (Prelude.^)` |
| 09:07:30 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 09:07:49 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 09:10:01 | <Lears> | I usually just write `x * x`. |
| 09:10:02 | → | akegalj joins (~akegalj@78-3-67-163.adsl.net.t-com.hr) |
| 09:10:40 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:10:49 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 264 seconds) |
| 09:13:37 | → | fgarcia joins (~lei@user/fgarcia) |
| 09:16:59 | × | frio quits (~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397) (Quit: bye guys!) |
| 09:21:41 | → | mange joins (~mange@user/mange) |
| 09:22:28 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:22:41 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 09:28:55 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 09:29:10 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 09:32:19 | → | Googulator86 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 09:32:36 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 09:33:25 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 09:34:28 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 09:39:38 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 09:47:07 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 09:47:19 | × | foul_owl quits (~kerry@94.156.149.97) (Read error: Connection reset by peer) |
| 09:49:24 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 09:49:41 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 09:52:12 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 09:54:05 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 09:55:28 | → | Alex_delenda_est joins (~al_test@85.174.182.59) |
| 09:55:32 | → | comerijn joins (~merijn@77.242.116.146) |
| 09:57:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 09:58:35 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 09:59:07 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds) |
| 09:59:24 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 09:59:41 | × | Alex_delenda_est quits (~al_test@85.174.182.59) (Ping timeout: 252 seconds) |
| 10:00:01 | → | castan joins (~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) |
| 10:02:35 | <castan> | hi! is this thing on |
| 10:03:00 | → | Alex_delenda_est joins (~al_test@85.174.182.59) |
| 10:03:19 | <chromoblob> | hi castan |
| 10:03:25 | <[exa]> | castan: always |
| 10:03:57 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 10:03:58 | → | foul_owl joins (~kerry@94.156.149.92) |
| 10:04:24 | → | Googulator88 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 10:04:26 | × | Googulator86 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 10:05:25 | × | mud quits (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 10:05:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:06:05 | trickard_ | is now known as trickard |
| 10:06:26 | → | mud joins (~mud@user/kadoban) |
| 10:07:23 | × | Alex_delenda_est quits (~al_test@85.174.182.59) (Ping timeout: 252 seconds) |
| 10:07:37 | <castan> | great, I'm a bit confused as to why 1 == 1 typechecks, since Num does not inherit Eq |
| 10:08:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 10:08:29 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 10:08:34 | <Lears> | % :seti -Wtype-defaults |
| 10:08:34 | <yahb2> | <no output> |
| 10:08:38 | <Lears> | % :t 1 == 1 |
| 10:08:38 | <yahb2> | <interactive>:1:3: warning: [GHC-18042] [-Wtype-defaults] ; • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints ; (Eq a0) arising from a use of ‘==’ at <i... |
| 10:08:52 | <Lears> | % :seti -Wno-type-defaults |
| 10:08:52 | <yahb2> | <no output> |
| 10:10:03 | <castan> | oh I see, thanks |
| 10:10:42 | → | Alex_test_ joins (~al_test@85.174.182.59) |
| 10:11:25 | <davean> | Morj: Just set the defaulting to an implimentation of the abstract concept of a number. |
| 10:12:12 | <[exa]> | castan: the Int (and Integer) type belongs to more typeclasses than Num, the issue is that you usually see the Num first because :t 1 tells you "it's some Num" |
| 10:12:32 | <[exa]> | castan: a pretty good way to find everything the type is able to do is `:i Int` in ghci |
| 10:13:00 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 10:16:11 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:16:22 | → | hakutaku joins (~textual@user/hakutaku) |
| 10:16:27 | <davean> | Also, == says "whatever is on my two sides must be instances of Eq" not "must be instances of Num" |
| 10:18:59 | → | chele joins (~chele@user/chele) |
| 10:19:02 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 10:19:06 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 10:19:22 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 10:19:29 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 10:19:30 | <castan> | makes sense. I'm trying to understand the defaulting behavior from the 2010 report but it's quite dense |
| 10:21:47 | <[exa]> | castan: the intuition is that there's some kind of a default list, and it picks the first type from the default list that matches all the typeclass requirements |
| 10:22:47 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 252 seconds) |
| 10:23:07 | <Lears> | Defaulting is a bunch of ad hoc rules pragmatic for ghci. It's not really worth digging into the details. |
| 10:23:27 | <mauke> | not just ghci |
| 10:23:28 | <dutchie> | lots of defaulting complaints this morning |
| 10:24:45 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 10:25:35 | → | hakutaku joins (~textual@user/hakutaku) |
| 10:27:34 | <castan> | alright, that intuition will do ;) thanks [exa] |
| 10:29:55 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds) |
| 10:30:27 | <[exa]> | castan: btw try `read "123"`, that's the common victim of defaulting |
| 10:31:35 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 10:35:45 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 10:36:19 | <chromoblob> | > read "123" |
| 10:36:20 | <lambdabot> | *Exception: Prelude.read: no parse |
| 10:38:49 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 10:39:25 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 10:39:56 | → | karenw joins (~karenw@user/karenw) |
| 10:42:35 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 10:46:45 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 10:51:09 | → | qqq joins (~qqq@185.54.22.240) |
| 10:53:45 | <comerijn> | Lears: Defaulting also happens in compiled code |
| 10:53:54 | <comerijn> | but the default list is more minimal in GHC |
| 10:54:04 | × | castan quits (~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) (Ping timeout: 245 seconds) |
| 10:54:04 | → | hakutaku joins (~textual@user/hakutaku) |
| 10:54:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 10:55:09 | <comerijn> | Just enable -Wall and you'll get warning for type defaults and you should probably use that anyway |
| 10:55:38 | → | castan joins (~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f) |
| 10:57:31 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:57:35 | → | divlamir joins (~divlamir@user/divlamir) |
| 10:58:14 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds) |
| 11:02:15 | → | hakutaku joins (~textual@user/hakutaku) |
| 11:02:17 | → | trickard___ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 11:02:24 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 11:06:21 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 244 seconds) |
| 11:06:33 | → | Vizious joins (~bes@user/Vizious) |
| 11:10:46 | × | trickard___ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:11:00 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 11:13:00 | × | otto_s quits (~user@p4ff27e90.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 11:13:35 | × | castan quits (~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f) (Quit: castan) |
| 11:14:45 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 11:16:23 | → | hakutaku joins (~textual@user/hakutaku) |
| 11:19:33 | → | xff0x joins (~xff0x@2405:6580:b080:900:bb2a:3aa9:d99:94fb) |
| 11:20:07 | × | Googulator88 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 11:20:12 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 11:20:44 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds) |
| 11:22:44 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 11:24:54 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 245 seconds) |
| 11:24:54 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 11:25:15 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 11:25:42 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 11:26:00 | <Lears> | I meant "ad hoc rules (pragmatic for ghci)", not "ad hoc rules (pragmatic) for ghci"---I'm well aware of where it happens. |
| 11:26:01 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 11:27:34 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 11:27:53 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 11:29:59 | → | Miroboru joins (~myrvoll@188.113.115.67) |
| 11:32:05 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 252 seconds) |
| 11:35:39 | × | Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 11:36:39 | × | Miroboru quits (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 11:54:44 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 11:58:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 11:58:44 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 11:59:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:59:08 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 11:59:44 | → | __monty__ joins (~toonn@user/toonn) |
| 12:01:52 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:01:52 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:01:52 | → | haritz joins (~hrtz@user/haritz) |
| 12:11:00 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 12:12:03 | → | hakutaku joins (~textual@user/hakutaku) |
| 12:12:29 | × | akegalj quits (~akegalj@78-3-67-163.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 12:12:45 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 12:13:04 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 12:18:02 | → | Square joins (~Square4@user/square) |
| 12:21:26 | → | fp joins (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) |
| 12:23:27 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 12:24:51 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Client Quit) |
| 12:27:33 | Alex_test_ | is now known as Alex_delenda_est |
| 12:33:14 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 12:38:53 | → | akegalj joins (~akegalj@141-136-187-120.dsl.iskon.hr) |
| 12:50:51 | × | Alex_delenda_est quits (~al_test@85.174.182.59) (Quit: ;-) |
| 12:52:03 | × | AlexZenon quits (~alzenon@85.174.182.59) (Quit: ;-) |
| 12:52:56 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 252 seconds) |
| 12:54:33 | × | AlexNoo quits (~AlexNoo@85.174.182.59) (Quit: Leaving) |
| 12:55:14 | × | lucabtz quits (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 12:56:09 | → | hakutaku joins (~textual@user/hakutaku) |
| 13:01:27 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 13:02:00 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 13:02:43 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 264 seconds) |
| 13:05:27 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 13:11:05 | × | akegalj quits (~akegalj@141-136-187-120.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 13:13:47 | × | Pozyomka_ quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 13:16:20 | → | tremon joins (~tremon@83.80.159.219) |
| 13:19:08 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 13:20:17 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:23:27 | → | akegalj joins (~akegalj@78-3-67-163.adsl.net.t-com.hr) |
| 13:26:30 | → | AlexNoo joins (~AlexNoo@85.174.182.59) |
| 13:27:04 | → | spew joins (~spew@user/spew) |
| 13:29:15 | × | Googulator18 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 13:29:30 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 13:33:55 | × | fp quits (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Quit: fp) |
| 13:34:06 | → | fp1 joins (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) |
| 13:36:23 | fp1 | is now known as fp |
| 13:36:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:38:15 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 13:39:41 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 13:40:45 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:41:16 | → | emaczen joins (~user@user/emaczen) |
| 13:42:59 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 13:46:08 | → | Alex_delenda_est joins (~al_test@85.174.182.59) |
| 13:46:55 | × | Googulator18 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 13:47:09 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 13:49:54 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 13:52:07 | → | hakutaku joins (~textual@user/hakutaku) |
| 13:55:59 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 13:58:09 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 13:58:53 | → | haskyll joins (~haskyll._@user/haskyll) |
| 13:59:00 | <haskyll> | hello |
| 13:59:07 | <haskyll> | ive never programmed in haskell before |
| 13:59:14 | <haskyll> | but cool language |
| 13:59:18 | <haskyll> | and lambda is dope |
| 14:01:13 | × | Googulator18 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 14:01:28 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 14:02:43 | × | qqq quits (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 14:06:46 | → | sixfourtwelve joins (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 14:08:43 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 14:08:47 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 14:09:26 | × | fp quits (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Quit: fp) |
| 14:09:34 | → | fp1 joins (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) |
| 14:10:21 | <ski> | hello haskyll |
| 14:10:34 | ← | sixfourtwelve parts (~ethanmorg@static.82.129.225.46.clients.your-server.de) () |
| 14:11:52 | fp1 | is now known as fp |
| 14:12:35 | <haskyll> | hello ski |
| 14:13:07 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 255 seconds) |
| 14:15:32 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 14:18:39 | <ski> | do you have any textbook or other learning material to follow ? if you have any questions feel free to ask |
| 14:18:43 | → | __monty__ joins (~toonn@user/toonn) |
| 14:19:22 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:35:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:02:49 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds) |
| 15:05:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 15:05:19 | → | hakutaku joins (~textual@user/hakutaku) |
| 15:09:41 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Read error: Connection reset by peer) |
| 15:09:49 | → | ames0 joins (~amelia@offtopia/offtopian/amelia) |
| 15:12:21 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 15:18:18 | × | ames0 quits (~amelia@offtopia/offtopian/amelia) (Quit: Bye!) |
| 15:20:08 | → | ames0 joins (~amelia@offtopia/offtopian/amelia) |
| 15:21:26 | × | fp quits (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Ping timeout: 252 seconds) |
| 15:28:00 | → | castan joins (~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) |
| 15:29:17 | × | castan quits (~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) (Client Quit) |
| 15:31:09 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 15:44:20 | ← | perryprog parts (~perryprog@wikipedia/perryprog) (sin(2π 350t) + sin(2π 440t)) |
| 15:46:04 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 15:46:29 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 15:47:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:47:45 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:48:54 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:53:51 | <haskellbridge> | <magic_rb> ive been struggling with this one, https://paste.tomsmeding.com/dGtRfnS8 what youre looking at is part of a larger codebase, essentialy i call "nixProc" with "nix" ["copy"] and other stuff, which fails (expectedly) but then if i include the "logFn" line under "withProcessTerm" the whole program crashes. I cannot figure out why, my assumption is that "tail" throws an exception, which somehow isnt caught by the "catch" in "addHandle"?... |
| 15:53:57 | <haskellbridge> | ... (as for why does that bring down the whole program i also don't know) |
| 15:54:50 | <haskellbridge> | <magic_rb> i tried to debug this will all the tools i know, but nothing sheds light on this, not even running with -xc and looking at all the exceptions it reports |
| 15:55:47 | → | hakutaku joins (~textual@user/hakutaku) |
| 16:00:16 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 16:00:43 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 16:01:28 | × | Googulator18 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 16:01:45 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 16:02:27 | × | raincomplex quits (~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 16:02:43 | → | raincomplex joins (~rain@user/raincomplex) |
| 16:04:55 | × | haskyll quits (~haskyll._@user/haskyll) (Quit: bye) |
| 16:08:55 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 16:12:42 | → | wickedjargon joins (~user@24.83.46.194) |
| 16:14:29 | × | akegalj quits (~akegalj@78-3-67-163.adsl.net.t-com.hr) (Ping timeout: 245 seconds) |
| 16:14:49 | ames0 | is now known as ames |
| 16:17:07 | × | Googulator18 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 16:17:24 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 16:20:18 | → | Square2 joins (~Square@user/square) |
| 16:21:07 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 16:21:29 | → | Square2 joins (~Square@user/square) |
| 16:22:02 | → | Square3 joins (~Square@user/square) |
| 16:22:46 | × | Square quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 16:23:37 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 16:24:40 | → | Square3 joins (~Square@user/square) |
| 16:24:59 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 16:25:07 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 16:25:34 | → | Square3 joins (~Square@user/square) |
| 16:25:59 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:31:21 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:41:00 | → | jle` joins (~jle`@2603:8001:3b00:11:dbf:b6f2:b9d0:daa) |
| 16:44:00 | <haskellbridge> | <magic_rb> Figure it out, it wan an "undefined" in a completely separate part of the codebase. It was part of parsing code |
| 16:48:26 | × | Googulator18 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 16:48:50 | → | Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 16:58:39 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 17:00:35 | → | p3n joins (~p3n@217.198.124.246) |
| 17:01:23 | Googulator18 | is now known as Googulator |
| 17:01:24 | × | lambdap23717 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 265 seconds) |
| 17:01:39 | → | lambdap23717 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 17:03:55 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:07:59 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 17:15:42 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 17:16:23 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:20:47 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 252 seconds) |
| 17:26:45 | → | oskarw joins (~user@user/oskarw) |
| 17:32:24 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 17:32:54 | → | califax_ joins (~califax@user/califx) |
| 17:33:42 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 17:33:45 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 17:34:08 | califax_ | is now known as califax |
| 17:34:32 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 17:37:13 | → | yin joins (~zero@user/zero) |
| 17:40:09 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:41:11 | <EvanR> | undefined, has a supernatural propensity for getting evaluated at some point |
| 17:42:29 | → | oskarw` joins (~user@user/oskarw) |
| 17:43:15 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 245 seconds) |
| 17:51:45 | → | spew joins (~spew@user/spew) |
| 17:57:20 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 17:59:25 | → | castan joins (~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) |
| 17:59:46 | × | castan quits (~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) (Client Quit) |
| 18:00:28 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 18:03:01 | → | castan joins (~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) |
| 18:03:30 | → | Pozyomka joins (~pyon@user/pyon) |
| 18:03:48 | × | castan quits (~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) (Client Quit) |
| 18:06:34 | → | Axma62634 joins (~Axman6@user/axman6) |
| 18:08:01 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 18:14:41 | × | wickedjargon quits (~user@24.83.46.194) (Ping timeout: 252 seconds) |
| 18:18:56 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 18:22:56 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 18:31:14 | × | fun-safe-math quits (~fun-safe-@97.115.234.213) () |
| 18:33:18 | → | fun-safe-math joins (~fun-safe-@97.115.234.213) |
| 18:38:01 | × | Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 18:50:38 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 18:53:05 | → | EvanR joins (~EvanR@user/evanr) |
| 19:04:31 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:07:16 | → | tydes joins (~tydes@user/ttydes) |
| 19:11:25 | × | hellwolf quits (~user@13cd-fe1e-a030-6e4e-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 265 seconds) |
| 19:13:46 | × | bgamari quits (~bgamari@64.223.173.201) (Read error: Connection reset by peer) |
| 19:14:45 | → | hellwolf joins (~user@fab4-59b3-1ab0-7451-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 19:18:47 | → | bgamari joins (~bgamari@64.223.173.201) |
| 19:25:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:29:00 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 19:29:19 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 19:37:25 | <monochrom> | :) |
| 19:39:56 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 19:42:39 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 19:44:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 19:45:28 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:47:58 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:7e0c:bf30:b02a:8ed5) (Remote host closed the connection) |
| 19:54:29 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 19:54:46 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 19:57:19 | × | michalz quits (~michalz@185.246.207.218) (Remote host closed the connection) |
| 19:57:58 | × | Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 20:08:30 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 20:08:36 | → | statusbot6 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 20:16:45 | × | Square2 quits (~Square@user/square) (Quit: Leaving) |
| 20:17:04 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 20:38:29 | → | Guest65 joins (~Guest65@212-60-172-237.adsl.highway.telekom.at) |
| 20:42:24 | ← | Guest65 parts (~Guest65@212-60-172-237.adsl.highway.telekom.at) () |
| 20:43:14 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 20:44:48 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:51:48 | → | Square joins (~Square@user/square) |
| 20:53:41 | → | Square2 joins (~Square4@user/square) |
| 20:56:34 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 20:57:40 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 21:06:18 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:26:18 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 21:27:09 | → | emmanuelux joins (~em@user/emmanuelux) |
| 21:34:16 | jmcantrell_ | is now known as jmcantrell |
| 22:02:31 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 22:07:23 | → | tromp joins (~textual@2001:1c00:3487:1b00:154c:cfad:a57b:3e14) |
| 22:21:02 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 22:21:03 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 22:22:59 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 22:23:14 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 22:29:20 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 22:31:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:31:26 | → | kadobanana joins (~mud@user/kadoban) |
| 22:32:05 | × | mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 22:38:33 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 22:41:59 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 22:42:16 | → | dolio joins (~dolio@130.44.140.168) |
| 22:44:25 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 22:45:51 | → | dolio joins (~dolio@130.44.140.168) |
| 22:48:38 | → | wickedjargon joins (~user@2605:8d80:5430:b9b7:fbed:7aca:46ae:2535) |
| 22:50:34 | <geekosaur> | but he evaluated `undefined` first 😛 |
| 22:51:40 | <haskellbridge> | <magic_rb> Yeah "let me just put an undefined here, this error will never occur" me much later "what in all the hells is going on" |
| 23:00:06 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 23:03:02 | × | jonnie quits (~jonnie@user/jonnie) (Ping timeout: 256 seconds) |
| 23:03:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:154c:cfad:a57b:3e14) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:03:27 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 23:06:32 | <jackdk> | It is for reasons like this that I will use `error "thing that went wrong and what invariant was violated"` over `undefined` |
| 23:10:20 | <haskellbridge> | <magic_rb> And youre correct, undefined is easier to type :P |
| 23:10:41 | → | mange joins (~mange@user/mange) |
| 23:10:58 | <haskellbridge> | <magic_rb> Though in this case it would have not helped, because the exception got swallowed somehow, still not sure how |
| 23:11:10 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 23:11:30 | → | kadobanana joins (~mud@user/kadoban) |
| 23:11:52 | <monochrom> | "No news is good news" >:) |
| 23:12:04 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 23:12:47 | → | kadobanana joins (~mud@user/kadoban) |
| 23:13:12 | → | jonnie joins (~jonnie@user/jonnie) |
| 23:13:15 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 23:13:59 | → | kadobanana joins (~mud@user/kadoban) |
| 23:21:40 | → | mud joins (~mud@user/kadoban) |
| 23:23:15 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 245 seconds) |
| 23:31:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:32:13 | × | wickedjargon quits (~user@2605:8d80:5430:b9b7:fbed:7aca:46ae:2535) (Ping timeout: 246 seconds) |
| 23:36:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:37:38 | → | weary-traveler joins (~user@user/user363627) |
| 23:46:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:51:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:53:31 | × | oskarw` quits (~user@user/oskarw) (Remote host closed the connection) |
All times are in UTC on 2026-02-12.