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) |