| 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) |
| 2024-05-13 08:01:56 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
| 2024-05-13 08:02:03 +0200 | ames4 | (~amelia@offtopia/offtopian/amelia) |
| 2024-05-13 08:02:41 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Ping timeout: 252 seconds) |
| 2024-05-13 08:02:55 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2024-05-13 08:03:43 +0200 | ames4 | ames |
| 2024-05-13 08:03:47 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-05-13 08:04:10 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-05-13 08:04:17 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-13 08:07:27 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-05-13 08:07:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 08:07:44 +0200 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2024-05-13 08:12:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-13 08:14:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-13 08:20:22 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-13 08:31:13 +0200 | <c_wraith> | johnw: it's inherently going to be unlawful, because invalid changes to the string will break it. There's nothing in lens that's allowed to fail in that direction. If you accept that and simply proceed with something like your shown definition, that's as good as you'll get without inventing something new. |
| 2024-05-13 08:36:05 +0200 | <c_wraith> | there are some unlawful things in lens with failure modes like that, which sort of just... Make something up if their preconditions are violated. |
| 2024-05-13 08:36:12 +0200 | <c_wraith> | > (1,2,3) & partsOf each %~ tail |
| 2024-05-13 08:36:13 +0200 | <lambdabot> | (2,3,3) |
| 2024-05-13 08:42:38 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-05-13 08:48:43 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2024-05-13 08:48:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-13 08:51:13 +0200 | hippoid | (~hippoid@user/hippoid) (Ping timeout: 272 seconds) |
| 2024-05-13 08:52:50 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
| 2024-05-13 08:53:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 08:54:38 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-13 08:57:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-13 08:57:36 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-13 08:57:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-13 09:01:00 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-13 09:01:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 09:02:22 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-13 09:17:46 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-13 09:24:35 +0200 | Mach | (~Mach@2a02:2f09:d304:200:c99a:4ebf:7882:c432) |
| 2024-05-13 09:26:29 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-05-13 09:30:00 +0200 | Mach` | (~Mach@86.127.202.233) |
| 2024-05-13 09:33:53 +0200 | Mach | (~Mach@2a02:2f09:d304:200:c99a:4ebf:7882:c432) (Ping timeout: 268 seconds) |
| 2024-05-13 09:35:45 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:c203:8a4c:1ac4:3af) |
| 2024-05-13 09:37:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2024-05-13 09:44:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-13 09:45:39 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-05-13 09:48:12 +0200 | brox66 | (~brox66@user/brox66) |
| 2024-05-13 09:49:09 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-05-13 09:50:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-13 09:52:25 +0200 | <brox66> | Hello, I want to set up a stack project that uses BNFC to generate some parser code. Is it possible to configure a pre-build hook that calls bnfc's makefile before stack's build starts? |
| 2024-05-13 09:54:06 +0200 | <Hecate> | it's usually what a Setup.hs helps you with |
| 2024-05-13 09:54:08 +0200 | <Hecate> | Custom build type |
| 2024-05-13 09:54:25 +0200 | <Hecate> | brox66: but personally I use a Makefile that calls the two rules one after the other |
| 2024-05-13 10:00:56 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-13 10:01:33 +0200 | <brox66> | Thanks! Yes, I'll probably usa a Makefile instead. |
| 2024-05-13 10:14:32 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-13 10:14:38 +0200 | <Hecate> | brox66: here's an example: https://github.com/flora-pm/flora-server/blob/development/Makefile#L7-L8 |
| 2024-05-13 10:15:39 +0200 | xdminsy | (~xdminsy@117.147.70.240) |