2025/05/05

Newest at the top

2025-05-05 06:39:16 +0200 <EvanR> error: unnatural
2025-05-05 06:38:51 +0200 <lambdabot> *Exception: arithmetic underflow
2025-05-05 06:38:50 +0200 <EvanR> > fromInteger (-123) :: Natural
2025-05-05 06:38:45 +0200 <lambdabot> 123
2025-05-05 06:38:44 +0200 <EvanR> > fromInteger 123 :: Natural
2025-05-05 06:38:40 +0200 <lambdabot> Defined.
2025-05-05 06:38:39 +0200 <EvanR> @let import Numeric.Natural
2025-05-05 06:38:35 +0200 <monochrom> Numeric.Natural
2025-05-05 06:38:32 +0200jmcantrell_jmcantrell
2025-05-05 06:38:24 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-05-05 06:38:21 +0200 <lambdabot> Use -v (or `:set -v` in ghci) to see a list of the files searched for.
2025-05-05 06:38:21 +0200 <lambdabot> Could not find module ‘Data.Natural’
2025-05-05 06:38:21 +0200 <lambdabot> /sandbox/tmp/.L.hs:110:1: error:
2025-05-05 06:38:21 +0200 <EvanR> @let import Data.Natural
2025-05-05 06:38:19 +0200user363627(~user@user/user363627) user363627
2025-05-05 06:38:18 +0200 <monochrom> yahb2 probably has it.
2025-05-05 06:38:09 +0200 <EvanR> :(
2025-05-05 06:38:04 +0200 <lambdabot> Not in scope: type constructor or class ‘Natural’
2025-05-05 06:38:04 +0200 <lambdabot> error:
2025-05-05 06:38:02 +0200 <EvanR> > fromInteger 123 :: Natural
2025-05-05 06:38:01 +0200user363627(~user@user/user363627) (Quit: Konversation terminated!)
2025-05-05 06:36:56 +0200 <Square2> ...and hopefully I'll get by with some fromInteger/toInteger hackery in my code. =D
2025-05-05 06:36:31 +0200 <Square2> ghci let me create one with "123 :: Natural"
2025-05-05 06:36:08 +0200 <Square2> Thanks. I seemed to get past the hurdle
2025-05-05 06:35:57 +0200 <EvanR> (I wonder if it was unintentional for WORD_MAXBOUND in the doc comment to be preprocessed)
2025-05-05 06:34:20 +0200 <EvanR> which is where it seemed to want to go but the haddocks had weird urls
2025-05-05 06:33:28 +0200 <EvanR> https://hackage.haskell.org/package/ghc-bignum-1.2/docs/src/GHC.Num.Natural.html#Natural
2025-05-05 06:32:36 +0200 <EvanR> I was about to pull up the source another way
2025-05-05 06:29:56 +0200 <Square2> Anyone know what's up with that?
2025-05-05 06:28:55 +0200 <Square2> Sadly there are dead links to source and the "NS" constructor they link
2025-05-05 06:28:22 +0200 <Square2> A 3rd party dependency requires me to use https://hackage.haskell.org/package/base-4.16.3.0/docs/Numeric-Natural.html
2025-05-05 06:24:13 +0200dibblego(~dibblego@haskell/developer/dibblego) dibblego
2025-05-05 06:24:13 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-05-05 06:24:13 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-05-05 06:23:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-05 06:21:39 +0200jmcantrell(644f1bed9a@user/jmcantrell) ()
2025-05-05 06:18:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-05 06:17:20 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-05 06:17:14 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-05 06:16:32 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-05-05 06:11:27 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2025-05-05 06:07:17 +0200jmcantrell(644f1bed9a@user/jmcantrell) jmcantrell
2025-05-05 06:07:17 +0200jmcantrell(644f1bed9a@2a03:6000:1812:100::1150) (Changing host)
2025-05-05 06:06:42 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-05 06:05:25 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2025-05-05 06:03:24 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-05 05:49:17 +0200jmcantrell(644f1bed9a@2a03:6000:1812:100::1150)
2025-05-05 05:49:05 +0200jmcantrell(644f1bed9a@user/jmcantrell) (Killed (NickServ (GHOST command used by unterzicht!~weechat@user/jmcantrell)))
2025-05-05 05:47:19 +0200aforemny(~aforemny@2001:9e8:6ce9:ae00:f066:85cb:935a:63da) aforemny
2025-05-05 05:47:13 +0200aforemny_(~aforemny@i59F4C6FD.versanet.de) (Ping timeout: 272 seconds)