2025/10/14

Newest at the top

2025-10-14 23:45:47 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-14 23:44:20 +0200 <tomsmeding> ok I dunno what happened, and I'm going to sleep :)
2025-10-14 23:43:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 23:43:12 +0200DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-10-14 23:42:03 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-14 23:41:17 +0200DragonMaus(~dragonmau@user/dragonmaus) (Ping timeout: 244 seconds)
2025-10-14 23:39:48 +0200 <yahb2> 42
2025-10-14 23:39:48 +0200 <tomsmeding> % 42
2025-10-14 23:39:47 +0200 <yahb2> Oops, something went wrong
2025-10-14 23:39:47 +0200 <int-e> % :r
2025-10-14 23:39:38 +0200 <yahb2> (!!) :: GHC.Internal.Stack.Types.HasCallStack => [a] -> Int -> a ; ($) :: (a -> b) -> a -> b ; ($!) :: (a -> b) -> a -> b ; (&&) :: Bool -> Bool -> Bool ; (++) :: [a] -> [a] -> [a] ; (.) :: (b -> c...
2025-10-14 23:39:38 +0200 <tomsmeding> % :bro
2025-10-14 23:38:54 +0200inline(~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) Inline
2025-10-14 23:37:46 +0200 <tomsmeding> hm
2025-10-14 23:37:44 +0200 <yahb2> 42
2025-10-14 23:37:44 +0200 <tomsmeding> % 42
2025-10-14 23:37:41 +0200 <yahb2> package flags have changed, resetting and loading new packages...
2025-10-14 23:37:41 +0200 <tomsmeding> % :set -package ghc
2025-10-14 23:37:28 +0200 <tomsmeding> not having the module in scope does not prevent ghci from resolving explicitly qualified identifiers in it
2025-10-14 23:37:28 +0200int-eshrugs
2025-10-14 23:37:23 +0200 <yahb2> <no output>
2025-10-14 23:37:23 +0200 <int-e> % :set -XMonoLocalBinds
2025-10-14 23:37:13 +0200 <yahb2> 42
2025-10-14 23:37:13 +0200 <tomsmeding> % 42
2025-10-14 23:37:09 +0200 <tomsmeding> looking at the logs I don't see anythiung particularly odd, but I dunno
2025-10-14 23:37:04 +0200 <yahb2> <no output>
2025-10-14 23:37:03 +0200 <int-e> % :m -Yahb2Defs
2025-10-14 23:36:42 +0200 <tomsmeding> I wouldn't be surprised if you can unload that thing thoroughly enough that printing is just broken
2025-10-14 23:36:25 +0200 <tomsmeding> yahb2 does `:set -interactive-print=Yahb2Defs.limitedPrint` where that thing is from a loaded module
2025-10-14 23:35:03 +0200 <int-e> Oh. Yeah I should've tried that before making wild assumptions about how yahb2 is somehow very different now
2025-10-14 23:33:20 +0200inline(~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) (Read error: Connection reset by peer)
2025-10-14 23:32:55 +0200 <tomsmeding> ok good
2025-10-14 23:32:52 +0200 <yahb2> <no output>
2025-10-14 23:32:52 +0200 <tomsmeding> % :set -XMonoLocalBinds
2025-10-14 23:32:48 +0200 <yahb2> 1
2025-10-14 23:32:48 +0200 <tomsmeding> % 1
2025-10-14 23:32:45 +0200 <yahb2> <bye>
2025-10-14 23:32:45 +0200 <tomsmeding> % :q
2025-10-14 23:32:42 +0200 <tomsmeding> wait what
2025-10-14 23:23:48 +0200 <monochrom> Perhaps :seti works better.
2025-10-14 23:22:35 +0200 <monochrom> I use Integers except for degrees of polynomials. (My polynomials are lists. Then I use length for degree.)
2025-10-14 23:19:37 +0200 <lambdabot> 3
2025-10-14 23:19:36 +0200 <int-e> > 467443687 * 39463029637 :: Int
2025-10-14 23:19:27 +0200 <int-e> whatever
2025-10-14 23:19:18 +0200 <yahb2> <interactive>:1:1: error: [GHC-76037] ; Not in scope: ‘Yahb2Defs.limitedPrint’
2025-10-14 23:19:18 +0200 <int-e> % :set -XMonoLocalBinds
2025-10-14 23:19:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-14 23:19:11 +0200craunts79533538(~craunts@136.158.7.194)
2025-10-14 23:19:02 +0200 <int-e> ...that won't even work, will it
2025-10-14 23:18:50 +0200 <lambdabot> Defined.