2025-03-25 00:01:30 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-03-25 00:03:30 +0100 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 272 seconds) |
2025-03-25 00:04:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-25 00:05:48 +0100 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-03-25 00:07:12 +0100 | polyphem | (~rod@p4fc2c5d1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-25 00:08:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02) (Ping timeout: 260 seconds) |
2025-03-25 00:08:44 +0100 | <EvanR> | looks like building mueval is going to be fun |
2025-03-25 00:11:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-25 00:12:47 +0100 | <EvanR> | it builds fine in isolation |
2025-03-25 00:12:49 +0100 | sarna | (~sarna@d168-237.icpnet.pl) (Ping timeout: 260 seconds) |
2025-03-25 00:14:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 00:15:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-25 00:17:38 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-03-25 00:18:31 +0100 | <int-e> | EvanR: https://github.com/TerenceNg03/mueval/issues/27 may be relevant |
2025-03-25 00:19:09 +0100 | <int-e> | I've *always* patched mueval for lambdabot because it hard-codes a -static link flag and that causes it to be way slower than the dynamic way |
2025-03-25 00:19:34 +0100 | <EvanR> | thx |
2025-03-25 00:19:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-25 00:20:53 +0100 | <int-e> | apart from that lambdabot should be fine with ghc-9.10 as released; ghc-9.12 looked out of reach two months ago (too many dependencies broke for me to try to get it to work) |
2025-03-25 00:25:45 +0100 | <EvanR> | and it needs an environment file |
2025-03-25 00:26:18 +0100 | <EvanR> | I'm on GHC 9.6 |
2025-03-25 00:28:09 +0100 | <mauke> | monochrom++ # continuations and stuff |
2025-03-25 00:30:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 00:30:34 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-03-25 00:31:36 +0100 | <Axman6> | monochrom (\r -> r+1) |
2025-03-25 00:32:05 +0100 | <mauke> | .oO( monochrom succ ) |
2025-03-25 00:33:13 +0100 | <Axman6> | so rude |
2025-03-25 00:35:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-25 00:37:59 +0100 | <Axman6> | monochrom (negate . pred . negate) |
2025-03-25 00:38:27 +0100 | <EvanR> | the issues tracker mentions creating a GHC environment file by making a dummy cabal project, listing the needed packages in the build-depends, then running cabal new-build "will create the GHC env file" |
2025-03-25 00:38:32 +0100 | <EvanR> | but I see no such file anywhere |
2025-03-25 00:40:04 +0100 | <EvanR> | or is none of this necessary if you fix the -static thing |
2025-03-25 00:40:43 +0100 | <geekosaur> | cabal (new-)build hasn't done that for a long time, I think; you need to use --package-env=… |
2025-03-25 00:44:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-03-25 00:46:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 00:46:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-25 00:49:15 +0100 | <EvanR> | cabal build --write-ghc-environment-files=always |
2025-03-25 00:49:41 +0100 | iteratee_ | (~kyle@199.119.84.78) |
2025-03-25 00:50:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-25 00:52:45 +0100 | <EvanR> | noice... an at least half functional mueval binary |
2025-03-25 00:52:54 +0100 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 272 seconds) |
2025-03-25 00:56:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-25 00:57:45 +0100 | <EvanR> | That explains how lambdabot can evaluate expressions, but how does it infer the types |
2025-03-25 00:57:57 +0100 | <EvanR> | with the :t command |
2025-03-25 00:58:06 +0100 | <int-e> | it uses ghci for that |
2025-03-25 01:00:47 +0100 | sprotte24 | (~sprotte24@p200300d16f03d500a58d694121a6d0cd.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-25 01:01:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-25 01:01:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-25 01:01:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 01:07:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-25 01:13:51 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
2025-03-25 01:14:02 +0100 | <EvanR> | it seems --load-file and GHC_ENVIRONMENT= don't work together, throwing a GhcException "Package environment \".ghc.environment.x86_64-linux-9.6.3\" (specified in GHC_ENVIRONMENT) not found" |
2025-03-25 01:14:24 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
2025-03-25 01:15:22 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
2025-03-25 01:16:27 +0100 | <EvanR> | and apparently isnt required anymore anyway... |
2025-03-25 01:17:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 01:19:51 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 244 seconds) |
2025-03-25 01:20:28 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-03-25 01:22:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-25 01:24:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-25 01:24:59 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-03-25 01:25:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-25 01:26:16 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
2025-03-25 01:26:31 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
2025-03-25 01:26:40 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
2025-03-25 01:28:43 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 245 seconds) |
2025-03-25 01:30:36 +0100 | PotatoGim | (sid99505@lymington.irccloud.com) PotatoGim |
2025-03-25 01:32:43 +0100 | Square | (~Square@user/square) Square |
2025-03-25 01:34:35 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-03-25 01:35:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 01:38:23 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
2025-03-25 01:38:28 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84f984511b1aacfb73.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-25 01:40:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-25 01:42:53 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 245 seconds) |
2025-03-25 01:42:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-03-25 01:43:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-25 01:47:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-25 01:51:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 01:53:24 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
2025-03-25 01:54:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:551a:8945:d45c:6ab4) (Ping timeout: 252 seconds) |
2025-03-25 01:56:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-25 02:00:36 +0100 | sarna | (~sarna@d192-22.icpnet.pl) sarna |
2025-03-25 02:00:58 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
2025-03-25 02:01:09 +0100 | dsrt^ | (dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
2025-03-25 02:07:06 +0100 | s3 | (~s3@user/bn) (Ping timeout: 265 seconds) |
2025-03-25 02:07:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 02:12:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-25 02:13:44 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
2025-03-25 02:18:32 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 244 seconds) |
2025-03-25 02:23:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 02:23:31 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
2025-03-25 02:27:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-25 02:29:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-25 02:33:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-25 02:33:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-25 02:35:23 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 245 seconds) |
2025-03-25 02:38:26 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-25 02:38:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-25 02:43:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-25 02:47:01 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-25 02:50:53 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
2025-03-25 02:53:11 +0100 | s3 | (~s3@user/bn) bn |