2024-05-13 00:00:51 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-13 00:01:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-13 00:02:13 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-13 00:05:15 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-13 00:11:19 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-13 00:15:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-13 00:21:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-05-13 00:21:32 +0200 | yin_ | (~yin@user/zero) |
2024-05-13 00:21:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-13 00:37:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-13 00:38:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-13 00:41:42 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-13 00:43:38 +0200 | yin_ | (~yin@user/zero) |
2024-05-13 00:53:38 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-13 00:53:46 +0200 | yin_ | zzz |
2024-05-13 00:54:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-13 00:54:52 +0200 | euleritian | (~euleritia@dynamic-176-006-176-035.176.6.pool.telefonica.de) |
2024-05-13 00:58:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-13 01:02:23 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-13 01:05:33 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:21:57 +0200 | phma_ | (~phma@2001:5b0:211b:f8f8:8558:8264:69ae:a8e6) |
2024-05-13 01:22:40 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-13 01:24:29 +0200 | phma | (phma@2001:5b0:211f:3048:948d:80d2:e152:3a7b) (Ping timeout: 240 seconds) |
2024-05-13 01:26:08 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-13 01:27:33 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:31:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-13 01:35:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-05-13 01:39:09 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:44:21 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-13 01:52:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-05-13 01:58:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-13 02:36:24 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-13 02:39:07 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-05-13 02:44:12 +0200 | yin | (~yin@user/zero) |
2024-05-13 02:45:04 +0200 | ropwareJB | (~ropwareJB@2601:602:9100:1460:c8dc:a946:242d:d890) |
2024-05-13 02:48:19 +0200 | euleritian | (~euleritia@dynamic-176-006-176-035.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-05-13 02:49:03 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) |
2024-05-13 02:49:34 +0200 | <ropwareJB> | Hi folks, need some direction with Nix + GHCJS, I'm receiving the following compile error and not sure how to proceed: |
2024-05-13 02:49:35 +0200 | <ropwareJB> | ``` |
2024-05-13 02:49:35 +0200 | <ropwareJB> | building '/nix/store/da6mc29mxdygpy3wz1d3vd7z9j308j3v-entropy-0.4.1.10.drv'... |
2024-05-13 02:49:36 +0200 | <ropwareJB> | Running phase: setupCompilerEnvironmentPhase |
2024-05-13 02:49:36 +0200 | <ropwareJB> | Build with /nix/store/n3aank8ia8qjqyv0lqslbz1bahpyg59s-ghcjs-8.10.7. |
2024-05-13 02:49:37 +0200 | <ropwareJB> | Running phase: unpackPhase |
2024-05-13 02:49:37 +0200 | <ropwareJB> | unpacking source archive /nix/store/sh4n8xmf2ydjgz1qbmr6qr0mzwsv3cxv-entropy-0.4.1.10.tar.gz |
2024-05-13 02:49:38 +0200 | <ropwareJB> | source root is entropy-0.4.1.10 |
2024-05-13 02:49:38 +0200 | <ropwareJB> | setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file entropy-0.4.1.10/System/EntropyWindows.hs |
2024-05-13 02:49:39 +0200 | <ropwareJB> | Running phase: patchPhase |
2024-05-13 02:49:39 +0200 | <ropwareJB> | Replace Cabal file with edited version from mirror://hackage/entropy-0.4.1.10/revision/1.cabal. |
2024-05-13 02:49:40 +0200 | <ropwareJB> | Running phase: compileBuildDriverPhase |
2024-05-13 02:49:40 +0200 | <ropwareJB> | setupCompileFlags: -package-db=/build/tmp.S8Sc2uLXHZ/setup-package.conf.d -j8 +RTS -A64M -RTS -threaded -rtsopts |
2024-05-13 02:49:41 +0200 | <ropwareJB> | [1 of 1] Compiling Main ( Setup.hs, /build/tmp.S8Sc2uLXHZ/Main.o ) |
2024-05-13 02:49:41 +0200 | <ropwareJB> | Linking Setup ... |
2024-05-13 02:49:42 +0200 | <ropwareJB> | Running phase: updateAutotoolsGnuConfigScriptsPhase |
2024-05-13 02:49:42 +0200 | <ropwareJB> | Running phase: configurePhase |
2024-05-13 02:49:43 +0200 | <ropwareJB> | configureFlags: --verbose --prefix=/nix/store/jq14b9dgm4k5jj134g8lndflxr13m8ib-entropy-0.4.1.10 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/iy0hyw7lvgvgwz54ag86g04sxxjm01fa-entropy-0.4.1.10-doc/share/doc/entropy-0.4.1.10 --with-gcc=gcc --package-db=/build/tmp.S8Sc2uLXHZ/package.conf.d --ghc-options=-j8 +RTS -A64M |
2024-05-13 02:55:14 +0200 | <probie> | ropwareJB: Use a pastebin like https://paste.tomsmeding.com/ for things which are more than 3-4 lines |
2024-05-13 02:59:25 +0200 | <johnw> | Is there a lens that will do this: |
2024-05-13 02:59:31 +0200 | <johnw> | 123 & something . _head .~ 4 ==> 423 |
2024-05-13 03:13:39 +0200 | otto_s | (~user@p4ff27bc4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-13 03:14:40 +0200 | <glguy> | > (123::Int) & _Show . _head .~ '4' --? |
2024-05-13 03:14:42 +0200 | <lambdabot> | <hint>:1:38: error: |
2024-05-13 03:14:42 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2024-05-13 03:14:43 +0200 | otto_s | (~user@p5de2fd19.dip0.t-ipconnect.de) |
2024-05-13 03:14:56 +0200 | <glguy> | > (123::Int) & _Show . _head .~ '4' -- ? |
2024-05-13 03:14:57 +0200 | <lambdabot> | error: |
2024-05-13 03:14:57 +0200 | <lambdabot> | • Couldn't match type ‘[Char]’ with ‘Int’ |
2024-05-13 03:14:57 +0200 | <lambdabot> | Expected type: ASetter Int String Char Char |
2024-05-13 03:16:18 +0200 | <probie> | johnw: What do you expect the result of `123 & something . _head .~ 42` to be? |
2024-05-13 03:19:44 +0200 | <probie> | > let something f s = fmap ((read :: String -> Int) . concatMap show) $ f (map digitToInt (show s)) in 123 & something . _head .~ 4 |
2024-05-13 03:19:46 +0200 | <lambdabot> | 423 |
2024-05-13 03:19:59 +0200 | <probie> | > let something f s = fmap ((read :: String -> Int) . concatMap show) $ f (map digitToInt (show s)) in 123 & something . _head .~ 42 |
2024-05-13 03:20:00 +0200 | <lambdabot> | 4223 |
2024-05-13 03:22:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-13 03:40:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-13 03:53:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-13 04:05:13 +0200 | tv | (~tv@user/tv) (Quit: derp) |
2024-05-13 04:05:37 +0200 | tv | (~tv@user/tv) |
2024-05-13 04:07:08 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-05-13 04:08:47 +0200 | zzz | (~yin@user/zero) |
2024-05-13 04:15:04 +0200 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 268 seconds) |
2024-05-13 04:15:44 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
2024-05-13 04:16:47 +0200 | td_ | (~td@i53870933.versanet.de) |
2024-05-13 04:20:21 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-05-13 04:21:26 +0200 | phma_ | (~phma@2001:5b0:211b:f8f8:8558:8264:69ae:a8e6) (Read error: Connection reset by peer) |
2024-05-13 04:22:51 +0200 | phma_ | (phma@2001:5b0:210b:c738:d0e0:5870:ec8f:f731) |
2024-05-13 04:35:17 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-13 04:35:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-13 05:00:00 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
2024-05-13 05:01:11 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
2024-05-13 05:01:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-13 05:06:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-13 05:08:40 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
2024-05-13 05:14:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-13 05:18:14 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-05-13 05:21:23 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-13 05:22:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-05-13 05:23:35 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-13 05:37:28 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-13 05:40:22 +0200 | JimL | (~quassel@89.162.16.26) |
2024-05-13 05:43:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-05-13 05:47:16 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
2024-05-13 05:48:47 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
2024-05-13 05:49:02 +0200 | xigua | (~xigua@user/xigua) |
2024-05-13 05:55:09 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
2024-05-13 05:56:09 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) |
2024-05-13 05:57:27 +0200 | aforemny_ | (~aforemny@i59F516F5.versanet.de) (Ping timeout: 260 seconds) |
2024-05-13 06:06:03 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-13 06:06:17 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-13 06:13:43 +0200 | <johnw> | I think 423 |
2024-05-13 06:13:55 +0200 | <johnw> | I want to treat the int like a string, manipulate the string, and then store it back as an int |
2024-05-13 06:14:24 +0200 | <johnw> | the _Show prism is the precise opposite of what I am looking for |
2024-05-13 06:14:40 +0200 | <johnw> | I mean, this is highly suspect, but: |
2024-05-13 06:14:40 +0200 | <johnw> | shown f a = read <$> f (show a) |
2024-05-13 06:15:11 +0200 | <johnw> | this is only valid if you never make modification that cause the number to not be a number anymore |
2024-05-13 06:19:31 +0200 | phma_ | phma |
2024-05-13 06:27:29 +0200 | ropwareJB | (~ropwareJB@2601:602:9100:1460:c8dc:a946:242d:d890) (Quit: Client closed) |
2024-05-13 06:35:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-13 06:35:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-13 06:39:27 +0200 | <probie> | Do you really need a `String`, or would a sign and a list of digits be preferable? |
2024-05-13 06:40:45 +0200 | michalz | (~michalz@185.246.207.197) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:45:36 +0200 | michalz | (~michalz@185.246.207.197) (Client Quit) |
2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:48:28 +0200 | michalz | (~michalz@185.246.207.203) |
2024-05-13 06:50:53 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-13 06:53:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-13 06:55:22 +0200 | <sm> | @where+ ultimate-string-guide https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html |
2024-05-13 06:55:22 +0200 | <lambdabot> | I will never forget. |
2024-05-13 06:55:38 +0200 | <sm> | epic post by maerwald |
2024-05-13 07:16:06 +0200 | mailman | (~mailman@192.210.255.34) |
2024-05-13 07:16:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc3784e5c6ff7798483a.dip0.t-ipconnect.de) |
2024-05-13 07:18:07 +0200 | mailman | (~mailman@192.210.255.34) (Client Quit) |
2024-05-13 07:18:57 +0200 | mailman | (~mailman@192.210.255.34) |
2024-05-13 07:23:51 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-13 07:28:03 +0200 | mailman | (~mailman@192.210.255.34) (Ping timeout: 250 seconds) |
2024-05-13 07:34:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-13 07:34:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-13 07:34:55 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) |
2024-05-13 07:38:51 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
2024-05-13 07:44:45 +0200 | <johnw> | probie: I actually want a string, so that I can turn it into a Text and use that someplace. It just fits the pattern if it's a lens or traversal. It's OK, though, there are many ways around this problem. |
2024-05-13 07:47:09 +0200 | causal | (~eric@50.35.88.207) |
2024-05-13 07:50:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-13 07:51:03 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
2024-05-13 07:51:27 +0200 | xdminsy | (~xdminsy@117.147.70.240) |