2024/04/27

Newest at the top

2024-04-27 12:52:03 +0200orcus-(~orcus@217.155.58.82)
2024-04-27 12:51:33 +0200dispater-(~dispater@217.155.58.82)
2024-04-27 12:49:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-04-27 12:48:51 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-04-27 12:48:15 +0200euleritian(~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de)
2024-04-27 12:47:32 +0200euleritian(~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-04-27 12:33:09 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2024-04-27 12:29:30 +0200yeitrafferin(~user@2a04:4540:7202:7600:9288:54b5:ce2d:f3dc) (Remote host closed the connection)
2024-04-27 12:29:23 +0200danza_(~francesco@151.47.235.82) (Ping timeout: 252 seconds)
2024-04-27 12:27:47 +0200Square(~Square@user/square)
2024-04-27 12:27:23 +0200euleritian(~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de)
2024-04-27 12:27:09 +0200euleritian(~euleritia@dynamic-176-002-139-168.176.2.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-04-27 12:22:23 +0200euleritian(~euleritia@dynamic-176-002-139-168.176.2.pool.telefonica.de)
2024-04-27 12:18:35 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-04-27 12:11:37 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-04-27 12:06:07 +0200connrs(~connrs@user/connrs)
2024-04-27 12:04:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-04-27 12:04:11 +0200euleritian(~euleritia@176.2.139.168) (Read error: Connection reset by peer)
2024-04-27 11:57:48 +0200 <tomsmeding> s/meaning that/means that/
2024-04-27 11:57:34 +0200 <tomsmeding> (_not_ setting the extra-source-files meaning that using the library as a source-repository-package dependency with -fdebug will fail because the C++ files are not copied by cabal before building)
2024-04-27 11:56:27 +0200euleritian(~euleritia@176.2.139.168)
2024-04-27 11:55:47 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-04-27 11:55:36 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-04-27 11:54:11 +0200 <tomsmeding> What do?
2024-04-27 11:54:08 +0200 <tomsmeding> Now anyone who does `cabal sdist` (for example by using the library as a dependency (!)) but doesn't have -fdebug set, which is most people, will get cabal diagnostics that the extra-source-files are not found
2024-04-27 11:54:05 +0200connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2024-04-27 11:53:11 +0200 <tomsmeding> I have a haskell library that, if a certain cabal flag is set (-fdebug), depends on a whole bunch of additional C++ code that is cloned into a git submodule by Setup.hs if the flag is set. The C++ files are necessary for compilation with -fdebug, so they should be in extra-source-files but only if -fdebug is set. This is impossible because top-level blocks cannot be put in a conditional.
2024-04-27 11:51:46 +0200danza_(~francesco@151.47.235.82)
2024-04-27 11:51:24 +0200danza_(~francesco@151.47.235.82) (Remote host closed the connection)
2024-04-27 11:45:56 +0200yin(~yin@user/zero)
2024-04-27 11:29:38 +0200ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-04-27 11:28:46 +0200danza(~francesco@151.37.225.196) (Read error: Connection reset by peer)
2024-04-27 11:28:10 +0200sawilagar(~sawilagar@user/sawilagar)
2024-04-27 11:27:38 +0200 <int-e> err, that's not the right declaration
2024-04-27 11:27:25 +0200 <int-e> How about imitating it? data a ::+:: b = a ::+:: b deriving (Show)
2024-04-27 11:27:17 +0200danza_(~francesco@151.47.235.82)
2024-04-27 11:22:28 +0200sawilagar(~sawilagar@user/sawilagar) (Quit: Leaving)
2024-04-27 11:08:06 +0200 <ph88> How can i see the instance implementation of Show :+: ? -ddump-deriv doesn't work because the base library is not recompiled https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Generics.html#t:Data
2024-04-27 11:06:38 +0200euphores(~SASL_euph@user/euphores)
2024-04-27 11:05:46 +0200danza(~francesco@151.37.225.196)
2024-04-27 11:05:35 +0200Rodney_(~Rodney@176.254.244.83)
2024-04-27 11:05:24 +0200danza(~francesco@151.37.225.196) (Remote host closed the connection)
2024-04-27 11:04:42 +0200Rodney_(~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
2024-04-27 11:01:32 +0200causal(~eric@50.35.88.207)
2024-04-27 11:01:17 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-04-27 10:57:42 +0200gmg(~user@user/gehmehgeh)
2024-04-27 10:57:30 +0200ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de)
2024-04-27 10:56:54 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-04-27 10:55:50 +0200danza(~francesco@151.37.225.196)
2024-04-27 10:55:11 +0200yin(~yin@user/zero) (Ping timeout: 264 seconds)