Logs: liberachat/#haskell
| 2021-08-02 18:34:51 | <euouae> | That right |
| 2021-08-02 18:34:53 | <sclv> | you need a sum, not a product |
| 2021-08-02 18:35:01 | <sclv> | so `Maybe a =~ Either () a` |
| 2021-08-02 18:35:15 | <euouae> | okay so fair enough, this is another kind of blindness |
| 2021-08-02 18:35:27 | <euouae> | just because you have isomorphism of types doesn't mean you should always choose the same representative |
| 2021-08-02 18:38:10 | → | michael92342 joins (~mikey@tyhog-gua01a-216.cronon.net) |
| 2021-08-02 18:39:17 | <euouae> | although i have cabal 3.4, in cabal init I get cabal 2.4 mentioned |
| 2021-08-02 18:39:28 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-02 18:39:36 | <euouae> | In the cabal file of my project, cabal-version: 2.4 |
| 2021-08-02 18:39:45 | <sclv> | that's not cabal-install version |
| 2021-08-02 18:39:48 | <sclv> | that's version spec for the cabal file itself! |
| 2021-08-02 18:39:58 | <euouae> | Ah alright |
| 2021-08-02 18:40:11 | <euouae> | It jsut happened to coincide with my previous cabal version |
| 2021-08-02 18:40:12 | <sclv> | Those evolve at a different pace, and the init doesn't pick latest by default -- rather it tries to maintain a backwards compat range |
| 2021-08-02 18:40:25 | <sclv> | if you use newer features, cabal might warn you that it needs bumping |
| 2021-08-02 18:40:38 | <euouae> | nice |
| 2021-08-02 18:40:47 | <sclv> | yeah, they used to coincide, but it was a bad idea to have protocol and exe versions evolve in lockstep |
| 2021-08-02 18:41:08 | × | mikey quits (~mikey@79.140.120.237) (Ping timeout: 272 seconds) |
| 2021-08-02 18:41:29 | <euouae> | I also got an idex error |
| 2021-08-02 18:42:08 | <euouae> | Warning: Parsing the index cache failed (Data.Binary.Get.runGet at position 16; Non-matching structure hashes: ... expected: ...). Trying to regenerate the index cache... |
| 2021-08-02 18:42:18 | <euouae> | Is this related to cache stored out of my project directory |
| 2021-08-02 18:42:58 | <euouae> | Hmm I think so. I tried a totally new project and got no warnings |
| 2021-08-02 18:43:09 | <euouae> | alright I'll go now. Thanks for all the help |
| 2021-08-02 18:43:10 | × | euouae quits (~euouae@user/euouae) (Quit: euouae) |
| 2021-08-02 18:43:43 | <monochrom> | This is cabal's own cache somewhere in $HOME/.cabal, and it is about data saved by "cabal update". |
| 2021-08-02 18:44:18 | <monochrom> | You get this warning (OK, I get this warning) when I switch between two versions of cabal-install. |
| 2021-08-02 18:44:35 | <sclv> | they left :-) |
| 2021-08-02 18:44:45 | <monochrom> | Ah darn. |
| 2021-08-02 18:45:05 | <sclv> | i will note this irritates me when i'm developing cabal and keep switching between my installed and my testing version |
| 2021-08-02 18:45:15 | <sclv> | i know i could pass some flags to the test version to set a different repo, but its a pita |
| 2021-08-02 18:45:26 | <sclv> | (also sometimes nix-shell will switch out cabal install versions under me) |
| 2021-08-02 18:46:31 | <monochrom> | That gets pretty irritating, yeah. |
| 2021-08-02 18:47:28 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 272 seconds) |
| 2021-08-02 18:49:22 | <sclv> | just file a ticket :-) https://github.com/haskell/cabal/issues/7502 |
| 2021-08-02 18:49:42 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 245 seconds) |
| 2021-08-02 18:51:09 | × | bruceleewees quits (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2021-08-02 18:52:00 | → | boggin joins (~mikey@79.140.120.237) |
| 2021-08-02 18:52:11 | × | michael92342 quits (~mikey@tyhog-gua01a-216.cronon.net) (Quit: Leaving) |
| 2021-08-02 19:00:37 | → | haskell-lurk joins (~haskell-l@78.155.54.115) |
| 2021-08-02 19:02:36 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 258 seconds) |
| 2021-08-02 19:03:03 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-08-02 19:03:17 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-02 19:06:31 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 19:08:22 | × | y04nn quits (~y04nn@91.193.4.154) (Ping timeout: 272 seconds) |
| 2021-08-02 19:08:58 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-02 19:09:40 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-08-02 19:13:43 | <maerwald[m]> | I vote for reviving sandboxes |
| 2021-08-02 19:14:04 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 272 seconds) |
| 2021-08-02 19:17:17 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-02 19:17:29 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-02 19:18:33 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-08-02 19:18:52 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-02 19:24:16 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-08-02 19:24:18 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 240 seconds) |
| 2021-08-02 19:28:00 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2021-08-02 19:29:56 | → | MoC joins (~moc@user/moc) |
| 2021-08-02 19:32:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-02 19:33:05 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Connection closed) |
| 2021-08-02 19:33:59 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-02 19:35:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-02 19:38:05 | <sclv> | that won't affect this issue at all |
| 2021-08-02 19:40:04 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-08-02 19:40:06 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-02 19:40:17 | → | nf joins (~n@monade.li) |
| 2021-08-02 19:40:31 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-02 19:40:33 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 258 seconds) |
| 2021-08-02 19:41:26 | × | mattil quits (~mattilinn@87-92-172-201.rev.dnainternet.fi) (Quit: Leaving) |
| 2021-08-02 19:42:26 | × | alx741 quits (~alx741@186.178.108.145) (Ping timeout: 252 seconds) |
| 2021-08-02 19:44:27 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 19:45:33 | → | y04nn joins (~y04nn@91.193.4.154) |
| 2021-08-02 19:45:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-08-02 19:46:24 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-02 19:46:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-02 19:49:53 | <thomasjm[m]> | hi all -- i made a little tool to help you profile your builds and show how long it takes GHC to compile each module in a pretty bar graph. feedback and bug reports welcome: https://github.com/codedownio/time-ghc-modules |
| 2021-08-02 19:55:41 | → | alx741 joins (~alx741@181.196.69.121) |
| 2021-08-02 20:01:54 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-02 20:05:06 | <dsal> | This is neat. |
| 2021-08-02 20:05:31 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-02 20:07:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-08-02 20:09:54 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 240 seconds) |
| 2021-08-02 20:09:55 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-02 20:10:47 | <maerwald[m]> | Sorry, simplifier and parser have the same color in the example pic |
| 2021-08-02 20:10:59 | <maerwald[m]> | Which one is the expensive one? |
| 2021-08-02 20:11:54 | <dsal> | It looks like the colors are in order. |
| 2021-08-02 20:12:32 | <thomasjm[m]> | right, they're ordered in the legend by overall expensiveness. if you load the HTML report you can mouse over and tooltips will appear |
| 2021-08-02 20:13:05 | <Hecate> | thomasjm[m]: beautiful too, thank you so much :) |
| 2021-08-02 20:13:14 | <maerwald[m]> | Does the simplifier do cross module work? |
| 2021-08-02 20:13:20 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-02 20:15:34 | × | y04nn quits (~y04nn@91.193.4.154) (Remote host closed the connection) |
| 2021-08-02 20:15:41 | <thomasjm[m]> | beats me, i wrote this so people who understand GHC can make my stuff build faster :P |
| 2021-08-02 20:15:59 | <dsal> | Maybe you should stop simplifying. |
| 2021-08-02 20:21:29 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-02 20:22:18 | <koz> | > foldMap show ("foo", 5) |
| 2021-08-02 20:22:19 | <lambdabot> | "5" |
| 2021-08-02 20:22:22 | <koz> | Sweet. |
| 2021-08-02 20:24:12 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-02 20:24:50 | → | agua joins (~agua@2804:18:46:c3e6:1:0:7de0:dd8f) |
| 2021-08-02 20:25:08 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-02 20:26:16 | → | Core3678 joins (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625) |
| 2021-08-02 20:26:30 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9591e9224ac295505d06.dip0.t-ipconnect.de) |
All times are in UTC.