Logs: liberachat/#haskell
| 2021-08-05 23:11:22 | j | is now known as jess |
| 2021-08-05 23:14:32 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-05 23:17:56 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:b0d1:cd6e:d590:7ec7) |
| 2021-08-05 23:21:10 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-05 23:22:21 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:b0d1:cd6e:d590:7ec7) (Ping timeout: 258 seconds) |
| 2021-08-05 23:23:15 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-05 23:26:02 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-05 23:26:27 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:298a:b52c:58df:cdd4) |
| 2021-08-05 23:27:11 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-08-05 23:34:30 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-08-05 23:59:09 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2021-08-05 23:59:22 | × | enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-08-06 00:00:44 | → | Codaraxis_ joins (~Codaraxis@user/codaraxis) |
| 2021-08-06 00:01:04 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds) |
| 2021-08-06 00:03:07 | → | kor1 joins (~kor1@user/kor1) |
| 2021-08-06 00:03:12 | ← | kor1 parts (~kor1@user/kor1) () |
| 2021-08-06 00:04:18 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2021-08-06 00:07:05 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-08-06 00:09:10 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-06 00:09:13 | <euouae> | Hello |
| 2021-08-06 00:09:19 | <Axman6> | o/ |
| 2021-08-06 00:09:32 | <euouae> | How does --config-file work in cabal? Does anyone know? |
| 2021-08-06 00:09:59 | <euouae> | I read in the docs that you can use it together with user-config, such as cabal user-config --config-file foo.cabal, but I get that "--config-file" is not recognized |
| 2021-08-06 00:12:34 | <geekosaur> | it works for me but --config-file has to come before the command |
| 2021-08-06 00:12:48 | <geekosaur> | cabal --config-file foo.cabal user-config ... |
| 2021-08-06 00:13:39 | <euouae> | Oh I see, it's a global option then. Sorry |
| 2021-08-06 00:14:06 | <euouae> | Another question is, does cabal 3.4 have any drastic changes in terms of building and installing packages? I noticed the section is not yet written in the docs, but 3.2 is |
| 2021-08-06 00:15:34 | <geekosaur> | that I can't help with. (I note that 3.6 was just released but has no online manual at all yet.) |
| 2021-08-06 00:17:34 | <euouae> | oh wow |
| 2021-08-06 00:19:08 | jess | is now known as sandcat |
| 2021-08-06 00:19:29 | <monochrom> | New today: We're now on to 3.6.0.0 >:) |
| 2021-08-06 00:20:06 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-08-06 00:21:02 | <euouae> | cabal tells me 3.4 is up to date, although hackage mentions 3.6 |
| 2021-08-06 00:21:03 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 276 seconds) |
| 2021-08-06 00:21:07 | <euouae> | Not sure why, even though I updated. |
| 2021-08-06 00:22:54 | <davean> | euouae: cabal-install and Cabal are seperate |
| 2021-08-06 00:22:57 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-06 00:23:08 | <davean> | there is a 3.6 Cabal, not so for cabal-install |
| 2021-08-06 00:23:20 | <euouae> | what's 3.6 Cabal? Is it cabal-the-spec? |
| 2021-08-06 00:23:25 | <geekosaur> | oh, I missed that |
| 2021-08-06 00:23:41 | <geekosaur> | Caal is a library for manipulating package descriptions |
| 2021-08-06 00:23:57 | <euouae> | Okay |
| 2021-08-06 00:23:59 | <geekosaur> | it's used by ghc, stack, cabal-install, and other tools |
| 2021-08-06 00:24:12 | <davean> | The important part of Cabal 3.6 is 9.2 stuff |
| 2021-08-06 00:24:13 | <euouae> | so Cabal is the library, cabal-install is ... cabal the tool? and we also have the cabal spec. Right? |
| 2021-08-06 00:24:25 | <davean> | euouae: correct |
| 2021-08-06 00:24:26 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 00:24:58 | <euouae> | davean: Do you know if reading the building & install section of cabal-install 3.2 is OK for using cabal-install 3.4 or am I missing anything super useful? |
| 2021-08-06 00:25:23 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 00:25:33 | <davean> | euouae: It'll be fine, the spec is versioned and backwards compatible |
| 2021-08-06 00:26:29 | <euouae> | great thanks |
| 2021-08-06 00:30:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-06 00:30:47 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 00:31:19 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 00:31:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-06 00:33:15 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 00:33:29 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-06 00:33:47 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 00:33:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-06 00:37:04 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 00:37:23 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 00:41:02 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 2021-08-06 00:45:01 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-06 00:45:44 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-06 00:48:30 | → | P1RATEZ joins (piratez@user/p1ratez) |
| 2021-08-06 01:05:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-06 01:06:10 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 01:07:23 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 01:07:41 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-08-06 01:08:05 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-06 01:08:51 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 01:09:27 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 01:10:54 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-06 01:11:16 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-06 01:20:17 | × | alx741 quits (~alx741@186.178.109.254) (Quit: alx741) |
| 2021-08-06 01:20:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-06 01:30:58 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-08-06 01:35:51 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-06 01:40:32 | → | pe200012 joins (~pe200012@218.107.49.28) |
| 2021-08-06 01:44:00 | → | Guest099 joins (~Guest0@187.83.249.216.dyn.smithville.net) |
| 2021-08-06 01:44:22 | × | Guest099 quits (~Guest0@187.83.249.216.dyn.smithville.net) (Client Quit) |
| 2021-08-06 01:45:10 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-06 01:54:10 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-06 02:00:10 | × | xff0x_ quits (~xff0x@2001:1a81:5296:aa00:8dc0:fe3f:5c9e:fa3a) (Ping timeout: 240 seconds) |
| 2021-08-06 02:02:22 | → | xff0x_ joins (~xff0x@2001:1a81:52cf:a900:fe8a:f909:9f2c:b4df) |
| 2021-08-06 02:08:35 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-06 02:08:47 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-06 02:09:37 | → | Codaraxis__ joins (~Codaraxis@user/codaraxis) |
| 2021-08-06 02:10:15 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 2021-08-06 02:12:05 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-06 02:12:24 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-06 02:12:33 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-06 02:14:09 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 276 seconds) |
| 2021-08-06 02:15:53 | → | _xor joins (~xor@74.215.232.67) |
| 2021-08-06 02:17:56 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-06 02:17:57 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2021-08-06 02:17:57 | finn_elija | is now known as FinnElija |
| 2021-08-06 02:21:31 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-06 02:25:20 | × | td_ quits (~td@94.134.91.183) (Ping timeout: 272 seconds) |
| 2021-08-06 02:25:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
All times are in UTC.