Logs: liberachat/#haskell
| 2021-08-04 05:25:25 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 2021-08-04 05:27:40 | → | qbt joins (~edun@user/edun) |
| 2021-08-04 05:28:44 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-04 05:30:01 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-08-04 05:30:10 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 240 seconds) |
| 2021-08-04 05:37:01 | → | Morrow_ joins (~Morrow@147.161.9.135) |
| 2021-08-04 05:37:24 | <int-e> | lechner: hmm which version of `scientific` do you have installed? 0.3.7.0 has some touchups in that area, but megaparsec doesn't have a corresponding lower bound. |
| 2021-08-04 05:37:46 | <int-e> | (it should require scientific >= 0.3.7.0) |
| 2021-08-04 05:39:11 | × | MorrowM quits (~Morrow@176.12.176.145) (Ping timeout: 258 seconds) |
| 2021-08-04 05:40:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-04 05:42:30 | <lechner> | yeah, i have 0.3.6.2 |
| 2021-08-04 05:42:37 | <lechner> | int-e: ^ |
| 2021-08-04 05:43:21 | <int-e> | Oh, "that area" = safe Haskell. |
| 2021-08-04 05:43:50 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 2021-08-04 05:43:56 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-04 05:45:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-04 05:46:21 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-04 05:46:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-04 05:48:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-04 05:48:40 | × | xff0x quits (~xff0x@2001:1a81:5261:500:4a93:7036:247a:6d65) (Ping timeout: 250 seconds) |
| 2021-08-04 05:49:22 | → | xff0x joins (~xff0x@2001:1a81:5261:500:8918:6732:aa66:a3aa) |
| 2021-08-04 05:50:41 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-04 05:50:57 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 245 seconds) |
| 2021-08-04 05:52:18 | <lechner> | int-e: how can i report that bug in megaparsec, please? also, how can i force installation of scientific-0.3.7.0 with cabal? thanks! |
| 2021-08-04 05:54:24 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-04 05:55:25 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-08-04 05:56:16 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-04 05:56:22 | <lechner> | neither cabal install scientific-0.3.7.0 nor cabal install scientific --constraint 'scientific >= 0.3.7.0' works |
| 2021-08-04 05:59:53 | × | Morrow_ quits (~Morrow@147.161.9.135) (Ping timeout: 258 seconds) |
| 2021-08-04 06:00:04 | <sclv> | add the constraint on scientific to the cabal project you're trying to build directly |
| 2021-08-04 06:03:42 | <lechner> | sclv: thanks! that worked cabal build --constraint 'scientific >= 0.3.7.0' |
| 2021-08-04 06:04:26 | <lechner> | so odd though, i got Warning: tagtree.cabal:65:3: Unknown field: "main-is" |
| 2021-08-04 06:05:24 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-04 06:07:29 | <int-e> | lechner: https://hackage.haskell.org/package/megaparsec-9.1.0 points to https://github.com/mrkkrp/megaparsec/issues |
| 2021-08-04 06:08:17 | × | thyriaen quits (~thyriaen@dynamic-089-012-050-204.89.12.pool.telefonica.de) (Remote host closed the connection) |
| 2021-08-04 06:09:03 | <lechner> | also, how can i install tagtree locally. now it complains again "rejecting: scientific-0.3.7.0 (constraint from user target requires ==0.3.6.2" which is bogus https://paste.debian.net/1206511/ |
| 2021-08-04 06:15:14 | <lechner> | int-e: this seems relevant but i can't tell which way. the PR was closed. is the bug actually in scientific? https://github.com/mrkkrp/megaparsec/issues/425#issuecomment-707631093 |
| 2021-08-04 06:15:19 | → | fendor joins (~fendor@77.119.211.146.wireless.dyn.drei.com) |
| 2021-08-04 06:16:22 | <lechner> | https://github.com/basvandijk/scientific/pull/71 |
| 2021-08-04 06:17:00 | × | kayvank quits (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) (Quit: Client closed) |
| 2021-08-04 06:18:14 | <int-e> | lechner: That is the change that should've bumped the lower bound for scientific, but didn't. |
| 2021-08-04 06:19:41 | <int-e> | Well, https://github.com/mrkkrp/megaparsec/pull/427 really |
| 2021-08-04 06:19:42 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) |
| 2021-08-04 06:20:22 | <int-e> | As for the cabal-install issue, there's this: https://github.com/haskell/cabal/issues/5559 ...some environment files magic that records the installed versions of packages and prevents them from being upgraded. |
| 2021-08-04 06:21:59 | <int-e> | (High priority since 2018!) |
| 2021-08-04 06:23:47 | × | notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2021-08-04 06:24:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-08-04 06:24:38 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-04 06:25:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-04 06:25:47 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-04 06:25:52 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-04 06:26:47 | <lechner> | int-e: thanks! i haven't read the whole thread but you folks may need a CI system for packages published on hackage. In Debian, a case like this would prevent the release of both ghc and scientific. it becomes the problem of both maintainers---and perhaps a high priority :) |
| 2021-08-04 06:28:26 | Lycurgus | puts both hands over mouf |
| 2021-08-04 06:28:38 | <int-e> | lechner: you'd have to build every package version with every dependency version to catch this kind of thing... |
| 2021-08-04 06:32:04 | × | oldmate quits (~spider@vps-951ce37a.vps.ovh.ca) (Quit: WeeChat 2.9) |
| 2021-08-04 06:36:48 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:a8df:e25e:66b5:a4a4) |
| 2021-08-04 06:36:55 | <sclv> | we have something like that — see the “matrix” links on hackage |
| 2021-08-04 06:37:21 | <sclv> | We just leave - fixing bounds to maintainers |
| 2021-08-04 06:37:46 | <sclv> | hackage is a package repo, not a distribution |
| 2021-08-04 06:39:44 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-04 06:40:41 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-08-04 06:41:40 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-04 06:42:12 | × | pmk quits (~user@62.103.231.196) (Ping timeout: 245 seconds) |
| 2021-08-04 06:45:01 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-04 06:45:03 | → | pmk joins (~user@195.114.237.86) |
| 2021-08-04 06:51:06 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-04 07:00:26 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-08-04 07:02:13 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-04 07:06:14 | → | michalz joins (~michalz@185.246.204.40) |
| 2021-08-04 07:06:43 | <thomasjm[m]> | is there some way to use `HasCallStack` in combination with `-Wredundant-constraints` without getting warnings? |
| 2021-08-04 07:10:54 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-04 07:12:01 | × | haskell-lurkmore quits (~haskell-l@78.155.54.115) (Quit: Client closed) |
| 2021-08-04 07:13:54 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) |
| 2021-08-04 07:15:14 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-08-04 07:15:44 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-08-04 07:15:51 | × | steven1 quits (~steven@172.92.136.203) (Quit: WeeChat 3.2) |
| 2021-08-04 07:16:33 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-04 07:17:10 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-04 07:17:35 | <c_wraith> | thomasjm[m]: I can't seem to get warnings - can you post some code that does? |
| 2021-08-04 07:19:14 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-04 07:19:57 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95281da3f9599f9b27a2.dip0.t-ipconnect.de) |
| 2021-08-04 07:21:24 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 2021-08-04 07:24:45 | → | chele joins (~chele@user/chele) |
| 2021-08-04 07:26:08 | × | xff0x quits (~xff0x@2001:1a81:5261:500:8918:6732:aa66:a3aa) (Ping timeout: 258 seconds) |
| 2021-08-04 07:26:54 | → | xff0x joins (~xff0x@2001:1a81:5261:500:f06:995c:256b:7dfb) |
| 2021-08-04 07:27:21 | × | michalz quits (~michalz@185.246.204.40) (Remote host closed the connection) |
| 2021-08-04 07:28:21 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-04 07:29:30 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 2021-08-04 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-04 07:31:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-04 07:33:26 | thomasjm[m] | < https://libera.ems.host/_matrix/media/r0/download/libera.chat/e61f5868b1332775f3b5cad4874e79d8d3fab4a7/message.txt > |
| 2021-08-04 07:44:51 | thomasjm[m] | < https://libera.ems.host/_matrix/media/r0/download/libera.chat/43985d9425c5feeabe941fbb22bc99096fbf4413/message.txt > |
| 2021-08-04 07:46:22 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-08-04 07:47:07 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-04 07:47:27 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-04 07:48:12 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-08-04 07:53:11 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-08-04 07:55:35 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-04 07:55:41 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2021-08-04 08:05:39 | → | ahri joins (~ahri@109.70.150.160) |
All times are in UTC.