Newest at the top
| 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? |
| 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 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-05-05 06:23:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-05 06:21:39 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) () |
| 2025-05-05 06:18:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-05 06:17:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-05 06:17:14 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 06:16:32 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-05-05 06:11:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) (Changing host) |
| 2025-05-05 06:06:42 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 06:05:25 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2025-05-05 06:03:24 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-05 05:49:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) |
| 2025-05-05 05:49:05 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (NickServ (GHOST command used by unterzicht!~weechat@user/jmcantrell))) |