| 2024-07-01 00:01:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-07-01 00:12:08 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-01 00:12:40 +0200 | dcoutts_ | (~duncan@ip-185-104-136-57.ptr.icomera.net) |
| 2024-07-01 00:14:03 +0200 | dcoutts__ | (~duncan@212.187.244.86) |
| 2024-07-01 00:16:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3215-598d-b470-a88f-97cf-942e.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-01 00:17:23 +0200 | dcoutts_ | (~duncan@ip-185-104-136-57.ptr.icomera.net) (Ping timeout: 264 seconds) |
| 2024-07-01 00:18:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3215-598d-4c2c-7398-d9af-2ab7.rev.sfr.net) |
| 2024-07-01 00:20:18 +0200 | dcoutts_ | (~duncan@185.201.60.220) |
| 2024-07-01 00:21:31 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3215-598d-4c2c-7398-d9af-2ab7.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-01 00:23:01 +0200 | dcoutts__ | (~duncan@212.187.244.86) (Ping timeout: 256 seconds) |
| 2024-07-01 00:23:40 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-07-01 00:27:15 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2024-07-01 00:27:31 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-07-01 00:28:25 +0200 | dcoutts_ | (~duncan@185.201.60.220) (Read error: Connection reset by peer) |
| 2024-07-01 00:31:23 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) (Ping timeout: 256 seconds) |
| 2024-07-01 00:36:32 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-01 00:36:56 +0200 | mxs9 | (~mxs@user/mxs) |
| 2024-07-01 00:37:22 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2024-07-01 00:37:24 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-01 00:37:52 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-01 00:37:57 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit) |
| 2024-07-01 00:38:27 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-01 00:38:54 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-01 00:39:50 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-01 00:40:17 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-01 00:40:21 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-07-01 00:40:28 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2024-07-01 00:41:22 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Client Quit) |
| 2024-07-01 00:42:52 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2bef:3f32:3ac3:d5e) |
| 2024-07-01 00:43:39 +0200 | dcoutts | (~duncan@94.119.32.12) |
| 2024-07-01 00:46:12 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2024-07-01 00:46:18 +0200 | <monochrom> | w00t new cabal-install! |
| 2024-07-01 00:47:19 +0200 | zzz | (~yin@user/zero) |
| 2024-07-01 00:48:16 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-01 00:49:45 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-01 00:53:16 +0200 | dcoutts | (~duncan@94.119.32.12) (Remote host closed the connection) |
| 2024-07-01 00:53:18 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-07-01 00:53:34 +0200 | dcoutts | (~duncan@94.119.32.5) |
| 2024-07-01 00:53:46 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-01 00:53:55 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2024-07-01 00:55:18 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Client Quit) |
| 2024-07-01 00:55:26 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2024-07-01 00:56:26 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-01 00:59:23 +0200 | dcoutts | (~duncan@94.119.32.5) (Ping timeout: 264 seconds) |
| 2024-07-01 01:00:27 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-01 01:03:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-01 01:06:13 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-01 01:07:01 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 246 seconds) |
| 2024-07-01 01:09:08 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2024-07-01 01:14:11 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-07-01 01:20:04 +0200 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-01 01:30:01 +0200 | mxs9 | (~mxs@user/mxs) |
| 2024-07-01 01:31:08 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2024-07-01 01:42:50 +0200 | phma | (~phma@2001:5b0:215a:ef08:a1:7264:bc90:3efa) (Read error: Connection reset by peer) |
| 2024-07-01 01:45:46 +0200 | phma | (phma@2001:5b0:2144:3258:22dc:c425:bf48:7057) |
| 2024-07-01 01:48:09 +0200 | phma | (phma@2001:5b0:2144:3258:22dc:c425:bf48:7057) (Read error: Connection reset by peer) |
| 2024-07-01 01:54:16 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-07-01 02:00:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-01 02:01:56 +0200 | califax | (~califax@user/califx) |
| 2024-07-01 02:05:53 +0200 | phma | (~phma@host-67-44-208-142.hnremote.net) |
| 2024-07-01 02:11:15 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-07-01 02:14:06 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
| 2024-07-01 02:21:16 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-01 02:29:37 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-07-01 02:34:53 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 240 seconds) |
| 2024-07-01 02:35:48 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-01 02:37:06 +0200 | dcoutts | (~duncan@cpc113460-oxfd27-2-0-cust409.4-3.cable.virginm.net) |
| 2024-07-01 02:44:02 +0200 | ft | (~ft@mue-88-130-107-007.dsl.tropolys.de) (Ping timeout: 268 seconds) |
| 2024-07-01 02:45:18 +0200 | ft | (~ft@mue-88-130-106-118.dsl.tropolys.de) |
| 2024-07-01 02:59:29 +0200 | <Axman6> | :o |
| 2024-07-01 03:16:47 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-07-01 03:32:26 +0200 | lol_ | jcarpenter2 |
| 2024-07-01 03:33:37 +0200 | <mikko> | is there any way to install packages such that they are available in the default ghci (outside any project) without introducing a ~/.ghc directory? |
| 2024-07-01 03:33:53 +0200 | <mikko> | here's what i tried https://bpa.st/raw/XPGA |
| 2024-07-01 03:34:28 +0200 | caryfitz | (~caryfitz@2600:1700:e72:9000::47) (Ping timeout: 256 seconds) |
| 2024-07-01 03:34:39 +0200 | <mikko> | i spent good 20 minutes chatting with chatgippity about package-db and whatever but none of its suggestions helped |
| 2024-07-01 03:35:43 +0200 | <mikko> | i'm a bit confused where cabal is even installing the package and why removing .ghc affects anything when there's clearly no package there |
| 2024-07-01 03:36:02 +0200 | <mikko> | and why it even generates .ghc when i already have ~/.config/ghc/ghci.conf |
| 2024-07-01 03:36:41 +0200 | <sclv> | cabal doesn’t generate .ghc. unsurprisingly, ghc does |
| 2024-07-01 03:37:27 +0200 | <mikko> | well it's definitely the cabal command that generates it |
| 2024-07-01 03:37:44 +0200 | <sclv> | the thing cabal writes in there is the default env file. which is mentioned in your paste |
| 2024-07-01 03:38:10 +0200 | <sclv> | thats where the package is picked up by ghci from, as a “pointer” to the actual location its installed |
| 2024-07-01 03:38:50 +0200 | <mikko> | i tried moving that to ~/.config/ghc/ but it didn't seem to help |
| 2024-07-01 03:38:56 +0200 | <sclv> | you can explicitly pass in a different env file location to ghci if you don’t want it to use the one in .ghc — and similarly you can direct cabal to write that enc file elsewhere |
| 2024-07-01 03:39:50 +0200 | <sclv> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/packages.html#package-environments |
| 2024-07-01 03:41:35 +0200 | <mikko> | hmm maybe it belong in $XDG_DATA_HOME not $XDG_CONFIG_HOME |
| 2024-07-01 03:44:31 +0200 | <jcarpenter2> | I've been working on this program that does pattern matching against expression trees, and just noticed pattern matching is sort of like parsing |
| 2024-07-01 03:45:26 +0200 | <jcarpenter2> | Instead of parsers that match parts of an input string, there are patterns that match parts of a structured expression tree |
| 2024-07-01 03:47:27 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-07-01 03:48:53 +0200 | <mikko> | yup moving the environment thingamagic from ~/.ghc/ to ~/.local/share/ghc/ did the trick |
| 2024-07-01 03:56:12 +0200 | <sclv> | nice |
| 2024-07-01 04:09:47 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-01 04:11:24 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Ping timeout: 255 seconds) |
| 2024-07-01 04:16:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-07-01 04:16:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-07-01 04:26:08 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
| 2024-07-01 04:41:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-01 04:41:52 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-01 04:43:48 +0200 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 255 seconds) |
| 2024-07-01 04:45:37 +0200 | td_ | (~td@i53870923.versanet.de) |
| 2024-07-01 04:46:59 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 260 seconds) |
| 2024-07-01 04:48:36 +0200 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 268 seconds) |
| 2024-07-01 04:49:55 +0200 | bairyn | (~bairyn@50.250.232.19) |
| 2024-07-01 05:01:27 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-07-01 05:20:15 +0200 | aforemny | (~aforemny@2001:9e8:6cdc:700:7c5a:7635:6125:375c) (Ping timeout: 255 seconds) |
| 2024-07-01 05:20:26 +0200 | aforemny_ | (~aforemny@i59F516CB.versanet.de) |
| 2024-07-01 05:24:58 +0200 | rosco | (~rosco@175.136.155.137) (Ping timeout: 246 seconds) |
| 2024-07-01 05:34:46 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-01 05:47:31 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-01 05:50:32 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-07-01 06:01:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-07-01 06:14:19 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 268 seconds) |
| 2024-07-01 06:21:13 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-01 06:23:42 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-01 06:29:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-01 06:55:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-01 06:56:05 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-01 07:02:28 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-01 07:13:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-01 07:24:54 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-07-01 07:31:07 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-07-01 07:34:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-01 07:49:40 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-01 07:53:17 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2bef:3f32:3ac3:d5e) (Quit: Leaving) |
| 2024-07-01 07:55:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-01 08:05:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-01 08:08:06 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 268 seconds) |
| 2024-07-01 08:10:51 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-07-01 08:25:25 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 2024-07-01 08:40:04 +0200 | ft | (~ft@mue-88-130-106-118.dsl.tropolys.de) (Remote host closed the connection) |
| 2024-07-01 08:42:57 +0200 | simendsjo | (~user@84.209.170.3) (Remote host closed the connection) |
| 2024-07-01 08:51:08 +0200 | dcoutts | (~duncan@cpc113460-oxfd27-2-0-cust409.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-07-01 09:00:17 +0200 | danza | (~francesco@151.44.206.77) |
| 2024-07-01 09:02:50 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2024-07-01 09:03:39 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2024-07-01 09:05:33 +0200 | dcoutts | (~duncan@cpc113460-oxfd27-2-0-cust409.4-3.cable.virginm.net) |
| 2024-07-01 09:06:05 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2024-07-01 09:07:14 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-01 09:15:33 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 256 seconds) |
| 2024-07-01 09:21:55 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-07-01 09:21:56 +0200 | danza | (~francesco@151.44.206.77) (Ping timeout: 252 seconds) |
| 2024-07-01 09:22:43 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-01 09:26:23 +0200 | lewisje | (~lewisje@74.215.19.22) |
| 2024-07-01 09:31:31 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-07-01 09:40:27 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-07-01 09:41:33 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-01 09:42:26 +0200 | danse-nr3 | (~danse-nr3@151.44.206.77) |
| 2024-07-01 10:00:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-01 10:05:24 +0200 | michalz | (~michalz@185.246.207.193) |
| 2024-07-01 10:12:02 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-01 10:13:49 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-01 10:15:38 +0200 | img | (~img@user/img) |
| 2024-07-01 10:30:40 +0200 | swistak | (~swistak@185.21.216.141) |
| 2024-07-01 10:31:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-01 10:33:47 +0200 | emm | (~emm@user/edmeme) |
| 2024-07-01 10:36:30 +0200 | cheater_ | (~Username@user/cheater) |
| 2024-07-01 10:36:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-01 10:37:01 +0200 | danse-nr3 | (~danse-nr3@151.44.206.77) (Ping timeout: 268 seconds) |
| 2024-07-01 10:37:14 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-01 10:40:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-07-01 10:40:48 +0200 | cheater_ | cheater |
| 2024-07-01 10:41:18 +0200 | greenflower | (~greenflow@122.171.18.1) |
| 2024-07-01 10:42:14 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-07-01 10:43:36 +0200 | chele | (~chele@user/chele) |
| 2024-07-01 10:46:36 +0200 | danse-nr3 | (~danse-nr3@151.44.206.77) |
| 2024-07-01 10:48:03 +0200 | p3n | (~p3n@217.198.124.246) |
| 2024-07-01 10:52:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-01 10:58:44 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-07-01 11:07:00 +0200 | killy | (~killy@staticline-31-183-144-171.toya.net.pl) |
| 2024-07-01 11:07:25 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-01 11:12:01 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3404-2111-f9f6-780a-2169-fa49.rev.sfr.net) |
| 2024-07-01 11:12:10 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 268 seconds) |
| 2024-07-01 11:15:59 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) () |
| 2024-07-01 11:16:16 +0200 | killy | (~killy@staticline-31-183-144-171.toya.net.pl) (Quit: leaving) |
| 2024-07-01 11:16:55 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3404-2111-f9f6-780a-2169-fa49.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-01 11:19:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3404-2111-844d-6b69-bf95-f1f7.rev.sfr.net) |
| 2024-07-01 11:37:49 +0200 | simendsjo | (~user@84.209.170.3) (Remote host closed the connection) |
| 2024-07-01 11:40:02 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-07-01 11:44:47 +0200 | simendsjo | (~user@84.209.170.3) (Remote host closed the connection) |
| 2024-07-01 11:53:49 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |