2024-04-27 00:00:22 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-04-27 00:05:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-27 00:12:04 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-04-27 00:27:03 +0200 | sadie-sorceress | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-04-27 00:27:50 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-04-27 00:31:41 +0200 | yin | (~yin@user/zero) (Quit: Lost terminal) |
2024-04-27 00:40:08 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-04-27 00:43:10 +0200 | yin | (~yin@user/zero) |
2024-04-27 00:43:33 +0200 | yin | zzz |
2024-04-27 00:51:17 +0200 | acidjnk | (~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-04-27 00:57:59 +0200 | <haskellbridge> | <irregularsphere> I sometimes use Haskell on my phone, too! |
2024-04-27 00:58:00 +0200 | <haskellbridge> | <irregularsphere> It's on 8.10.7 rn (upgradable to 9.2.5-1) but Termux fills up 18GB of my phone's storage mostly due to useless packages I installed in the past. Planning to wipe & reinstall, though. |
2024-04-27 01:06:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2024-04-27 01:15:46 +0200 | sroso | (~sroso@user/SrOso) |
2024-04-27 01:16:20 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 268 seconds) |
2024-04-27 01:18:12 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
2024-04-27 01:21:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-04-27 01:22:32 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-04-27 01:25:57 +0200 | hueso | (~root@user/hueso) (Ping timeout: 272 seconds) |
2024-04-27 01:28:55 +0200 | hueso | (~root@user/hueso) |
2024-04-27 01:29:05 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-27 01:29:35 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-27 01:37:02 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-04-27 01:41:05 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Remote host closed the connection) |
2024-04-27 01:42:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-04-27 01:45:21 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-27 01:57:03 +0200 | zzz | (~yin@user/zero) |
2024-04-27 02:15:32 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
2024-04-27 02:16:29 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-27 02:22:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
2024-04-27 02:46:35 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds) |
2024-04-27 02:55:06 +0200 | zzz | (~yin@user/zero) |
2024-04-27 02:56:16 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds) |
2024-04-27 02:56:48 +0200 | Guest29 | (~Guest29@a89-152-101-97.cpe.netcabo.pt) |
2024-04-27 03:01:50 +0200 | elamite | (~elamite@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) |
2024-04-27 03:07:19 +0200 | elamite | (~elamite@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) (Quit: Client closed) |
2024-04-27 03:08:53 +0200 | xelxebar | (~xelxebar@wilsonb.com) (Ping timeout: 240 seconds) |
2024-04-27 03:09:33 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
2024-04-27 03:10:34 +0200 | califax_ | (~califax@user/califx) |
2024-04-27 03:11:38 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-04-27 03:11:52 +0200 | califax_ | califax |
2024-04-27 03:16:12 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-04-27 03:17:29 +0200 | Guest29 | (~Guest29@a89-152-101-97.cpe.netcabo.pt) (Quit: Client closed) |
2024-04-27 03:18:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-27 03:19:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-27 03:21:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 272 seconds) |
2024-04-27 03:32:36 +0200 | otto_s | (~user@p5b044b31.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-04-27 03:34:27 +0200 | otto_s | (~user@p4ff27de0.dip0.t-ipconnect.de) |
2024-04-27 03:42:48 +0200 | zzz | (~yin@user/zero) |
2024-04-27 03:47:21 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-04-27 03:51:55 +0200 | mzschr | (~mzschr@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) |
2024-04-27 03:57:00 +0200 | zzz | (~yin@user/zero) (Ping timeout: 245 seconds) |
2024-04-27 04:09:28 +0200 | mzschr | (~mzschr@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) (Quit: Client closed) |
2024-04-27 04:16:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
2024-04-27 04:32:59 +0200 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 264 seconds) |
2024-04-27 04:34:12 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
2024-04-27 04:34:49 +0200 | td_ | (~td@i5387091B.versanet.de) |
2024-04-27 04:35:32 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
2024-04-27 04:50:25 +0200 | yin | (~yin@user/zero) |
2024-04-27 04:50:32 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-27 04:59:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-27 05:02:28 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-27 05:06:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-04-27 05:07:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-27 05:10:59 +0200 | aforemny | (~aforemny@i59F516DA.versanet.de) |
2024-04-27 05:11:18 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-04-27 05:12:31 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf4:e200:c321:623a:48be:28f1) (Ping timeout: 268 seconds) |
2024-04-27 05:34:10 +0200 | <dmj`> | monochrom: we need haskellton |
2024-04-27 05:36:12 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-04-27 05:39:35 +0200 | tdlgalt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-04-27 05:44:38 +0200 | <probie> | As in a full program optimising compiler? |
2024-04-27 05:45:16 +0200 | <probie> | or just something that eats absurd amounts of RAM (which GHC seems quite capable of doing on its own) |
2024-04-27 05:45:18 +0200 | <monochrom> | Yeah. |
2024-04-27 05:45:26 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-04-27 05:45:26 +0200 | <monochrom> | That too. :) |
2024-04-27 05:47:33 +0200 | Pixi | (~Pixi@user/pixi) |
2024-04-27 05:57:32 +0200 | <dmj`> | probie: if we had haskellton, we wouldn't eat as much memory |
2024-04-27 05:57:39 +0200 | <dmj`> | probie: and yes |
2024-04-27 06:01:06 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-04-27 06:01:21 +0200 | tdlgalt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-04-27 06:12:33 +0200 | swamp_ | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2024-04-27 06:25:28 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-04-27 06:58:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-27 06:59:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
2024-04-27 07:00:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-27 07:03:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-04-27 07:05:09 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-04-27 07:10:48 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-27 07:27:20 +0200 | danza | (~francesco@151.37.225.196) |
2024-04-27 07:43:22 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
2024-04-27 07:49:49 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
2024-04-27 07:57:47 +0200 | Inst | (~Inst@user/Inst) |
2024-04-27 08:04:22 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-27 08:10:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-27 08:16:34 +0200 | <bsima> | how do I find out what version of template-haskell is shipped with my ghc version? |
2024-04-27 08:16:40 +0200 | <bsima> | I look at the .version field in nixpkgs and its null |
2024-04-27 08:18:58 +0200 | phma | (phma@2001:5b0:210f:2ed8:1686:9f1d:3773:c78f) (Read error: Connection reset by peer) |
2024-04-27 08:20:05 +0200 | phma | (phma@2001:5b0:210d:77f8:690d:ee85:cd6a:7031) |
2024-04-27 08:21:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-27 08:24:08 +0200 | yeitrafferin | (~user@2a04:4540:7202:7600:9288:54b5:ce2d:f3dc) |
2024-04-27 08:25:34 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2024-04-27 08:28:25 +0200 | <probie> | `ghc-pkg latest template-haskell` probably |
2024-04-27 08:32:49 +0200 | danza | (~francesco@151.37.225.196) (Remote host closed the connection) |
2024-04-27 08:33:13 +0200 | danza | (~francesco@151.37.225.196) |
2024-04-27 08:33:40 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 245 seconds) |
2024-04-27 08:39:57 +0200 | Inst | (~Inst@user/Inst) |
2024-04-27 08:40:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-27 08:41:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-27 08:46:35 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
2024-04-27 08:47:20 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-27 09:01:39 +0200 | danza | (~francesco@151.37.225.196) (Ping timeout: 256 seconds) |
2024-04-27 09:03:06 +0200 | yin | (~yin@user/zero) |
2024-04-27 09:06:50 +0200 | ykm | (~ykm@user/hylisper) |
2024-04-27 09:13:32 +0200 | <bsima> | yeah that worked, i was looking for a webpage or something that would list it |
2024-04-27 09:18:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-27 09:20:59 +0200 | ykm | (~ykm@user/hylisper) () |
2024-04-27 09:22:53 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
2024-04-27 09:25:24 +0200 | visilii_ | (~visilii@188.254.126.79) |
2024-04-27 09:27:30 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-27 09:28:23 +0200 | connrs | (~connrs@user/connrs) |
2024-04-27 09:29:06 +0200 | visilii | (~visilii@213.24.125.229) (Ping timeout: 255 seconds) |
2024-04-27 09:31:47 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
2024-04-27 09:33:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-04-27 09:36:14 +0200 | acidjnk | (~acidjnk@p200300d6e714dc03d4ff90a1ba0ea518.dip0.t-ipconnect.de) |
2024-04-27 09:43:14 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
2024-04-27 09:47:45 +0200 | <geekosaur> | bsima, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
2024-04-27 09:48:44 +0200 | <bsima> | ah thanks geekosaur |
2024-04-27 09:50:04 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-27 09:54:28 +0200 | ckname | (~ckname@2a00:f41:18ee:7305:a70d:8cbb:bd16:2bd7) |
2024-04-27 09:55:27 +0200 | ckname | (~ckname@2a00:f41:18ee:7305:a70d:8cbb:bd16:2bd7) (Client Quit) |
2024-04-27 10:00:10 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
2024-04-27 10:13:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-04-27 10:16:46 +0200 | pera | (~pera@user/pera) |
2024-04-27 10:21:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a359:eeea:f982:7525) (Ping timeout: 240 seconds) |
2024-04-27 10:24:04 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-27 10:27:50 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
2024-04-27 10:28:12 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
2024-04-27 10:32:25 +0200 | __monty__ | (~toonn@user/toonn) |
2024-04-27 10:34:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a359:eeea:f982:7525) |
2024-04-27 10:42:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-27 10:47:43 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
2024-04-27 10:48:49 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-04-27 10:53:24 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-04-27 10:55:11 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-04-27 10:55:50 +0200 | danza | (~francesco@151.37.225.196) |
2024-04-27 10:56:54 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-04-27 10:57:30 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
2024-04-27 10:57:42 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-27 11:01:17 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-04-27 11:01:32 +0200 | causal | (~eric@50.35.88.207) |
2024-04-27 11:04:42 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
2024-04-27 11:05:24 +0200 | danza | (~francesco@151.37.225.196) (Remote host closed the connection) |
2024-04-27 11:05:35 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
2024-04-27 11:05:46 +0200 | danza | (~francesco@151.37.225.196) |
2024-04-27 11:06:38 +0200 | euphores | (~SASL_euph@user/euphores) |
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:22:28 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
2024-04-27 11:27:17 +0200 | danza_ | (~francesco@151.47.235.82) |
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:38 +0200 | <int-e> | err, that's not the right declaration |
2024-04-27 11:28:10 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-27 11:28:46 +0200 | danza | (~francesco@151.37.225.196) (Read error: Connection reset by peer) |
2024-04-27 11:29:38 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-27 11:45:56 +0200 | yin | (~yin@user/zero) |
2024-04-27 11:51:24 +0200 | danza_ | (~francesco@151.47.235.82) (Remote host closed the connection) |
2024-04-27 11:51:46 +0200 | danza_ | (~francesco@151.47.235.82) |
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:54:05 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
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:11 +0200 | <tomsmeding> | What do? |
2024-04-27 11:55:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-27 11:55:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-04-27 11:56:27 +0200 | euleritian | (~euleritia@176.2.139.168) |
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:57:48 +0200 | <tomsmeding> | s/meaning that/means that/ |
2024-04-27 12:04:11 +0200 | euleritian | (~euleritia@176.2.139.168) (Read error: Connection reset by peer) |
2024-04-27 12:04:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-27 12:06:07 +0200 | connrs | (~connrs@user/connrs) |
2024-04-27 12:11:37 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
2024-04-27 12:18:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-04-27 12:22:23 +0200 | euleritian | (~euleritia@dynamic-176-002-139-168.176.2.pool.telefonica.de) |
2024-04-27 12:27:09 +0200 | euleritian | (~euleritia@dynamic-176-002-139-168.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
2024-04-27 12:27:23 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
2024-04-27 12:27:47 +0200 | Square | (~Square@user/square) |
2024-04-27 12:29:23 +0200 | danza_ | (~francesco@151.47.235.82) (Ping timeout: 252 seconds) |
2024-04-27 12:29:30 +0200 | yeitrafferin | (~user@2a04:4540:7202:7600:9288:54b5:ce2d:f3dc) (Remote host closed the connection) |
2024-04-27 12:33:09 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2024-04-27 12:47:32 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-27 12:48:15 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
2024-04-27 12:48:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2024-04-27 12:49:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-04-27 12:51:33 +0200 | dispater- | (~dispater@217.155.58.82) |
2024-04-27 12:52:03 +0200 | orcus- | (~orcus@217.155.58.82) |
2024-04-27 12:55:15 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
2024-04-27 12:55:15 +0200 | dispater- | (~dispater@217.155.58.82) (Read error: Connection reset by peer) |
2024-04-27 13:01:24 +0200 | orcus- | (~orcus@217.155.58.82) |
2024-04-27 13:01:56 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
2024-04-27 13:04:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-27 13:04:22 +0200 | orcus- | (~orcus@217.155.58.82) |
2024-04-27 13:06:10 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
2024-04-27 13:15:12 +0200 | orcus- | (~orcus@217.155.58.82) |
2024-04-27 13:16:06 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
2024-04-27 13:18:00 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2024-04-27 13:18:48 +0200 | orcus- | (~orcus@217.155.58.82) |
2024-04-27 13:19:49 +0200 | dispater- | (~dispater@217.155.58.82) |
2024-04-27 13:31:18 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
2024-04-27 13:31:18 +0200 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
2024-04-27 13:36:02 +0200 | hippoid | (~hippoid@user/hippoid) (Quit: WeeChat 4.2.1) |
2024-04-27 13:38:25 +0200 | zmt01 | (~zmt00@user/zmt00) |
2024-04-27 13:39:31 +0200 | swamp_ | (~zmt00@user/zmt00) |
2024-04-27 13:40:07 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
2024-04-27 13:43:23 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
2024-04-27 13:45:48 +0200 | qqq | (~qqq@92.43.167.61) |
2024-04-27 14:07:27 +0200 | mechap | (~mechap@user/mechap) |
2024-04-27 14:10:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-04-27 14:11:37 +0200 | yin | (~yin@user/zero) |
2024-04-27 14:13:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-27 14:14:01 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) |
2024-04-27 14:17:49 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) |
2024-04-27 14:18:35 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) (Ping timeout: 268 seconds) |
2024-04-27 14:19:00 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) (Client Quit) |
2024-04-27 14:19:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
2024-04-27 14:21:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-27 14:27:25 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
2024-04-27 14:32:36 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-04-27 14:35:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-27 14:36:35 +0200 | kilolympus | (~kilolympu@31.205.200.246) (Ping timeout: 245 seconds) |
2024-04-27 14:36:47 +0200 | kilolympus | (~kilolympu@31.205.200.246) |
2024-04-27 14:47:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-27 14:48:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) |
2024-04-27 14:59:31 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
2024-04-27 14:59:45 +0200 | yin | (~yin@user/zero) |
2024-04-27 15:01:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-04-27 15:02:11 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-04-27 15:04:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-27 15:09:46 +0200 | yin | (~yin@user/zero) |
2024-04-27 15:10:09 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-04-27 15:16:40 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
2024-04-27 15:19:45 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-04-27 15:27:59 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-04-27 15:35:44 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-27 15:42:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) (Ping timeout: 255 seconds) |
2024-04-27 15:42:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
2024-04-27 15:47:41 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 268 seconds) |
2024-04-27 15:51:04 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
2024-04-27 15:53:46 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-04-27 15:56:06 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 255 seconds) |
2024-04-27 16:11:53 +0200 | yin | (~yin@user/zero) |
2024-04-27 16:38:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-27 16:38:12 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) |
2024-04-27 16:49:33 +0200 | <yin> | hi. can someone give me a simple explanation of why 'Pattern matching on GADTs without MonoLocalBinds is fragile'? |
2024-04-27 17:00:27 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) (Ping timeout: 268 seconds) |
2024-04-27 17:03:06 +0200 | <ncf> | yin: see section 4.2 of https://simon.peytonjones.org/assets/pdfs/outsideinx.pdf |
2024-04-27 17:04:55 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-27 17:04:58 +0200 | <ncf> | (i'm not sure why this makes pattern matching "fragile", but that's the reason given in the documentation) |
2024-04-27 17:05:26 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
2024-04-27 17:11:19 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
2024-04-27 17:12:42 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-04-27 17:14:22 +0200 | <ncf> | i also can't reproduce the issue in the paper at all... with their code snippet and NoMonoLocalBinds i get the expected "Couldn't match expected type 'Bool' with actual type 'a'" |
2024-04-27 17:14:48 +0200 | <jumper149> | I want to create a value-level literal from a type-level datakind. Do I need singletons or is this possible with `Typeable` or something else? |
2024-04-27 17:15:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-27 17:16:24 +0200 | <jumper149> | So basically I want something like `natVal` or `symbolVal` for my custom enum type. |
2024-04-27 17:19:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-04-27 17:19:48 +0200 | <[Leary]> | jumper149: Make a typeclass? |
2024-04-27 17:21:14 +0200 | <jumper149> | data T = A | B |
2024-04-27 17:21:27 +0200 | <jumper149> | class TKindToType where |
2024-04-27 17:21:54 +0200 | <jumper149> | toVal :: Proxy (t :: T) -> T |
2024-04-27 17:22:05 +0200 | <jumper149> | [Leary]: Something like this is what you mean? |
2024-04-27 17:24:48 +0200 | <[Leary]> | `t` Should be the parameter to the class, but yes. |
2024-04-27 17:25:10 +0200 | <jumper149> | Yeah, I just wrote this directly into weechat, so I forgot... |
2024-04-27 17:25:31 +0200 | <jumper149> | Well but that is the same thing singletons would do I think |
2024-04-27 17:26:25 +0200 | <jumper149> | The annoying part is you have to write all instances by hand or generate them with singletons. |
2024-04-27 17:26:39 +0200 | <jumper149> | But I guess dependent haskell has to wait a little more |
2024-04-27 17:27:36 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
2024-04-27 17:29:15 +0200 | <someone235> | Hi, I'm getting `/usr/bin/ld.gold: error: cannot find -lgmp` when trying to run `ghc hello.hs`. Anyone has any idea what could be the cause? |
2024-04-27 17:30:55 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
2024-04-27 17:33:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-27 17:35:57 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2024-04-27 17:36:26 +0200 | <geekosaur> | you need to install the OS gmp devel package |
2024-04-27 17:36:36 +0200 | <geekosaur> | haskell can't do this for you |
2024-04-27 17:37:34 +0200 | <someone235> | geekosaur: it's weird that it's not listed as a dependency in the instructions |
2024-04-27 17:38:15 +0200 | <someone235> | Anyway, it worked, so thank you! |
2024-04-27 17:38:21 +0200 | <geekosaur> | https://www.haskell.org/ghcup/install/#system-requirements |
2024-04-27 17:38:47 +0200 | <geekosaur> | I thought ghcup also output a message about this on install |
2024-04-27 17:41:25 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-04-27 17:41:31 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-04-27 17:45:18 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-27 17:45:40 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:6c1a:bb:e9e2:e9fd) |
2024-04-27 17:47:59 +0200 | pera | (~pera@user/pera) (Ping timeout: 264 seconds) |
2024-04-27 17:49:48 +0200 | pera | (~pera@user/pera) |
2024-04-27 18:01:12 +0200 | <monochrom> | It does. No one reads it. |
2024-04-27 18:02:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-04-27 18:11:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
2024-04-27 18:12:13 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-04-27 18:16:28 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-27 18:16:42 +0200 | pavonia | (~user@user/siracusa) |
2024-04-27 18:22:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-04-27 18:26:34 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
2024-04-27 18:26:36 +0200 | <haskellbridge> | <Jade> im pretty sure this is still out of date for a few distros, I meant to raise an issue about that ... |
2024-04-27 18:28:05 +0200 | <geekosaur> | `gmp` has always been a dependency though |