Logs: liberachat/#haskell
| 2025-10-14 21:16:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 21:17:45 | <int-e> | > let n = 467443687 * 39463029637 in (take n [], n) |
| 2025-10-14 21:17:47 | <lambdabot> | ([],18446744073709551619) |
| 2025-10-14 21:18:06 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-10-14 21:18:17 | <int-e> | :t take |
| 2025-10-14 21:18:18 | <lambdabot> | Int -> [a] -> [a] |
| 2025-10-14 21:18:49 | <int-e> | @let {-# LANGUAGE MonoLocalBinds #-} |
| 2025-10-14 21:18:50 | <lambdabot> | Defined. |
| 2025-10-14 21:19:02 | <int-e> | ...that won't even work, will it |
| 2025-10-14 21:19:11 | → | craunts79533538 joins (~craunts@136.158.7.194) |
| 2025-10-14 21:19:12 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-14 21:19:18 | <int-e> | % :set -XMonoLocalBinds |
| 2025-10-14 21:19:18 | <yahb2> | <interactive>:1:1: error: [GHC-76037] ; Not in scope: ‘Yahb2Defs.limitedPrint’ |
| 2025-10-14 21:19:27 | <int-e> | whatever |
| 2025-10-14 21:19:36 | <int-e> | > 467443687 * 39463029637 :: Int |
| 2025-10-14 21:19:37 | <lambdabot> | 3 |
| 2025-10-14 21:22:35 | <monochrom> | I use Integers except for degrees of polynomials. (My polynomials are lists. Then I use length for degree.) |
| 2025-10-14 21:23:48 | <monochrom> | Perhaps :seti works better. |
| 2025-10-14 21:32:42 | <tomsmeding> | wait what |
| 2025-10-14 21:32:45 | <tomsmeding> | % :q |
| 2025-10-14 21:32:45 | <yahb2> | <bye> |
| 2025-10-14 21:32:48 | <tomsmeding> | % 1 |
| 2025-10-14 21:32:48 | <yahb2> | 1 |
| 2025-10-14 21:32:52 | <tomsmeding> | % :set -XMonoLocalBinds |
| 2025-10-14 21:32:52 | <yahb2> | <no output> |
| 2025-10-14 21:32:55 | <tomsmeding> | ok good |
| 2025-10-14 21:33:20 | × | inline quits (~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) (Read error: Connection reset by peer) |
| 2025-10-14 21:35:03 | <int-e> | Oh. Yeah I should've tried that before making wild assumptions about how yahb2 is somehow very different now |
| 2025-10-14 21:36:25 | <tomsmeding> | yahb2 does `:set -interactive-print=Yahb2Defs.limitedPrint` where that thing is from a loaded module |
| 2025-10-14 21:36:42 | <tomsmeding> | I wouldn't be surprised if you can unload that thing thoroughly enough that printing is just broken |
| 2025-10-14 21:37:03 | <int-e> | % :m -Yahb2Defs |
| 2025-10-14 21:37:04 | <yahb2> | <no output> |
| 2025-10-14 21:37:09 | <tomsmeding> | looking at the logs I don't see anythiung particularly odd, but I dunno |
| 2025-10-14 21:37:13 | <tomsmeding> | % 42 |
| 2025-10-14 21:37:13 | <yahb2> | 42 |
| 2025-10-14 21:37:23 | <int-e> | % :set -XMonoLocalBinds |
| 2025-10-14 21:37:23 | <yahb2> | <no output> |
| 2025-10-14 21:37:28 | int-e | shrugs |
| 2025-10-14 21:37:28 | <tomsmeding> | not having the module in scope does not prevent ghci from resolving explicitly qualified identifiers in it |
| 2025-10-14 21:37:41 | <tomsmeding> | % :set -package ghc |
| 2025-10-14 21:37:41 | <yahb2> | package flags have changed, resetting and loading new packages... |
| 2025-10-14 21:37:44 | <tomsmeding> | % 42 |
| 2025-10-14 21:37:44 | <yahb2> | 42 |
| 2025-10-14 21:37:46 | <tomsmeding> | hm |
| 2025-10-14 21:38:54 | → | inline joins (~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) |
| 2025-10-14 21:39:38 | <tomsmeding> | % :bro |
| 2025-10-14 21:39:38 | <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 21:39:47 | <int-e> | % :r |
| 2025-10-14 21:39:47 | <yahb2> | Oops, something went wrong |
| 2025-10-14 21:39:48 | <tomsmeding> | % 42 |
| 2025-10-14 21:39:48 | <yahb2> | 42 |
| 2025-10-14 21:41:17 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Ping timeout: 244 seconds) |
| 2025-10-14 21:42:03 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-14 21:43:12 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 2025-10-14 21:43:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 21:44:20 | <tomsmeding> | ok I dunno what happened, and I'm going to sleep :) |
| 2025-10-14 21:45:47 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-14 21:48:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 21:57:42 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-14 21:59:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 22:02:38 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
| 2025-10-14 22:03:06 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-14 22:04:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 22:05:39 | → | Googulator46 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 22:05:41 | × | Googulator22 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 22:05:55 | × | craunts79533538 quits (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-14 22:05:57 | → | craunts79533538 joins (~craunts@136.158.7.194) |
| 2025-10-14 22:09:06 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-10-14 22:14:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 22:19:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 22:21:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-14 22:23:24 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 252 seconds) |
| 2025-10-14 22:25:43 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-14 22:27:49 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds) |
| 2025-10-14 22:29:07 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2025-10-14 22:29:07 | ChanServ | sets mode +v lambdabot |
| 2025-10-14 22:29:50 | → | Zemy joins (~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) |
| 2025-10-14 22:30:46 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 22:33:37 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2025-10-14 22:35:28 | × | Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2025-10-14 22:37:57 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-10-14 22:40:52 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-14 22:44:35 | <energizer> | could there be a typeclass for scanl? |
| 2025-10-14 22:46:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 22:49:56 | → | Zemy_ joins (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2025-10-14 22:50:04 | × | Zemy quits (~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) (Read error: Connection reset by peer) |
| 2025-10-14 22:50:25 | → | Zemy joins (~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852) |
| 2025-10-14 22:53:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 22:54:12 | × | Zemy_ quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-10-14 22:54:26 | × | kaskal quits (~kaskal@2a02:8388:1a8b:7d00:da7b:74b4:ea7f:2207) (Quit: ZNC - https://znc.in) |
| 2025-10-14 22:54:46 | → | kaskal joins (~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) |
| 2025-10-14 22:56:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-14 22:56:24 | → | Zemy_ joins (~Zemy@mobile-107-80-206-52.mycingular.net) |
| 2025-10-14 22:58:41 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-14 22:59:09 | × | Zemy quits (~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852) (Ping timeout: 252 seconds) |
| 2025-10-14 23:01:27 | <monochrom> | Tautologically, generalizations always exist. |
| 2025-10-14 23:02:03 | <monochrom> | But how many people actually need one? Statistically, almost zero. |
| 2025-10-14 23:04:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 23:05:58 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-14 23:07:13 | → | ttybitnik joins (~ttybitnik@user/wolper) |
All times are in UTC.