Newest at the top
2025-10-14 23:45:47 +0200 | Enrico63 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 23:43:12 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
2025-10-14 23:42:03 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-10-14 23:41:17 +0200 | DragonMaus | (~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 +0200 | inline | (~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 +0200 | int-e | shrugs |
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 +0200 | inline | (~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 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-10-14 23:19:11 +0200 | craunts79533538 | (~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. |