Logs on 2021-08-04 (liberachat/#haskell)
| 00:00:05 | → | xsperry joins (~as@user/xsperry) |
| 00:00:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:01:26 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 00:02:00 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Ping timeout: 250 seconds) |
| 00:05:10 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 00:10:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:11:54 | → | dagit joins (~dagit@c-24-21-226-72.hsd1.or.comcast.net) |
| 00:12:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:13:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:15:54 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
| 00:16:11 | × | Null_A quits (~null_a@2601:645:8700:2290:7da4:a1bb:6c20:daba) (Remote host closed the connection) |
| 00:17:41 | → | fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 00:20:27 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:21:16 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 00:26:54 | × | futty quits (~futty@c83-252-75-55.bredband.tele2.se) (Ping timeout: 256 seconds) |
| 00:31:49 | → | Null_A joins (~null_a@2601:645:8700:2290:7da4:a1bb:6c20:daba) |
| 00:36:29 | <DigitalKiwi> | П> forOnly sarcasticSmallAmount = toUpper $ pack $ concat $ intersperse " " ["for only", unpack (toCardinal english sarcasticSmallAmount)] |
| 00:36:30 | <DigitalKiwi> | П> forOnly 153000 |
| 00:36:32 | <DigitalKiwi> | "FOR ONLY ONE HUNDRED AND FIFTY-THREE THOUSAND" |
| 00:36:35 | <DigitalKiwi> | davean: ^ :D |
| 00:36:57 | <DigitalKiwi> | already getting good use out of https://hackage.haskell.org/package/ordinal |
| 00:44:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 00:48:58 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 240 seconds) |
| 00:51:00 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 00:58:10 | × | xsperry quits (~as@user/xsperry) (Ping timeout: 272 seconds) |
| 01:06:13 | × | shailangsa quits (~shailangs@host86-185-98-7.range86-185.btcentralplus.com) (Ping timeout: 268 seconds) |
| 01:06:15 | × | xff0x quits (~xff0x@2001:1a81:521f:1e00:f63a:2090:9719:2426) (Ping timeout: 258 seconds) |
| 01:07:42 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 01:08:01 | → | xff0x joins (~xff0x@2001:1a81:5259:7400:2e2:221d:592b:7f44) |
| 01:16:44 | ← | delYsid parts (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 01:16:49 | Jack-KM4MBG | is now known as jackhill |
| 01:17:39 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 01:17:51 | → | brettgilio joins (~brettgili@45.55.53.68) |
| 01:19:54 | → | xsperry joins (~as@cpe-188-129-103-235.dynamic.amis.hr) |
| 01:19:59 | × | xsperry quits (~as@cpe-188-129-103-235.dynamic.amis.hr) (Changing host) |
| 01:19:59 | → | xsperry joins (~as@user/xsperry) |
| 01:21:05 | × | alx741 quits (~alx741@181.196.69.121) (Quit: alx741) |
| 01:24:12 | → | hiruji joins (~hiruji@user/hiruji) |
| 01:32:26 | × | Jonno_FT1 quits (~come@api.carswap.me) (Quit: Reconnecting) |
| 01:32:33 | → | Codaraxis_ joins (~Codaraxis@user/codaraxis) |
| 01:32:34 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 01:33:07 | × | Jonno_FTW quits (~come@api.carswap.me) (Changing host) |
| 01:33:07 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 01:36:44 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 01:39:01 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 01:39:39 | → | hiruji joins (~hiruji@user/hiruji) |
| 01:41:27 | → | Shailangsa_ joins (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) |
| 01:47:50 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 01:56:42 | → | rob joins (~rob@S010604d4c4bfb0b8.vs.shawcable.net) |
| 01:57:05 | ← | rob parts (~rob@S010604d4c4bfb0b8.vs.shawcable.net) () |
| 02:00:00 | × | sander quits (~sander@user/sander) (Quit: So long! :)) |
| 02:00:57 | → | sander joins (~sander@user/sander) |
| 02:01:11 | <lechner> | Hi, my GHC on Debian bullseye is using a lot of memory on a resource constrained system. Is there a way to lighten the load, please? I am using cabal. Thanks! |
| 02:02:36 | <lechner> | When trying to build the latest cabal-install, it seems to have issues with Distribution.SPDX.LicenseId |
| 02:02:40 | × | xff0x quits (~xff0x@2001:1a81:5259:7400:2e2:221d:592b:7f44) (Ping timeout: 256 seconds) |
| 02:04:12 | → | xff0x joins (~xff0x@2001:1a81:5261:500:4a93:7036:247a:6d65) |
| 02:05:17 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds) |
| 02:14:49 | <sclv> | lechner: you can explicitly pass a flag to eliminate parallelism, but that won’t help ghc usage per se |
| 02:16:34 | × | slack1256 quits (~slack1256@191.125.170.167) (Remote host closed the connection) |
| 02:19:02 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:19:03 | FinnElija | is now known as Guest9934 |
| 02:19:03 | × | Guest9934 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 02:19:03 | finn_elija | is now known as FinnElija |
| 02:19:37 | <lechner> | sclv: i can't find the flag. which one is it, please? |
| 02:23:18 | → | lstor joins (~lstor@user/lstor) |
| 02:25:45 | <DigitalKiwi> | -j1 ? |
| 02:26:28 | × | td_ quits (~td@muedsl-82-207-238-142.citykom.de) (Ping timeout: 256 seconds) |
| 02:26:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 02:28:00 | → | td_ joins (~td@muedsl-82-207-238-041.citykom.de) |
| 02:28:21 | <lechner> | ah, no space |
| 02:36:53 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 02:37:40 | the_proffesor | is now known as theproffesor |
| 02:38:43 | <lechner> | that may be the longest command line i have ever seen |
| 02:39:57 | → | ccc joins (~ccc@24.112.153.241) |
| 02:40:32 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Read error: Connection reset by peer) |
| 02:41:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:43:31 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 02:45:03 | → | aegon joins (~mike@174.127.249.180) |
| 02:45:23 | × | ccc quits (~ccc@24.112.153.241) (Ping timeout: 252 seconds) |
| 02:46:23 | <aegon> | anyone have a recommended starting point to grok IndexedMonads just reading some code that uses them and I'm having trouble finding documentation ased from that they map normal things to a type m j k. uncertain what the j or k stands for or why we'd want them |
| 02:47:50 | → | xkuru joins (~xkuru@user/xkuru) |
| 02:47:51 | → | ccc joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 02:47:55 | × | xkuru quits (~xkuru@user/xkuru) (Client Quit) |
| 02:48:09 | <aegon> | nvm, i found a bunch of articles about indexed monads w.r.t. state |
| 02:48:15 | <aegon> | reading through that |
| 02:50:08 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 02:50:31 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Ping timeout: 258 seconds) |
| 02:50:39 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 02:50:43 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 02:57:26 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 02:58:57 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 03:00:24 | × | mud quits (~mud@user/kadoban) (Ping timeout: 272 seconds) |
| 03:08:27 | → | mud joins (~mud@user/kadoban) |
| 03:15:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 03:17:54 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:a4c8:34f4:90c5:9bb8) (Ping timeout: 240 seconds) |
| 03:19:16 | → | Codaraxis__ joins (~Codaraxis@user/codaraxis) |
| 03:23:06 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 258 seconds) |
| 03:24:22 | × | sheepduck quits (~sheepduck@user/sheepduck) (Ping timeout: 250 seconds) |
| 03:26:50 | → | berberman_ joins (~berberman@user/berberman) |
| 03:27:19 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 258 seconds) |
| 03:27:23 | → | gzj joins (~GZJ0X@192.243.120.171.16clouds.com) |
| 03:30:20 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 03:35:52 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 272 seconds) |
| 03:40:11 | <sm> | @where lowmem |
| 03:40:11 | <lambdabot> | stack build ONEPKG -j1 --ghc-options='+RTS -M1G -RTS' |
| 03:46:56 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 03:51:28 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 258 seconds) |
| 03:57:59 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 03:58:00 | × | Null_A quits (~null_a@2601:645:8700:2290:7da4:a1bb:6c20:daba) () |
| 03:58:08 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) |
| 04:01:06 | × | ccc quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Ping timeout: 240 seconds) |
| 04:11:47 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 04:15:07 | × | Shailangsa_ quits (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) () |
| 04:15:31 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:16:46 | × | gzj quits (~GZJ0X@192.243.120.171.16clouds.com) (Ping timeout: 258 seconds) |
| 04:17:15 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 256 seconds) |
| 04:19:52 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 04:21:30 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 240 seconds) |
| 04:23:31 | → | jespada joins (~jespada@90.254.247.46) |
| 04:23:40 | × | Guest2552 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 04:24:37 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 250 seconds) |
| 04:26:36 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 276 seconds) |
| 04:27:41 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:32:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 04:35:03 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 04:35:57 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 245 seconds) |
| 04:37:32 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 04:40:36 | → | ccc joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 04:40:57 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Ping timeout: 245 seconds) |
| 04:44:01 | → | reumeth joins (~reumeth@user/reumeth) |
| 04:45:17 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 04:45:35 | → | shailangsa joins (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) |
| 05:03:04 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 05:04:08 | → | thyriaen joins (~thyriaen@dynamic-089-012-050-204.89.12.pool.telefonica.de) |
| 05:06:59 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 05:08:08 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 05:12:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:12:47 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 252 seconds) |
| 05:13:26 | <lechner> | srid[m]: Hi, I am trying to build tagtree (as a prerequisite for emanote) but i am getting: "Text/Megaparsec/Char/Lexer.hs:75:1: error: Data.Scientific: Can't be safely imported! The module itself isn't safe." Any ideas? Thanks! https://paste.debian.net/1206507/ |
| 05:14:26 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
| 05:15:17 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 05:15:59 | → | MorrowM joins (~Morrow@176.12.176.145) |
| 05:18:14 | → | jneira joins (~jneira@212.8.115.226) |
| 05:18:17 | → | steven1 joins (~steven@172.92.136.203) |
| 05:20:27 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:20:48 | × | MorrowM quits (~Morrow@176.12.176.145) (Remote host closed the connection) |
| 05:21:07 | → | MorrowM joins (~Morrow@176.12.176.145) |
| 05:25:25 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 05:27:40 | → | qbt joins (~edun@user/edun) |
| 05:28:44 | → | vysn joins (~vysn@user/vysn) |
| 05:30:01 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 05:30:10 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 240 seconds) |
| 05:37:01 | → | Morrow_ joins (~Morrow@147.161.9.135) |
| 05:37:24 | <int-e> | lechner: hmm which version of `scientific` do you have installed? 0.3.7.0 has some touchups in that area, but megaparsec doesn't have a corresponding lower bound. |
| 05:37:46 | <int-e> | (it should require scientific >= 0.3.7.0) |
| 05:39:11 | × | MorrowM quits (~Morrow@176.12.176.145) (Ping timeout: 258 seconds) |
| 05:40:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:42:30 | <lechner> | yeah, i have 0.3.6.2 |
| 05:42:37 | <lechner> | int-e: ^ |
| 05:43:21 | <int-e> | Oh, "that area" = safe Haskell. |
| 05:43:50 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 05:43:56 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:45:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 05:46:21 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 05:46:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 05:48:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:48:40 | × | xff0x quits (~xff0x@2001:1a81:5261:500:4a93:7036:247a:6d65) (Ping timeout: 250 seconds) |
| 05:49:22 | → | xff0x joins (~xff0x@2001:1a81:5261:500:8918:6732:aa66:a3aa) |
| 05:50:41 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 05:50:57 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 245 seconds) |
| 05:52:18 | <lechner> | int-e: how can i report that bug in megaparsec, please? also, how can i force installation of scientific-0.3.7.0 with cabal? thanks! |
| 05:54:24 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 05:55:25 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 05:56:16 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 05:56:22 | <lechner> | neither cabal install scientific-0.3.7.0 nor cabal install scientific --constraint 'scientific >= 0.3.7.0' works |
| 05:59:53 | × | Morrow_ quits (~Morrow@147.161.9.135) (Ping timeout: 258 seconds) |
| 06:00:04 | <sclv> | add the constraint on scientific to the cabal project you're trying to build directly |
| 06:03:42 | <lechner> | sclv: thanks! that worked cabal build --constraint 'scientific >= 0.3.7.0' |
| 06:04:26 | <lechner> | so odd though, i got Warning: tagtree.cabal:65:3: Unknown field: "main-is" |
| 06:05:24 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 06:07:29 | <int-e> | lechner: https://hackage.haskell.org/package/megaparsec-9.1.0 points to https://github.com/mrkkrp/megaparsec/issues |
| 06:08:17 | × | thyriaen quits (~thyriaen@dynamic-089-012-050-204.89.12.pool.telefonica.de) (Remote host closed the connection) |
| 06:09:03 | <lechner> | also, how can i install tagtree locally. now it complains again "rejecting: scientific-0.3.7.0 (constraint from user target requires ==0.3.6.2" which is bogus https://paste.debian.net/1206511/ |
| 06:15:14 | <lechner> | int-e: this seems relevant but i can't tell which way. the PR was closed. is the bug actually in scientific? https://github.com/mrkkrp/megaparsec/issues/425#issuecomment-707631093 |
| 06:15:19 | → | fendor joins (~fendor@77.119.211.146.wireless.dyn.drei.com) |
| 06:16:22 | <lechner> | https://github.com/basvandijk/scientific/pull/71 |
| 06:17:00 | × | kayvank quits (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) (Quit: Client closed) |
| 06:18:14 | <int-e> | lechner: That is the change that should've bumped the lower bound for scientific, but didn't. |
| 06:19:41 | <int-e> | Well, https://github.com/mrkkrp/megaparsec/pull/427 really |
| 06:19:42 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) |
| 06:20:22 | <int-e> | As for the cabal-install issue, there's this: https://github.com/haskell/cabal/issues/5559 ...some environment files magic that records the installed versions of packages and prevents them from being upgraded. |
| 06:21:59 | <int-e> | (High priority since 2018!) |
| 06:23:47 | × | notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 06:24:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 06:24:38 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 06:25:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:25:47 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 06:25:52 | Lord_of_Life_ | is now known as Lord_of_Life |
| 06:26:47 | <lechner> | int-e: thanks! i haven't read the whole thread but you folks may need a CI system for packages published on hackage. In Debian, a case like this would prevent the release of both ghc and scientific. it becomes the problem of both maintainers---and perhaps a high priority :) |
| 06:28:26 | Lycurgus | puts both hands over mouf |
| 06:28:38 | <int-e> | lechner: you'd have to build every package version with every dependency version to catch this kind of thing... |
| 06:32:04 | × | oldmate quits (~spider@vps-951ce37a.vps.ovh.ca) (Quit: WeeChat 2.9) |
| 06:36:48 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:a8df:e25e:66b5:a4a4) |
| 06:36:55 | <sclv> | we have something like that — see the “matrix” links on hackage |
| 06:37:21 | <sclv> | We just leave - fixing bounds to maintainers |
| 06:37:46 | <sclv> | hackage is a package repo, not a distribution |
| 06:39:44 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 06:40:41 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 06:41:40 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 06:42:12 | × | pmk quits (~user@62.103.231.196) (Ping timeout: 245 seconds) |
| 06:45:01 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 06:45:03 | → | pmk joins (~user@195.114.237.86) |
| 06:51:06 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 07:00:26 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 07:02:13 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:06:14 | → | michalz joins (~michalz@185.246.204.40) |
| 07:06:43 | <thomasjm[m]> | is there some way to use `HasCallStack` in combination with `-Wredundant-constraints` without getting warnings? |
| 07:10:54 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 07:12:01 | × | haskell-lurkmore quits (~haskell-l@78.155.54.115) (Quit: Client closed) |
| 07:13:54 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 07:15:14 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 07:15:44 | → | ablutor joins (~quassel@wasscher.com) |
| 07:15:51 | × | steven1 quits (~steven@172.92.136.203) (Quit: WeeChat 3.2) |
| 07:16:33 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 07:17:10 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 07:17:35 | <c_wraith> | thomasjm[m]: I can't seem to get warnings - can you post some code that does? |
| 07:19:14 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 07:19:57 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95281da3f9599f9b27a2.dip0.t-ipconnect.de) |
| 07:21:24 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 07:24:45 | → | chele joins (~chele@user/chele) |
| 07:26:08 | × | xff0x quits (~xff0x@2001:1a81:5261:500:8918:6732:aa66:a3aa) (Ping timeout: 258 seconds) |
| 07:26:54 | → | xff0x joins (~xff0x@2001:1a81:5261:500:f06:995c:256b:7dfb) |
| 07:27:21 | × | michalz quits (~michalz@185.246.204.40) (Remote host closed the connection) |
| 07:28:21 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 07:29:30 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:31:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 07:33:26 | thomasjm[m] | < https://libera.ems.host/_matrix/media/r0/download/libera.chat/e61f5868b1332775f3b5cad4874e79d8d3fab4a7/message.txt > |
| 07:44:51 | thomasjm[m] | < https://libera.ems.host/_matrix/media/r0/download/libera.chat/43985d9425c5feeabe941fbb22bc99096fbf4413/message.txt > |
| 07:46:22 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 07:47:07 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 07:47:27 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 07:48:12 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 07:53:11 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 07:55:35 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 07:55:41 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 08:05:39 | → | ahri joins (~ahri@109.70.150.160) |
| 08:06:18 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 08:08:20 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 08:11:27 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 08:13:31 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:14:09 | → | connrs joins (~connrs@user/connrs) |
| 08:16:24 | → | Morrow_ joins (~Morrow@147.161.13.123) |
| 08:17:22 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 08:17:52 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 08:22:03 | → | ubert joins (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) |
| 08:24:48 | → | notzmv joins (~zmv@user/notzmv) |
| 08:24:49 | → | oxide joins (~lambda@user/oxide) |
| 08:27:00 | × | fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 08:28:37 | × | Morrow_ quits (~Morrow@147.161.13.123) (Read error: Connection reset by peer) |
| 08:28:57 | → | Morrow_ joins (~Morrow@147.161.13.123) |
| 08:32:51 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:33:10 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:34:11 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-7314-36e4-e3ea-b01e.fixed6.kpn.net) |
| 08:40:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:40:30 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 258 seconds) |
| 08:44:18 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 08:45:24 | → | ubert1 joins (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) |
| 08:48:58 | × | ubert1 quits (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) (Remote host closed the connection) |
| 08:50:28 | × | xff0x quits (~xff0x@2001:1a81:5261:500:f06:995c:256b:7dfb) (Ping timeout: 258 seconds) |
| 08:51:25 | → | dunj3 joins (~dunj3@2001:981:9d95:1:886d:656c:9636:23f4) |
| 08:56:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 09:00:30 | → | reumeth joins (~reumeth@user/reumeth) |
| 09:05:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:05:24 | → | tejasagarwal joins (~tejasagar@103.94.113.233) |
| 09:05:44 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:05:58 | <tejasagarwal> | hiredman |
| 09:06:01 | <tejasagarwal> | hello! |
| 09:06:46 | <tejasagarwal> | heyyy!! |
| 09:06:46 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 09:06:51 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 09:06:57 | → | burnside_ joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 09:09:06 | × | tejasagarwal quits (~tejasagar@103.94.113.233) (Remote host closed the connection) |
| 09:12:09 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 09:13:51 | → | oxide joins (~lambda@user/oxide) |
| 09:14:04 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9528d8c3ad3b1cac9477.dip0.t-ipconnect.de) |
| 09:17:32 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95281da3f9599f9b27a2.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 09:19:45 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-7314-36e4-e3ea-b01e.fixed6.kpn.net) (Remote host closed the connection) |
| 09:22:36 | → | xff0x joins (~xff0x@2001:1a81:5261:500:f15d:9521:4cf3:d5b8) |
| 09:22:49 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 09:25:48 | → | kuribas joins (~user@ptr-25vy0i7cx9hjm3ojhv2.18120a2.ip6.access.telenet.be) |
| 09:27:00 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 09:27:23 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 09:28:43 | → | thyriaen joins (~thyriaen@dynamic-089-012-050-204.89.12.pool.telefonica.de) |
| 09:35:06 | × | Morrow_ quits (~Morrow@147.161.13.123) (Ping timeout: 240 seconds) |
| 09:36:10 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 09:39:18 | → | azeem joins (~azeem@176.200.220.247) |
| 09:40:05 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 09:40:34 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 09:40:34 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:43:22 | × | ubert quits (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 09:43:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:45:06 | <vaibhavsagar[m]> | after reading this I'm wondering how difficult it would be to compile GHC to WebAssembly: https://blog.jupyter.org/jupyterlite-jupyter-%EF%B8%8F-webassembly-%EF%B8%8F-python-f6e2e41ab3fa |
| 09:45:19 | <vaibhavsagar[m]> | I know about Asterius and GHCJS but that's not exactly what I'm looking for |
| 09:45:27 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 09:45:40 | <vaibhavsagar[m]> | although if we could use Asterius to build GHC and spit out a WASM binary that would be pretty amazing |
| 09:49:20 | <vaibhavsagar[m]> | even having GHCi in the browser would be pretty amazing |
| 09:50:39 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 09:53:47 | → | azeem joins (~azeem@176.200.220.247) |
| 09:54:33 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 09:54:45 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 10:00:10 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 240 seconds) |
| 10:00:21 | <c_wraith> | thomasjm[m]: oh. well, what's surprising about being warned that the constraint is unused when it's unused? |
| 10:01:08 | → | azeem joins (~azeem@176.200.220.247) |
| 10:01:51 | <thomasjm[m]> | just that the intended usage of HasCallStack is to be unused |
| 10:05:45 | <thomasjm[m]> | err well maybe that's not quite true, but it would be nice to be able to leave those constraints in the code |
| 10:10:07 | × | anandprabhu quits (~anandprab@94.202.243.198) (Ping timeout: 268 seconds) |
| 10:16:23 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 252 seconds) |
| 10:16:59 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 10:18:04 | → | azeem joins (~azeem@176.200.220.247) |
| 10:18:48 | → | mastarija joins (~mastarija@31.217.9.205) |
| 10:19:19 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:20:16 | <mastarija> | How do I test stuff that I haven't exported from my module? I have one underlying type which I don't want to export, but I want to test it's monad instance to make sure everything is in order. |
| 10:20:33 | <mastarija> | Do my tests see those "other modules"? |
| 10:20:57 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 10:21:13 | <mastarija> | Can should I split that into another file e.g. "Internal" and simply not make it visible to the users of the library? |
| 10:21:14 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 10:21:23 | <Rembane> | mastarija: IIRC you can't, but you can put it in an Internal module and use that for tests. |
| 10:21:30 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 10:21:33 | <Rembane> | mastarija: Yes! |
| 10:22:22 | <mastarija> | Rembane, you mean, other-modules are visible to my test suite, but not library users? |
| 10:22:32 | <mastarija> | Or I should just use this as a convention? |
| 10:22:42 | <mastarija> | And hope users don't use any of that? |
| 10:22:46 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Read error: Connection reset by peer) |
| 10:23:02 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:23:35 | <Rembane> | mastarija: It's visible to all users if they import the Internal module, but it is frowned upon to do so, unless you have very good reasons, so I think it's a viable solution. |
| 10:24:03 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 265 seconds) |
| 10:27:37 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 10:29:16 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 256 seconds) |
| 10:29:16 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:a8df:e25e:66b5:a4a4) (Ping timeout: 256 seconds) |
| 10:29:42 | → | azeem joins (~azeem@176.200.220.247) |
| 10:29:45 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:be63:cd00:7424:69b4) |
| 10:32:01 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 10:32:16 | × | haskl quits (~haskl@98.37.78.63) (Ping timeout: 265 seconds) |
| 10:32:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:37:02 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 10:39:46 | <mastarija> | Rembane, hey, wouldn't it be a good way to test my library without exposing Internal modules to just include them as sources in my test suite, instead of including them as a library for my test suite? |
| 10:40:50 | <Rembane> | mastarija: That sounds like a very roundabout and potentially painful way of testing your code. |
| 10:41:34 | <mastarija> | Why? I just add my library directory in the hs-source-dirs and load the modules |
| 10:41:44 | <mastarija> | What are the drawbacks? |
| 10:42:19 | <Rembane> | Mostly that I've never seen it done before, so my expertise ends here. Maybe someone else in this channel knows more about the tradeoffs? |
| 10:43:44 | × | burnside_ quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 10:44:08 | <thomasjm[m]> | mastarija: test code can certainly be included in tests only. but if they're truly internal modules, then your library needs access to them too right? |
| 10:44:13 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 10:44:31 | <mastarija> | thomasjm[m], I plan to include the whole library code |
| 10:44:39 | <mastarija> | not just Internal module |
| 10:45:45 | <mastarija> | so instead of build-depends: hspec, mylib I just add "hs-source-dirs: tst, lib" |
| 10:45:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 10:45:51 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 10:46:15 | <mastarija> | and include the library modules |
| 10:47:03 | <mastarija> | Yeah... it works! |
| 10:47:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:47:43 | <thomasjm[m]> | ah. only downside i can think off immediately is that those files probably won't be cached by stack/cabal, so will be built once for the tests and once for the lib |
| 10:48:55 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 10:49:06 | <thomasjm[m]> | and that you'd need to repeat the dependencies in the cabal/hpack file |
| 10:49:39 | <amesgen[m]> | mastarija: you can use private internal libraries, which were added with this exact use case in mind: https://cabal.readthedocs.io/en/3.4/cabal-package.html#sublibs |
| 10:49:51 | Kaipi | is now known as Kaiepi |
| 10:50:01 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Quit: Leaving) |
| 10:50:10 | <mastarija> | amesgen[m], ooo... that's nice |
| 10:50:17 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 10:52:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:53:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:58:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 10:59:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:59:16 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 10:59:34 | → | azeem joins (~azeem@176.200.220.247) |
| 11:10:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 11:10:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:19:56 | → | Morrow_ joins (~Morrow@147.161.13.123) |
| 11:19:57 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 11:19:58 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 11:21:56 | → | oxide joins (~lambda@user/oxide) |
| 11:22:37 | → | azeem joins (~azeem@176.200.220.247) |
| 11:25:28 | → | chris joins (~chris@81.96.113.213) |
| 11:25:33 | chris | is now known as Guest8674 |
| 11:26:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:29:30 | × | ccc quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection) |
| 11:30:34 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:33:26 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 11:40:40 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 11:42:47 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 11:43:07 | → | azeem joins (~azeem@176.200.220.247) |
| 11:44:24 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9506d8c3ad3b1cac9477.dip0.t-ipconnect.de) |
| 11:45:39 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 11:47:28 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9528d8c3ad3b1cac9477.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 11:50:38 | <lechner> | int-e: i didn't permutate. it simply conflicted with GHC, didn't it? |
| 11:51:01 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 258 seconds) |
| 11:52:10 | × | mastarija quits (~mastarija@31.217.9.205) (Ping timeout: 258 seconds) |
| 11:52:15 | <lechner> | c_wraith: maybe hackage should be a distribution; is that why FP Complete made stackage? |
| 11:53:02 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 11:53:15 | <hpc> | cabal's solver had some issues back in the day, so they made stack |
| 11:53:23 | <hpc> | but stack needed a currated set of packages, which ended up being stackage |
| 11:54:30 | <hpc> | https://cdsmith.wordpress.com/2011/01/17/the-butterfly-effect-in-cabal/ |
| 11:54:40 | <lechner> | well, i am having some issues right now. how can i build emanote, please? |
| 11:54:55 | → | arahael1 joins (~arahael@124.170.238.106) |
| 11:55:53 | × | Arahael quits (~arahael@124-150-74-227.tpgi.com.au) (Ping timeout: 265 seconds) |
| 11:55:57 | → | azeem joins (~azeem@176.200.220.247) |
| 11:57:32 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds) |
| 11:58:15 | <hpc> | i missed a bunch of scrollback, but maybe try megaparsec 9.0.0? |
| 11:58:39 | <hpc> | it looks like it was made "safe" in 9.0.1, so if you can't use newer scientific use older megaparsec? |
| 12:00:54 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 12:01:24 | <hpc> | maybe post to https://github.com/mrkkrp/megaparsec/issues as well so they can fix their dependency version bounds |
| 12:01:43 | <lechner> | hpc: thanks, that worked! |
| 12:02:16 | <lechner> | hpc: is it really a problem in megaparsec? |
| 12:02:21 | × | Morrow_ quits (~Morrow@147.161.13.123) (Ping timeout: 268 seconds) |
| 12:02:55 | <hpc> | megaparsec added the safe haskell extension, which means (among other things) that module can only import other safe modules |
| 12:02:58 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 12:03:21 | <hpc> | but the dependency constraints include versions of scientific that don't have the safe haskell extension on that module it's importing |
| 12:05:45 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 12:16:19 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 12:16:34 | → | azeem joins (~azeem@176.200.220.247) |
| 12:18:05 | → | slavaqq joins (~Slava@sdmail.sdserver.cz) |
| 12:18:16 | <merijn> | Once again confirming SafeHaskell is basically dead and pointless :p |
| 12:19:30 | <dminuoso> | I really want SafeHaskell to be a thing. :( |
| 12:20:09 | <merijn> | dminuoso: You know where to find the GHC gitlab ;) |
| 12:20:21 | <dminuoso> | Someone wise once said: |
| 12:20:31 | <dminuoso> | If you pay me to do this, Ill gladly make SafeHaskell more of a thing. |
| 12:20:41 | <dminuoso> | Well not quite. But I adapted it for my purposes. |
| 12:20:43 | <dminuoso> | :-) |
| 12:22:24 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 12:24:28 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 12:29:14 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 12:37:23 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 12:38:26 | × | PinealGlandOptic quits (~PinealGla@37.115.210.35) (Quit: leaving) |
| 12:38:54 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 12:39:19 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 12:39:43 | → | azeem joins (~azeem@176.200.220.247) |
| 12:44:18 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 12:47:15 | → | azeem joins (~azeem@176.200.220.247) |
| 12:48:02 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 12:48:09 | → | markpythonicbitc joins (~markpytho@50-254-150-41-static.hfc.comcastbusiness.net) |
| 12:53:06 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 12:54:28 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 12:58:08 | → | azeem joins (~azeem@176.200.220.247) |
| 13:01:08 | → | alx741 joins (~alx741@181.196.69.121) |
| 13:04:01 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 13:04:33 | → | hendursaga joins (~weechat@user/hendursaga) |
| 13:08:12 | → | acidjnk_new3 joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de) |
| 13:08:36 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 13:10:11 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 268 seconds) |
| 13:10:57 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 245 seconds) |
| 13:11:49 | → | azeem joins (~azeem@176.200.220.247) |
| 13:12:12 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9506d8c3ad3b1cac9477.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 13:12:19 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 13:13:34 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 13:14:43 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 13:16:48 | → | slack1256 joins (~slack1256@191.125.170.167) |
| 13:16:54 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:19:57 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 13:20:57 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 13:21:36 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 13:23:31 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 13:25:13 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 13:30:51 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Quit: Leaving) |
| 13:31:50 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 13:32:13 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 13:33:04 | → | azeem joins (~azeem@176.200.220.247) |
| 13:33:27 | × | slavaqq quits (~Slava@sdmail.sdserver.cz) (Quit: Client closed) |
| 13:36:09 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 13:36:38 | × | turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 13:39:44 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 13:40:42 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 13:44:55 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 13:45:46 | → | mattil joins (~mattilinn@87-92-5-183.bb.dnainternet.fi) |
| 13:48:54 | → | Slava joins (~Slava@sdmail.sdserver.cz) |
| 13:49:09 | → | markpythonicbit_ joins (~markpytho@50.228.44.6) |
| 13:50:40 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 13:50:42 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 13:50:53 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 13:52:09 | × | markpythonicbitc quits (~markpytho@50-254-150-41-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 14:00:20 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 14:04:04 | → | azeem joins (~azeem@176.200.220.247) |
| 14:04:21 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 14:06:06 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 14:06:29 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 14:06:29 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 14:06:29 | → | turlando joins (~turlando@user/turlando) |
| 14:08:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:15:30 | → | slac11838 joins (~slack1256@181.203.123.157) |
| 14:16:52 | <lechner> | hpc: thanks! https://github.com/mrkkrp/megaparsec/issues/461 |
| 14:17:50 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 14:17:50 | × | slack1256 quits (~slack1256@191.125.170.167) (Ping timeout: 250 seconds) |
| 14:20:20 | → | azeem joins (~azeem@176.200.220.247) |
| 14:23:08 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 14:23:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:24:28 | → | zebrag joins (~chris@user/zebrag) |
| 14:25:24 | <lechner> | Hi, how can I install a local package that is not available from Hackage so that it can sastisfy build prerequisites in other local executables, please? Thanks! |
| 14:25:35 | <dminuoso> | lechner: do you use stack or cabal? |
| 14:25:40 | <lechner> | cabal |
| 14:25:50 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 14:25:51 | <dminuoso> | You can just vendor it via git or a local path |
| 14:26:24 | <lechner> | it's building but not available one Git repo over |
| 14:27:09 | <lechner> | it's tagtree in here https://github.com/srid/emanote |
| 14:28:49 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 14:29:52 | <lechner> | do i need nix? |
| 14:31:01 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 14:31:15 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 14:33:02 | × | mattil quits (~mattilinn@87-92-5-183.bb.dnainternet.fi) (Quit: Leaving) |
| 14:34:44 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 14:34:48 | <fendor> | lechner, maybe you want this: https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-control-locations |
| 14:37:24 | → | __monty__ joins (~toonn@user/toonn) |
| 14:38:42 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 14:38:53 | <lechner> | fendor: thanks! i'll try it. this thing, however, says to go back to v1-install https://github.com/haskell/cabal/issues/6478 |
| 14:39:12 | <fendor> | lechner, if you have a cabal project, dont |
| 14:39:27 | × | slac11838 quits (~slack1256@181.203.123.157) (Remote host closed the connection) |
| 14:39:38 | <fendor> | installing it globally for ghci usage maybe, but it is more complicated than that |
| 14:40:32 | <lechner> | fendor: neither of the two projects is mine, so i am reluctant to modify the cabal. how does their author build them? |
| 14:40:43 | <merijn> | lechner: That only applies if you don't want to use cabal.project and v2-build/run |
| 14:41:04 | <merijn> | lechner: i.e. the ticket is about "installing a vendored library in the package database", which you probably shouldn't anyway |
| 14:41:24 | × | Guest8674 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 14:41:25 | <merijn> | lechner: You almost certainly just want cabal.project |
| 14:41:31 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 14:41:48 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 14:42:43 | <lechner> | merijn: okay, thanks! maybe srid[m] can tell me how to build emanote |
| 14:44:45 | × | Slava quits (~Slava@sdmail.sdserver.cz) (Quit: Client closed) |
| 14:44:58 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 14:48:00 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 14:51:36 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 14:53:28 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 14:54:17 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:55:23 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 14:55:40 | → | hendursaga joins (~weechat@user/hendursaga) |
| 14:55:42 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 14:56:11 | × | hendursaga quits (~weechat@user/hendursaga) (Client Quit) |
| 14:56:35 | → | hendursaga joins (~weechat@user/hendursaga) |
| 14:57:23 | × | azeem quits (~azeem@176.200.220.247) (Read error: Connection reset by peer) |
| 14:57:59 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 14:59:20 | → | Pickchea joins (~private@user/pickchea) |
| 15:10:37 | → | chris joins (~chris@81.96.113.213) |
| 15:10:40 | chris | is now known as Guest5642 |
| 15:13:11 | → | jlamothe joins (~jlamothe@104.158.48.100) |
| 15:14:11 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 15:14:12 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 15:14:42 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 15:14:57 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 258 seconds) |
| 15:25:13 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 15:28:07 | <int-e> | lechner: Not sure whether this adds anything at this point, but no, ghc wasn't involved; it was purely a versioning problem between `megaparsec` and `scientific`. |
| 15:28:15 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 15:33:35 | → | MoC joins (~moc@user/moc) |
| 15:34:58 | × | acidjnk_new3 quits (~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 15:36:10 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds) |
| 15:38:43 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
| 15:39:38 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:43:06 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 15:43:53 | → | tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 15:44:11 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 15:45:06 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 15:45:35 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 15:46:18 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 15:49:23 | <[exa]> | so I'd like to make a link-checker for (static) html that gets thrown out of some html generator; is there any easy-to-use html parser that I'd just use to get out the href='s and src='s from the html file? |
| 15:49:44 | <[exa]> | (currently looking at tagchup) |
| 15:50:30 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 15:50:47 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:51:59 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:be63:cd00:7424:69b4) (Quit: WeeChat 2.8) |
| 15:55:33 | <merijn> | [exa]: html-conduit was decent for that sorta thing |
| 15:55:51 | <tommd> | Back in the day tagsoup was definately good - used it for some good projects. Tagchup sounds in the same vein (reading the description) and the author is a known quantity, so I'd give it a go. |
| 15:56:05 | <merijn> | [exa]: Which lets you do stuff like "get all img tags" and then inspect their src property |
| 15:57:37 | <dsal> | Yeah, it looks like I've used tagsoup for that fairly recently. |
| 15:57:53 | <[exa]> | o nice |
| 15:57:57 | → | haskl joins (~haskl@98.37.78.63) |
| 15:57:57 | <[exa]> | thanks everyone! |
| 15:58:11 | <[exa]> | let's see the conduit actually, I wanted some nice usecase for conduit for a long time |
| 15:58:46 | → | ski joins (~ski@remote12.chalmers.se) |
| 15:59:35 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:02:52 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds) |
| 16:04:12 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 16:04:24 | × | xff0x quits (~xff0x@2001:1a81:5261:500:f15d:9521:4cf3:d5b8) (Ping timeout: 258 seconds) |
| 16:04:46 | → | oxide joins (~lambda@user/oxide) |
| 16:05:17 | → | xff0x joins (~xff0x@2001:1a81:5261:500:d17d:ece5:e6fc:5ac4) |
| 16:06:28 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:06:38 | × | V quits (~v@anomalous.eu) (Ping timeout: 252 seconds) |
| 16:06:49 | orzo_ | is now known as orzo |
| 16:09:22 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 16:14:52 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:15:00 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 16:15:43 | → | V joins (~v@anomalous.eu) |
| 16:20:36 | × | pmk quits (~user@195.114.237.86) (Ping timeout: 256 seconds) |
| 16:21:16 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 16:21:22 | × | V quits (~v@anomalous.eu) (Ping timeout: 268 seconds) |
| 16:25:16 | × | dunj3 quits (~dunj3@2001:981:9d95:1:886d:656c:9636:23f4) (Remote host closed the connection) |
| 16:26:22 | × | qrpnxz quits (~qrpnxz@user/qrpnxz) (Ping timeout: 245 seconds) |
| 16:27:09 | → | cheater joins (~Username@user/cheater) |
| 16:27:24 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 16:29:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 16:30:35 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:32:20 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 16:36:13 | × | hololeap_ quits (~hololeap@user/hololeap) (Ping timeout: 244 seconds) |
| 16:37:35 | → | pavonia joins (~user@user/siracusa) |
| 16:38:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:39:40 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 258 seconds) |
| 16:41:00 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:41:08 | × | oso quits (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 16:42:48 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 16:43:21 | → | V joins (~v@anomalous.eu) |
| 16:43:53 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 16:44:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:45:22 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 16:46:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:49:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 16:49:28 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 16:51:28 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 16:55:14 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 16:55:42 | → | econo joins (uid147250@user/econo) |
| 16:56:09 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 16:57:06 | × | thyriaen quits (~thyriaen@dynamic-089-012-050-204.89.12.pool.telefonica.de) (Quit: Leaving) |
| 16:57:15 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 17:04:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:04:43 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:08:02 | → | Slava joins (~Slava@sdmail.sdserver.cz) |
| 17:09:23 | × | Slava quits (~Slava@sdmail.sdserver.cz) (Client Quit) |
| 17:09:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 17:10:23 | → | slavaqq joins (~slavaqq@sdmail.sdserver.cz) |
| 17:11:19 | × | Guest5642 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:12:18 | × | ahri quits (~ahri@109.70.150.160) (Quit: Client closed) |
| 17:14:32 | → | chris joins (~chris@81.96.113.213) |
| 17:14:36 | chris | is now known as Guest6270 |
| 17:16:58 | × | etea quits (~et@204.237.91.74) (Quit: go home) |
| 17:24:54 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 17:24:57 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 17:25:25 | → | P1RATEZ joins (~piratez@user/p1ratez) |
| 17:28:04 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 17:29:07 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 17:32:07 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:33:16 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Remote host closed the connection) |
| 17:33:43 | × | xff0x quits (~xff0x@2001:1a81:5261:500:d17d:ece5:e6fc:5ac4) (Ping timeout: 258 seconds) |
| 17:34:06 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 258 seconds) |
| 17:34:29 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 17:34:29 | → | xff0x joins (~xff0x@2001:1a81:5261:500:50b0:5a7e:398e:1cad) |
| 17:35:36 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 17:36:51 | → | Pickchea joins (~private@user/pickchea) |
| 17:40:01 | → | Guest9 joins (~Guest9@103.240.204.119) |
| 17:40:19 | × | Guest9 quits (~Guest9@103.240.204.119) (Client Quit) |
| 17:41:23 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 17:44:52 | × | Arsen quits (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
| 17:45:11 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 17:48:33 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:49:03 | × | xff0x quits (~xff0x@2001:1a81:5261:500:50b0:5a7e:398e:1cad) (Ping timeout: 258 seconds) |
| 17:49:40 | → | xff0x joins (~xff0x@2001:1a81:5261:500:ded2:30b8:9807:d2a8) |
| 17:52:44 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Quit: Client closed) |
| 17:53:17 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Remote host closed the connection) |
| 17:56:45 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 17:57:17 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 17:59:02 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 18:04:59 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 18:05:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:06:57 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:07:00 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 18:09:49 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 18:09:50 | <lechner> | int-e: Hi, why is nix popular (or needed) in conjunction with cabal, please? |
| 18:10:04 | <lechner> | int-e: sorry, that wasn't for you! |
| 18:10:46 | <Rembane> | lechner: What makes you think it is? |
| 18:11:15 | <sclv> | nix is good for large production systems where you want to manage not just haskell deps but also other libs, and perhaps a number of executables in multiple languages |
| 18:11:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 18:11:26 | <Rembane> | lechner: I'm using cabal without nix and it works quite well. |
| 18:11:29 | <lechner> | Rembane: https://github.com/srid/emanote#developing |
| 18:13:14 | <lechner> | Rembane: is it possible to install modules with cabal without them being on Hackage? |
| 18:13:33 | <sm> | lechner: I too wondered why srid used nix there, I assume it was to repeatably get the non-haskell deps installed |
| 18:13:41 | <sclv> | yes it is possible |
| 18:13:58 | <lechner> | do i have to uses cabal.project? |
| 18:14:02 | <lechner> | use |
| 18:14:03 | <sm> | or maybe just the unpublished haskell deps (ema, not yet on hackage) |
| 18:14:06 | <sclv> | yes |
| 18:14:07 | <lechner> | sorry, poor speller |
| 18:14:17 | <sclv> | Thats what cabal.project is for |
| 18:14:24 | <sclv> | Among other things |
| 18:14:44 | <sm> | you can clone a repo, cd into it, and just cabal install, also |
| 18:15:19 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 18:15:20 | <sclv> | but to use it as a dep with new build thats not the best path |
| 18:15:37 | <lechner> | that works great for executables but does nothing here for "libraries" aka source modules |
| 18:15:42 | <sclv> | one shouldn’t think of “installing” libs |
| 18:15:53 | <sclv> | just depending on them and giving locations |
| 18:15:55 | <sm> | probably not, just a general answer - yes cabal can be used for things not on hackage |
| 18:16:26 | <lechner> | isn't "installing libraries" what cabal does with modules from hackage? |
| 18:16:56 | <sm> | cabal install --lib is how you'd globally install libraries from a local repo. That's probably considered bad practice too |
| 18:17:00 | <sclv> | in the new build paradigm it builds them and puts em in a store |
| 18:17:09 | <sclv> | but it doesn’t gobally install them |
| 18:17:18 | <lechner> | yeah |
| 18:17:26 | <lechner> | for good reasons i assume |
| 18:17:31 | <sclv> | You just declare deps and locations and it handles everything in the background |
| 18:21:37 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 18:23:02 | × | trufas quits (~trufas@177.240.218.218) (Ping timeout: 252 seconds) |
| 18:23:54 | → | trufas joins (~trufas@177.240.218.218) |
| 18:26:18 | <drakonis> | davean: any updates regarding questions? |
| 18:27:04 | <lechner> | sm sclv: thanks! cabal.project worked great. how does srid[m] build emanote without it? |
| 18:27:26 | <drakonis> | nix is not required for haskell development |
| 18:27:27 | → | slavaqq joins (~slavaqq@sdmail.sdserver.cz) |
| 18:27:39 | <drakonis> | it is just a tool that has become popular among haskell adjacent developers |
| 18:27:43 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 18:28:21 | <lechner> | adjacent? |
| 18:29:07 | <drakonis> | haskell developers |
| 18:29:15 | <drakonis> | haskell users |
| 18:29:18 | × | mnrmnaughmnrgle quits (~mnrmnaugh@68.162.206.56) (Remote host closed the connection) |
| 18:29:38 | <lechner> | it has great logical appeal. |
| 18:30:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:30:10 | <drakonis> | does it? |
| 18:30:11 | → | fendor_ joins (~fendor@77.119.211.146.wireless.dyn.drei.com) |
| 18:30:36 | → | mnrmnaugh joins (~mnrmnaugh@68.162.206.56) |
| 18:30:46 | × | fendor quits (~fendor@77.119.211.146.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 18:32:17 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:32:20 | <lechner> | i was excited the first time i read about it. i liked the ability to revert. i even asked around debian if anyone is looking into it, but was told it was hard to get to work properly |
| 18:33:04 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 18:33:54 | <drakonis> | packaging it in debian? |
| 18:33:55 | <lechner> | also cloning a 2 gig Git repo just to contribute seemed steep. maybe shallow clones work for installs |
| 18:33:57 | <drakonis> | they have it |
| 18:34:10 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 18:34:12 | <drakonis> | you should look into guix idk |
| 18:34:22 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 18:34:34 | <lechner> | more like being inspired to extent of patching apt |
| 18:35:23 | <drakonis> | oh, right, well, that's not a simple thing to do |
| 18:35:54 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:36:04 | <sm> | lechner: nix is sometimes used like a superset of cabal.project, it handles non-haskell things as well. I don't think it was necessary for ema, srid just likes it |
| 18:36:35 | <lechner> | sm: but he uses it instead of cabal.project, right? |
| 18:37:14 | <sm> | in what sense ? |
| 18:37:14 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 18:37:32 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 18:37:54 | <lechner> | there was no cabal.project but he must be buildnig it somehow |
| 18:38:03 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 18:38:18 | <lechner> | meanwhile, i got https://paste.debian.net/1206578/ |
| 18:38:38 | <sm> | cabal.project isn't needed for building; it's needed for repeatable building, with cabal. And nix is one alternative to it, yes |
| 18:39:29 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:39:58 | <lechner> | i could not build emanote without nix, and added a cabal.project |
| 18:40:03 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 18:40:55 | <sm> | bottom line, this software is not yet easy to build, the bounds and dependencies aren't yet accurate |
| 18:41:03 | <lechner> | but now i am getting symbol clashes Ambiguous occurrence ‘lookupEnv’ between Prelude and System.Environment https://paste.debian.net/1206578/ |
| 18:41:25 | <sm> | bounds/dependencies/imports |
| 18:41:37 | <lechner> | i think he actually uses Relude (without the letter P) |
| 18:44:05 | <lechner> | here is my cabal.project https://paste.debian.net/1206580/ |
| 18:44:38 | <lechner> | plus, i had to constrain for SafeHaskell cabal install emanote --constraint 'megaparsec == 9.0.0' |
| 18:47:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 18:50:23 | × | qbt quits (~edun@user/edun) (Ping timeout: 258 seconds) |
| 18:51:25 | → | delYsid joins (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 18:51:49 | × | markpythonicbit_ quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:52:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:52:19 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 18:52:30 | <delYsid> | How much memory does a simple sum type with two nullary constructors consume? |
| 18:53:02 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Client Quit) |
| 18:55:50 | <monochrom> | 1 word. If 64-bit GHC, 1 word = 64 bits. |
| 18:55:52 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 18:56:31 | → | oxide joins (~lambda@user/oxide) |
| 18:56:33 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Read error: Connection reset by peer) |
| 18:56:36 | <int-e> | delYsid: The two values will be created statically (so at compile time), so you're left with just a pointer. |
| 18:56:37 | <monochrom> | GHC is an alignment fiend. Expect "machine word" to be its basic atomic unit. |
| 18:58:35 | <delYsid> | Does {-# UNPACK #-} create aligned fields, or is it somehow packing things according to underlying data type size? |
| 19:00:26 | <delYsid> | i.e., data D = D {-# UNPACK #-} !Word8 {-# UNPACK #-} !Word8 {-# UNPACK #-} !Word8 {-# UNPACK #-} !Word8 -- 64bit or 256bit? |
| 19:00:58 | <delYsid> | er, 32bit 256... |
| 19:02:14 | <monochrom> | I think GHC ended up weaseling out of that question because Word8 is defined by "data Word8 = <constructor name> <machine word type> |
| 19:02:33 | × | xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Quit: leaving) |
| 19:02:54 | <delYsid> | oh, right, thanks for reminding me. Thats probably why changing from Int to Word16 didnt do anything... |
| 19:02:58 | → | sphynx joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 19:03:28 | <monochrom> | See? GHC is an alignment fiend. >:) |
| 19:03:42 | <delYsid> | So essential, if I want to pack things neatly, I need to manually do bit shifting to get smaller values out of bigger ones? |
| 19:04:29 | <delYsid> | (and then the shifting is probably killing all the gain I got from lesser allocations.) |
| 19:05:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:08:07 | fendor_ | is now known as fendor |
| 19:10:22 | × | kuribas quits (~user@ptr-25vy0i7cx9hjm3ojhv2.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 19:20:14 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 19:20:16 | <geekosaur> | it'll be interesting to see how that works in 9.2 |
| 19:21:33 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 19:22:34 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 240 seconds) |
| 19:29:10 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 19:34:59 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:4433:c8ce:66b8:8b6e) |
| 19:39:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 19:39:44 | → | thelounge9230681 joins (~thelounge@cpe-75-85-161-60.san.res.rr.com) |
| 19:40:15 | → | reumeth joins (~reumeth@user/reumeth) |
| 19:42:20 | × | alx741 quits (~alx741@181.196.69.121) (Ping timeout: 252 seconds) |
| 19:45:20 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Quit: ubert) |
| 19:47:05 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9506f08af8023599699d.dip0.t-ipconnect.de) |
| 19:48:22 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 19:48:34 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 19:48:37 | → | gentauro joins (~gentauro@user/gentauro) |
| 19:49:42 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:49:42 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Quit: Client closed) |
| 19:51:35 | → | mr-red joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 19:53:53 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
| 19:54:43 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 19:55:27 | → | alx741 joins (~alx741@186.178.109.254) |
| 20:05:12 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 268 seconds) |
| 20:05:17 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Remote host closed the connection) |
| 20:05:26 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 20:06:30 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 20:06:36 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9506b4fcf3b689739a9c.dip0.t-ipconnect.de) |
| 20:07:00 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 20:07:10 | → | juhp joins (~juhp@128.106.188.220) |
| 20:08:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:09:03 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Client Quit) |
| 20:10:07 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9506f08af8023599699d.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 20:10:12 | → | slack1256 joins (~slack1256@181.203.123.157) |
| 20:10:30 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 20:11:33 | <slack1256> | Are cabal's "internal libraries" supported on stack? I don't seem to find info on that. For reference I mean this feature https://cabal.readthedocs.io/en/3.4/cabal-package.html#sublibs |
| 20:11:55 | <sclv> | Nope |
| 20:12:13 | <slack1256> | :sad: |
| 20:13:23 | <slack1256> | Alternatively, is there a detailed advice on how to maintain the import module lattice without loops? |
| 20:15:45 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 20:16:26 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 20:17:40 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 20:20:20 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 20:20:49 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 20:21:14 | × | mr-red quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 20:23:07 | <slack1256> | Oh, nevermind. I solved it. |
| 20:23:24 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 20:25:18 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 20:26:45 | × | reumeth quits (~reumeth@user/reumeth) (Remote host closed the connection) |
| 20:27:14 | → | reumeth joins (~reumeth@user/reumeth) |
| 20:27:58 | mnrmnaugh | is now known as KeziahMason |
| 20:29:57 | <drakonis> | davean: https://guix.gnu.org/manual/en/html_node/Defining-Package-Variants.html |
| 20:30:03 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 20:30:04 | <drakonis> | this might interest you |
| 20:30:25 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 20:37:53 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 20:38:58 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 240 seconds) |
| 20:40:48 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:44:37 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 20:46:14 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 20:48:52 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 20:50:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:50:35 | <lechner> | Hi, what is the motivation for cabal mixins, please? Isn't that more robustly handled by patching sources. if needed? |
| 20:51:11 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 20:51:17 | <[exa]> | lechner: maybe "automated patching of sources" |
| 20:51:38 | <lechner> | a patch automatically applied? |
| 20:51:41 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 20:52:00 | <[exa]> | not really a patch but some reasonable specialization that you'd otherwise crudely apply as a patch |
| 20:52:21 | <lechner> | either way, what's the use case? is it really worth the complexity? |
| 20:53:17 | <yushyin> | the motivation behind mixins was backpack, afaik |
| 20:53:24 | <yushyin> | https://gitlab.haskell.org/ghc/ghc/-/wikis/backpack |
| 20:53:31 | × | ajb_ quits (~ajb@cupid.whatbox.ca) (Quit: bye) |
| 20:53:41 | → | ajb joins (~ajb@cupid.whatbox.ca) |
| 20:54:10 | <[exa]> | IMO not really (<- traditionalist point of view lol), but it appearently helped some people. |
| 20:54:40 | <monochrom> | cabal mixin is part of the Backpack system. This is a higher-order module system, not a patch system. |
| 20:54:52 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 20:57:48 | <monochrom> | Backpack is not much more complex than SML module system. You would have to also claim "SML module system is too complex" if you wanted to claim "Backpack is too complex". |
| 20:58:56 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 20:59:17 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 20:59:36 | <lechner> | dunno about backpack, but don't mixins simply fake module names? |
| 20:59:55 | <monochrom> | Its shortcoming is that it arrived too late, losing out to inertia and networking effect of alternative make-shift workarounds such as "the bytestring library dliberately name-clashes with Data.List so you enjoy 'the same API', import qualified to enjoy B.length syntax" |
| 21:00:03 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:00:49 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 21:00:57 | <lechner> | how would that work with backpack? |
| 21:02:17 | <lechner> | i am more concerned that information some might consider crucial disappeared from the source files |
| 21:02:27 | <yushyin> | see the wiki link, there is the thesis, a paper and more |
| 21:02:30 | × | brettgilio quits (~brettgili@45.55.53.68) (Quit: The Lounge - https://thelounge.chat) |
| 21:03:33 | → | brettgilio joins (~brettgili@45.55.53.68) |
| 21:03:53 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Client Quit) |
| 21:04:10 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 21:04:34 | <lechner> | never mind. his thesis advisor is a friend of mine |
| 21:04:56 | <lechner> | i am sure it's super cool stuff |
| 21:05:05 | <monochrom> | That's certainly a plot twist no one saw coming. |
| 21:05:23 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 21:06:05 | × | thelounge9230681 quits (~thelounge@cpe-75-85-161-60.san.res.rr.com) (Ping timeout: 258 seconds) |
| 21:07:01 | <monochrom> | "OO looks nice, you can place data and operations in proximity, nice organizational tool... wait, so Alan Kay was involved?! OK down with OO, burn in hell!" |
| 21:07:05 | <lechner> | anyway ema doesn't build directly either, so it's not an issue of vendoring+mixins |
| 21:08:14 | <amesgen[m]> | Some use cases of mixins: |
| 21:08:14 | <amesgen[m]> | - Multiple dependencies define packages with the same name, and you don't want to use PackageImports all the time |
| 21:08:14 | <amesgen[m]> | - Replacing `Prelude` by another module: https://github.com/kowainik/relude#mixins |
| 21:08:14 | <amesgen[m]> | - Swapping API-compatible packages, e.g. https://github.com/bodigrim/tasty-bench#how-to-switch |
| 21:10:44 | <lechner> | monochrom: well, the more obvious point is that, like many things Haskell, backpack is based on academic work. so many tech ideas are garbage---please forgive a newbie. i see you also had a hand in it |
| 21:11:38 | → | brian_da_mage joins (~Neuromanc@user/neuromancer) |
| 21:12:02 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 21:12:03 | brian_da_mage | is now known as Neuromancer |
| 21:12:12 | <monochrom> | IIUC you have been claiming "newbie" for years. |
| 21:12:56 | <lechner> | maybe "student driver" would be better |
| 21:13:48 | <lechner> | less honking |
| 21:15:35 | <lechner> | plus, i am new to haskell. you can tell from my questions |
| 21:16:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 21:16:18 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 21:19:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:20:46 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 250 seconds) |
| 21:21:56 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 21:22:38 | <lechner> | actually, i have no issue with mixins. their motivation is brilliant (and outlined in 2.2 of the thesis for anyone interested) but why are they not part of the source files? Doesn't the subtype matter more to the consuming module than to the build process? |
| 21:23:31 | <monochrom> | It was a pragmatic choice of "let's not add new syntax to Haskell" |
| 21:23:43 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 21:24:10 | <monochrom> | You have seen how people are bitter if someone goes "let's add RecordDotSyntax". And that's only one dot. |
| 21:24:10 | <lechner> | the baby might have looked like Java |
| 21:24:45 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 21:25:02 | <monochrom> | I agree that without changing Haskell syntax, you end up with a roundabout bolt-on mechanism, it is not seamless. |
| 21:25:11 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 21:25:33 | <lechner> | your build systems may also become incompatible, i.e. cabal vs stack |
| 21:26:50 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 272 seconds) |
| 21:26:50 | × | xff0x quits (~xff0x@2001:1a81:5261:500:ded2:30b8:9807:d2a8) (Ping timeout: 250 seconds) |
| 21:27:08 | <davean> | lechner: I mean also the build process though |
| 21:27:27 | × | V quits (~v@anomalous.eu) (Quit: We're here. We're queer. Connection reset by peer) |
| 21:27:45 | <sclv> | no, the problem is just that stack did not update itself to handle mixins |
| 21:27:46 | → | V joins (~v@anomalous.eu) |
| 21:27:51 | → | xff0x joins (~xff0x@port-92-193-173-141.dynamic.as20676.net) |
| 21:27:57 | <sclv> | they could fix it, by updating their code |
| 21:28:15 | <lechner> | that's assuming it will do so the same way |
| 21:28:33 | <davean> | lechner: a mixin can create a build object for each instance |
| 21:28:44 | <lechner> | oxay |
| 21:28:49 | <lechner> | okay |
| 21:29:26 | <lechner> | you mangle symbol names like C++? |
| 21:29:29 | <sclv> | lechner don't make assumptions, you don't understand the implementation well enough to make those assumptions |
| 21:29:40 | <sclv> | the core mixin stuff is in the basic Cabal library |
| 21:29:56 | <sclv> | stack simply did not yet update their code making use of that library to handle new mixin features in that lib |
| 21:30:21 | <sclv> | please do not assume that things are done in ways you can smugly complain are bad, when you have no idea |
| 21:30:25 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:31:10 | <lechner> | you are right. i am a newbie |
| 21:31:32 | <davean> | if you know you're a newbie, look into things instead of making assumptions? |
| 21:32:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:32:16 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 21:32:37 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 21:34:11 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Quit: WeeChat 2.7.1) |
| 21:35:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:36:30 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 21:37:30 | × | fendor quits (~fendor@77.119.211.146.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:39:30 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 21:45:18 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Quit: WeeChat 3.1) |
| 21:49:16 | <janus> | if a package uses mixins and it is published to hackage, can a stack build still depend on it? or does stack need every transitive dependency to not use mixins? |
| 21:49:42 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:52:01 | <raehik> | is there any way I can reuse Happy parser components between multiple modules? like the rules (that are processed by Happy) |
| 21:55:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:01:55 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:01:59 | → | Guest17 joins (~Guest17@187.83.249.216.dyn.smithville.net) |
| 22:04:21 | <Guest17> | is there a version of Data.Vector.unfoldr (any version) which returns the accumulator/seed after construction, i.e. (Vector a, b) instead of just Vector a? |
| 22:10:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 22:11:56 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:12:15 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:16:42 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 22:18:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:20:25 | → | acidjnk_new3 joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de) |
| 22:23:36 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9506b4fcf3b689739a9c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 22:25:43 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away) |
| 22:27:51 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 22:28:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:28:05 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 22:28:23 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Client Quit) |
| 22:28:37 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 22:30:02 | × | Guest17 quits (~Guest17@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 22:43:02 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 22:43:03 | → | cjb joins (~cjb@user/cjb) |
| 22:43:27 | × | acidjnk_new3 quits (~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 22:49:08 | → | dajoer joins (~david@user/gvx) |
| 22:54:18 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds) |
| 22:55:43 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 258 seconds) |
| 22:57:30 | <ski> | i guess you're looking for something like `(s -> (Maybe a,s)) -> (s -> (Vector a,s))' (~ `State s (Maybe a) -> State s (Vector a)') .. |
| 22:58:42 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 22:58:55 | <ski> | (.. reminds me of some `until'/`untilM'/`untilMaybe' looping structures) |
| 23:00:50 | → | oxide joins (~lambda@user/oxide) |
| 23:01:08 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 23:12:34 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 23:15:23 | ← | delYsid parts (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 23:15:57 | × | P1RATEZ quits (~piratez@user/p1ratez) (Remote host closed the connection) |
| 23:18:38 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 23:18:58 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 23:19:31 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 23:25:57 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 23:27:39 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 23:41:28 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 23:44:33 | hexeme | is now known as ldlework |
All times are in UTC on 2021-08-04.