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