Newest at the top
2025-05-05 07:31:56 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) |
2025-05-05 07:28:44 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-05-05 07:22:37 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2025-05-05 07:20:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-05-05 07:18:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-05 07:18:02 +0200 | la1n | (~la1n@81.222.178.255) |
2025-05-05 07:17:32 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-05-05 07:08:40 +0200 | la1n23 | (~la1n@45.129.78.70) (Ping timeout: 252 seconds) |
2025-05-05 07:06:33 +0200 | erdem | (~null@user/erdem) (Leaving) |
2025-05-05 07:06:06 +0200 | la1n2 | (~la1n@109.197.204.68) (Ping timeout: 252 seconds) |
2025-05-05 07:03:43 +0200 | la1n23 | (~la1n@45.129.78.70) |
2025-05-05 07:02:18 +0200 | <probie> | EvanR: Programs which depend on an old enough version of base certainly don't depend on ghc-bignum |
2025-05-05 07:00:02 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) |
2025-05-05 06:58:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-05 06:50:09 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-05-05 06:46:44 +0200 | <EvanR> | if ghc-bignum is a dependency of base and every program has base as a dependency does that mean every program depends on ghc-bignum |
2025-05-05 06:44:37 +0200 | <lambdabot> | error: Variable not in scope: naturalBit |
2025-05-05 06:44:36 +0200 | <EvanR> | :t naturalBit |
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 +0200 | jmcantrell_ | jmcantrell |
2025-05-05 06:38:24 +0200 | jmcantrell_ | (~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 +0200 | user363627 | (~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 +0200 | user363627 | (~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? |