| 2024-01-16 00:03:19 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-16 00:03:36 +0100 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | tomith | (tomith@user/tomith) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | average | (uid473595@user/average) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | aforemny | (~aforemny@i59f516fc.versanet.de) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | qhong_ | (~qhong@dn160vrd000d6kpg009l6c0000fj.stanford.edu) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | beogrif | (~beogrif@066-065-097-119.res.spectrum.com) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | notzmv | (~zmv@user/notzmv) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | _xor | (~xor@72.49.195.41) (*.net *.split) |
| 2024-01-16 00:03:36 +0100 | qqq | (~qqq@92.43.167.61) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | Benzi-Junior | (~BenziJuni@88-149-65-224.du.xdsl.is) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | raoul | (~raoul@95.179.203.88) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2024-01-16 00:03:37 +0100 | stefan-_- | (~cri@42dots.de) (*.net *.split) |
| 2024-01-16 00:03:38 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
| 2024-01-16 00:03:38 +0100 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2024-01-16 00:03:38 +0100 | anpad | (~pandeyan@user/anpad) (*.net *.split) |
| 2024-01-16 00:03:38 +0100 | AmyMalik | (~Ellenor@callbox.trd.is) (*.net *.split) |
| 2024-01-16 00:03:38 +0100 | hippoid | (~hippoid@user/hippoid) (*.net *.split) |
| 2024-01-16 00:04:00 +0100 | justache- | (~justache@user/justache) |
| 2024-01-16 00:04:24 +0100 | Sgeo__ | (~Sgeo@user/sgeo) |
| 2024-01-16 00:04:25 +0100 | justache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2024-01-16 00:04:31 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-16 00:04:46 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-01-16 00:04:46 +0100 | ChanServ | +v haskellbridge |
| 2024-01-16 00:04:57 +0100 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2024-01-16 00:04:57 +0100 | tomith | (tomith@user/tomith) |
| 2024-01-16 00:04:57 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-01-16 00:04:57 +0100 | average | (uid473595@user/average) |
| 2024-01-16 00:04:57 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) |
| 2024-01-16 00:04:57 +0100 | aforemny | (~aforemny@i59f516fc.versanet.de) |
| 2024-01-16 00:04:57 +0100 | beogrif | (~beogrif@066-065-097-119.res.spectrum.com) |
| 2024-01-16 00:04:57 +0100 | qhong_ | (~qhong@dn160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2024-01-16 00:04:57 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-01-16 00:04:57 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2024-01-16 00:04:57 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-01-16 00:04:57 +0100 | _xor | (~xor@72.49.195.41) |
| 2024-01-16 00:04:57 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-16 00:04:57 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-01-16 00:04:57 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-01-16 00:04:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-01-16 00:04:57 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-16 00:04:57 +0100 | Benzi-Junior | (~BenziJuni@88-149-65-224.du.xdsl.is) |
| 2024-01-16 00:04:57 +0100 | raoul | (~raoul@95.179.203.88) |
| 2024-01-16 00:04:57 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2024-01-16 00:04:57 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2024-01-16 00:04:57 +0100 | stefan-_- | (~cri@42dots.de) |
| 2024-01-16 00:04:57 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2024-01-16 00:04:57 +0100 | megaTherion | (~therion@unix.io) |
| 2024-01-16 00:04:57 +0100 | anpad | (~pandeyan@user/anpad) |
| 2024-01-16 00:04:57 +0100 | AmyMalik | (~Ellenor@callbox.trd.is) |
| 2024-01-16 00:04:57 +0100 | hippoid | (~hippoid@user/hippoid) |
| 2024-01-16 00:05:59 +0100 | davean | (~davean@davean.sciesnet.net) |
| 2024-01-16 00:06:23 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Max SendQ exceeded) |
| 2024-01-16 00:06:23 +0100 | sefidel | (~sefidel@user/sefidel) (Max SendQ exceeded) |
| 2024-01-16 00:06:23 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Max SendQ exceeded) |
| 2024-01-16 00:06:37 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2024-01-16 00:06:43 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-01-16 00:07:25 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2024-01-16 00:08:08 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-01-16 00:08:45 +0100 | sajith | (~sajith@user/sajith) (Remote host closed the connection) |
| 2024-01-16 00:09:03 +0100 | sajith | (~sajith@user/sajith) |
| 2024-01-16 00:09:19 +0100 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-01-16 00:09:22 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-16 00:10:27 +0100 | puke | (~puke@user/puke) |
| 2024-01-16 00:18:21 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-01-16 00:18:55 +0100 | xax__ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-16 00:20:05 +0100 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2024-01-16 00:20:33 +0100 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-16 00:20:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 00:21:01 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Ping timeout: 260 seconds) |
| 2024-01-16 00:21:14 +0100 | noteness- | (~noteness@user/noteness) |
| 2024-01-16 00:21:25 +0100 | noteness | (~noteness@user/noteness) (Ping timeout: 264 seconds) |
| 2024-01-16 00:21:50 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-16 00:21:55 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2024-01-16 00:22:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-01-16 00:23:51 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-16 00:29:22 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-16 00:35:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2024-01-16 00:37:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-16 00:38:15 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2024-01-16 00:38:49 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b930760d3245373e4603d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-01-16 00:39:25 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 00:39:33 +0100 | vglfr | (~vglfr@90.167.189.71) |
| 2024-01-16 00:49:28 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-01-16 00:52:14 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-01-16 00:53:18 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-16 00:54:29 +0100 | vglfr | (~vglfr@90.167.189.71) (Read error: Connection reset by peer) |
| 2024-01-16 00:54:53 +0100 | vglfr | (~vglfr@9.red-88-6-81.staticip.rima-tde.net) |
| 2024-01-16 00:56:37 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2024-01-16 00:59:30 +0100 | <qrpnxz> | Where can I read about non-source files that GHC handles such as .o (object files), .hi (interface files?), etc., what they are for, and so on? |
| 2024-01-16 01:01:15 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-16 01:01:33 +0100 | <glguy> | https://downloads.haskell.org/ghc/latest/docs/users_guide/separate_compilation.html#output-files |
| 2024-01-16 01:03:48 +0100 | <qrpnxz> | Yes this is the kind of thing I was looking for in the GHC manual thank you. If y'all know other resources about the content of these files i'd appreciate it. |
| 2024-01-16 01:03:57 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds) |
| 2024-01-16 01:05:02 +0100 | fansly | (~fansly@182.0.173.252) |
| 2024-01-16 01:09:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-01-16 01:11:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:efaa:1836:9126:5ae9) (Ping timeout: 264 seconds) |
| 2024-01-16 01:12:45 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2024-01-16 01:17:01 +0100 | <geekosaur> | qrpnxz, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/iface-files |
| 2024-01-16 01:17:06 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-16 01:19:52 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2024-01-16 01:24:53 +0100 | czy | (~user@114.226.59.181) |
| 2024-01-16 01:32:25 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2024-01-16 01:33:53 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-16 01:34:03 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ad5d:d128:bf1:4c5a) |
| 2024-01-16 01:36:54 +0100 | alexherbo2 | (~alexherbo@207.39.22.93.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-01-16 01:41:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-16 01:55:36 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-16 01:56:32 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-16 02:01:43 +0100 | <qrpnxz> | thanks :D |
| 2024-01-16 02:04:58 +0100 | Umeaboy | (~kristoffe@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2024-01-16 02:14:32 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-16 02:26:46 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-16 02:27:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-01-16 02:30:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-16 02:36:40 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-16 02:37:17 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-16 02:39:52 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-16 02:41:29 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-16 02:41:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2024-01-16 02:43:58 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-16 02:44:13 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-16 02:45:57 +0100 | EvanR_ | (~EvanR@user/evanr) |
| 2024-01-16 02:45:59 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2024-01-16 02:47:45 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-16 02:49:30 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-16 02:51:03 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-16 02:53:09 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-16 02:53:12 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2024-01-16 02:53:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ad5d:d128:bf1:4c5a) (Ping timeout: 276 seconds) |
| 2024-01-16 02:54:00 +0100 | mulk | (~mulk@p5b2dc93f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-16 02:59:01 +0100 | fansly | (~fansly@182.0.173.252) (Remote host closed the connection) |
| 2024-01-16 03:01:00 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-01-16 03:01:19 +0100 | mulk | (~mulk@p5b2dc93f.dip0.t-ipconnect.de) |
| 2024-01-16 03:01:46 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) |
| 2024-01-16 03:02:28 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) (Max SendQ exceeded) |
| 2024-01-16 03:02:56 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) |
| 2024-01-16 03:04:21 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) (Max SendQ exceeded) |
| 2024-01-16 03:05:22 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) |
| 2024-01-16 03:06:05 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-16 03:06:08 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) (Max SendQ exceeded) |
| 2024-01-16 03:07:30 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) |
| 2024-01-16 03:08:12 +0100 | bilegeek | (~bilegeek@2600:1008:b029:d8e4:7f49:7358:aa89:31df) (Max SendQ exceeded) |
| 2024-01-16 03:12:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1) (Remote host closed the connection) |
| 2024-01-16 03:17:43 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-16 03:24:25 +0100 | Joao003 | (~Joao003@190.108.99.13) (Ping timeout: 264 seconds) |
| 2024-01-16 03:28:40 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
| 2024-01-16 03:31:07 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-16 03:35:37 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-01-16 03:37:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-16 03:43:33 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-01-16 03:50:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1) |
| 2024-01-16 03:59:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1) (Remote host closed the connection) |
| 2024-01-16 04:00:11 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-16 04:00:37 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-01-16 04:01:04 +0100 | platz | (~platz@user/platz) |
| 2024-01-16 04:03:28 +0100 | <platz> | Yesod experts: I'm overriding Yesod jsAttributes to try to put type="module" on the JavaScript script tag generated for julius QuasiQuoter, but changing it seems to do nothing |
| 2024-01-16 04:04:32 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-16 04:09:30 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-01-16 04:09:50 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-01-16 04:10:08 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-01-16 04:17:15 +0100 | EvanR_ | EvanR |
| 2024-01-16 04:28:18 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-16 04:29:54 +0100 | img | (~img@user/img) |
| 2024-01-16 04:30:41 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-01-16 04:32:10 +0100 | hueso | (~root@user/hueso) |
| 2024-01-16 04:32:16 +0100 | <c_wraith> | platz: is there also a jsAttributesHandler defined? |
| 2024-01-16 04:37:55 +0100 | <platz> | c_wraith: I did some more digging, it looks like |
| 2024-01-16 04:37:56 +0100 | <platz> | [03:37:43] [platz(+Ziw)] [3:fn/#haskell(+Cnt)] |
| 2024-01-16 04:38:32 +0100 | <platz> | oops... I meant to say, jsAttributes is only used if you use it on a file. the quasiquoter doesn't appear to use jsAttributes |
| 2024-01-16 04:39:07 +0100 | <c_wraith> | oh. well that's exciting. |
| 2024-01-16 04:39:21 +0100 | <platz> | https://hackage.haskell.org/package/yesod-core-1.6.25.1/docs/src/Yesod.Core.Class.Yesod.html#local… |
| 2024-01-16 04:40:09 +0100 | <platz> | I can just use hamlet instead of julius then to add the script tag manually |
| 2024-01-16 04:50:24 +0100 | justache- | justache |
| 2024-01-16 04:52:21 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-16 05:02:04 +0100 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 256 seconds) |
| 2024-01-16 05:03:57 +0100 | td_ | (~td@i5387093F.versanet.de) |
| 2024-01-16 05:07:13 +0100 | platz | (~platz@user/platz) () |
| 2024-01-16 05:10:35 +0100 | aforemny_ | (~aforemny@i59F516CC.versanet.de) |
| 2024-01-16 05:10:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-16 05:11:10 +0100 | aforemny | (~aforemny@i59f516fc.versanet.de) (Ping timeout: 245 seconds) |
| 2024-01-16 05:15:52 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-16 05:16:53 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-16 05:22:20 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.1.2) |
| 2024-01-16 05:29:49 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-16 05:29:51 +0100 | danza | (~danza@151.43.66.98) |
| 2024-01-16 05:30:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-01-16 05:39:44 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-16 05:40:29 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-01-16 05:45:49 +0100 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-01-16 06:08:33 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-16 06:09:07 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 2024-01-16 06:09:34 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-01-16 06:13:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
| 2024-01-16 06:21:12 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-16 06:27:42 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 06:30:57 +0100 | trev | (~trev@user/trev) |
| 2024-01-16 06:31:54 +0100 | turlando | (~turlando@user/turlando) |
| 2024-01-16 06:41:27 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-16 06:44:21 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-01-16 06:54:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-16 06:55:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-16 06:56:01 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-16 06:58:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 06:59:25 +0100 | Wstfgl0 | Me-me |
| 2024-01-16 06:59:32 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2024-01-16 06:59:32 +0100 | Me-me | (~me-me@user/me-me) |
| 2024-01-16 07:00:28 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-16 07:01:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-16 07:01:25 +0100 | vglfr | (~vglfr@9.red-88-6-81.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-01-16 07:01:40 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-16 07:03:32 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-16 07:05:52 +0100 | puke | (~puke@user/puke) |
| 2024-01-16 07:08:24 +0100 | danza | (~danza@151.43.66.98) (Quit: Leaving) |
| 2024-01-16 07:17:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-16 07:17:45 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-16 07:18:08 +0100 | euleritian | (~euleritia@dynamic-046-114-203-156.46.114.pool.telefonica.de) |
| 2024-01-16 07:18:55 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-16 07:21:50 +0100 | average | (uid473595@user/average) |
| 2024-01-16 07:34:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-16 07:41:43 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-16 07:59:53 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9316bdffba7d8c226295.dip0.t-ipconnect.de) |
| 2024-01-16 08:01:46 +0100 | danse-nr3 | (~danse@151.43.66.98) |
| 2024-01-16 08:24:43 +0100 | danse-nr3 | (~danse@151.43.66.98) (Remote host closed the connection) |
| 2024-01-16 08:25:05 +0100 | danse-nr3 | (~danse@151.43.66.98) |
| 2024-01-16 08:31:34 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-01-16 08:31:43 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-16 08:31:58 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2024-01-16 08:35:14 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 08:41:27 +0100 | Square | (~Square@user/square) |
| 2024-01-16 08:43:37 +0100 | danse-nr3 | (~danse@151.43.66.98) (Ping timeout: 260 seconds) |
| 2024-01-16 08:43:49 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2024-01-16 08:45:31 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-01-16 08:47:14 +0100 | iteratee_ | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-01-16 08:50:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-16 09:06:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-16 09:06:28 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2024-01-16 09:07:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-16 09:15:40 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-16 09:17:38 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-01-16 09:17:46 +0100 | euleritian | (~euleritia@dynamic-046-114-203-156.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-16 09:18:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 09:18:14 +0100 | institor | (~henricus@user/institor) (Ping timeout: 252 seconds) |
| 2024-01-16 09:18:45 +0100 | anderson- | (~anderson@user/anderson) |
| 2024-01-16 09:18:47 +0100 | anderson_ | (~anderson@user/anderson) (Ping timeout: 252 seconds) |
| 2024-01-16 09:20:20 +0100 | institor | (~henricus@user/institor) |
| 2024-01-16 09:26:21 +0100 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-16 09:26:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-16 09:26:56 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 09:27:50 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-01-16 09:31:35 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-16 09:32:01 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-16 09:45:34 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 2024-01-16 09:50:33 +0100 | danse-nr3 | (~danse@151.43.22.57) |
| 2024-01-16 09:59:32 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-16 10:01:46 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-16 10:02:22 +0100 | xax__ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-16 10:02:48 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-01-16 10:02:55 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-01-16 10:03:46 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-01-16 10:05:08 +0100 | mmhat | (~mmh@p200300f1c724f9b3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-16 10:06:21 +0100 | kuribas | (~user@ptr-17d51enegnjpugygex3.18120a2.ip6.access.telenet.be) |
| 2024-01-16 10:06:34 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-16 10:08:55 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-16 10:11:59 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-16 10:12:47 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-01-16 10:13:03 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-16 10:15:21 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) |
| 2024-01-16 10:17:48 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-16 10:18:50 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-16 10:19:11 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-16 10:19:55 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-16 10:21:47 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:1200:ca4b:d6ff:fec1:99da) |
| 2024-01-16 10:21:48 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-16 10:22:07 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-16 10:23:27 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-16 10:26:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-01-16 10:27:41 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-16 10:29:40 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-16 10:30:35 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-16 10:31:07 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-16 10:31:52 +0100 | puke | (~puke@user/puke) (Ping timeout: 256 seconds) |
| 2024-01-16 10:34:12 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 10:39:35 +0100 | alexherbo2 | (~alexherbo@32.36.22.93.rev.sfr.net) |
| 2024-01-16 10:40:24 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-16 10:44:04 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 276 seconds) |
| 2024-01-16 10:44:26 +0100 | fansly | (~fansly@114.124.238.216) |
| 2024-01-16 10:47:04 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-16 10:48:02 +0100 | fansly | (~fansly@114.124.238.216) (Remote host closed the connection) |
| 2024-01-16 10:49:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1) |
| 2024-01-16 10:53:21 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-16 11:02:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-16 11:02:44 +0100 | kuribas | (~user@ptr-17d51enegnjpugygex3.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-01-16 11:03:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-16 11:08:12 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2024-01-16 11:08:47 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-01-16 11:18:33 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:f715:669b:cfa9:834a) (Quit: Ping timeout (120 seconds)) |
| 2024-01-16 11:18:54 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:9efa:99eb:317c:5cbb) |
| 2024-01-16 11:38:52 +0100 | noumenon | (~noumenon@2a01:799:ce0:9000:aa7e:eaff:fede:ff94) |
| 2024-01-16 11:40:55 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-16 11:43:47 +0100 | Everard | (~Everard@2001:67c:2564:a303:9de9:c0b:e105:c44) |
| 2024-01-16 11:47:16 +0100 | <Everard> | Hello, I'm having trouble with building GHC's 9.8.1 version from the gitlab source. I switch to the 9.8.1 release branch, update the submodules and then run the build. I get this error: Warning: Requested index-state 2023-03-30T10:00:00Z is newer than |
| 2024-01-16 11:47:16 +0100 | <Everard> | 'hackage.haskell.org'! Falling back to older state (2023-03-30T08:23:24Z). |
| 2024-01-16 11:47:17 +0100 | <Everard> | Resolving dependencies... |
| 2024-01-16 11:47:17 +0100 | <Everard> | Error: cabal: Could not resolve dependencies: |
| 2024-01-16 11:47:18 +0100 | <Everard> | [__0] trying: hadrian-0.1.0.0 (user goal) |
| 2024-01-16 11:47:18 +0100 | <Everard> | [__1] trying: hadrian:+selftest |
| 2024-01-16 11:47:19 +0100 | <Everard> | [__2] trying: QuickCheck-2.14.2 (dependency of hadrian +selftest) |
| 2024-01-16 11:47:19 +0100 | <Everard> | [__3] trying: splitmix-0.1.0.4 (dependency of QuickCheck) |
| 2024-01-16 11:47:20 +0100 | <Everard> | [__4] next goal: base (dependency of hadrian) |
| 2024-01-16 11:47:20 +0100 | <Everard> | [__4] rejecting: base-4.19.0.0/installed-f417 (conflict: splitmix => base>=4.3 |
| 2024-01-16 11:47:21 +0100 | <Everard> | && <4.19) |
| 2024-01-16 11:47:21 +0100 | <Everard> | [__4] rejecting: base-4.18.0.0, |
| 2024-01-16 11:47:22 +0100 | <Everard> | And then it goes on to reject more base-4.xx.0.0 versions. Is this a simple version mismanagement issue on my part? How can I got about fixing this? I'm having trouble analyzing what exactly is going wrong here |
| 2024-01-16 11:51:07 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-01-16 11:52:54 +0100 | <kaol> | Just a guess but maybe splitmix-0.1.0.5 might work. It has relaxed the base upper bound to allow 4.19. |
| 2024-01-16 11:57:21 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-16 11:58:06 +0100 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-16 12:00:56 +0100 | <danse-nr3> | please use a pastebin in the future Everard |
| 2024-01-16 12:06:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2024-01-16 12:09:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-16 12:09:56 +0100 | <int-e> | The simple answer is that ghc-9.8.1 is too new to build ghc-9.8.1 out of the box. |
| 2024-01-16 12:11:24 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2024-01-16 12:15:02 +0100 | <Everard> | Thanks for the heads up danse-nr3, my bad |
| 2024-01-16 12:15:36 +0100 | <Everard> | Thanks int-e, switching to an older version seems to have fixed the issue |
| 2024-01-16 12:16:41 +0100 | <danse-nr3> | v |
| 2024-01-16 12:16:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2024-01-16 12:19:34 +0100 | <kaol> | One less company using Haskell. A new majority owner and they're replacing all of ours with their boring stack with a huge team. |
| 2024-01-16 12:20:10 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2024-01-16 12:20:18 +0100 | <danse-nr3> | can the company name be mentioned? |
| 2024-01-16 12:21:04 +0100 | vglfr | (~vglfr@150.pool85-48-57.dynamic.orange.es) |
| 2024-01-16 12:21:15 +0100 | <kaol> | HBL (formerly KSF Media). |
| 2024-01-16 12:21:58 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2024-01-16 12:24:04 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-01-16 12:28:05 +0100 | <danse-nr3> | i find nothing on github with that name. I am sorry for the company, but this time the haskell community should not be too damaged at least |
| 2024-01-16 12:30:28 +0100 | <kaol> | Well sorry to inconvenience you then. |
| 2024-01-16 12:31:19 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-01-16 12:32:35 +0100 | <kaol> | Let me delete the code I did for hs-jose while I'm at it since I used company time for that. |
| 2024-01-16 12:33:03 +0100 | <ent> | oh, that's a shame, HBL that is |
| 2024-01-16 12:34:18 +0100 | <ent> | one of the few haskell companies around here |
| 2024-01-16 12:34:52 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-16 12:35:16 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:1200:ca4b:d6ff:fec1:99da) (Ping timeout: 255 seconds) |
| 2024-01-16 12:38:21 +0100 | vglfr | (~vglfr@150.pool85-48-57.dynamic.orange.es) (Read error: Connection reset by peer) |
| 2024-01-16 12:38:55 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-16 12:41:51 +0100 | <danse-nr3> | well i don't mean i am not sorry for this happening, but i worried it could be a more involved company |
| 2024-01-16 12:43:17 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2024-01-16 12:47:16 +0100 | Everard | (~Everard@2001:67c:2564:a303:9de9:c0b:e105:c44) (Ping timeout: 250 seconds) |
| 2024-01-16 12:50:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-16 12:52:46 +0100 | danse-nr3 | (~danse@151.43.22.57) (Ping timeout: 276 seconds) |
| 2024-01-16 13:05:43 +0100 | zups | (~meow@2a01:4f9:c010:6036::1) (Quit: WeeChat 3.6) |
| 2024-01-16 13:10:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-16 13:10:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 13:12:56 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 13:14:56 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-16 13:15:13 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 13:19:18 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 2024-01-16 13:21:45 +0100 | <bwe> | parseTest (parseAnywhere $ decimal <* space <* "moons") "3 moons" -- megaparsec |
| 2024-01-16 13:21:48 +0100 | <bwe> | returns 3 |
| 2024-01-16 13:22:03 +0100 | <bwe> | parseTest (parseAnywhere $ string "foo" *> decimal <* space <* "moons") "foo 3 moons" |
| 2024-01-16 13:22:32 +0100 | <bwe> | ^ fails "unexpected end of input expecting white space" |
| 2024-01-16 13:23:20 +0100 | <bwe> | what's the right approach to allow for foo in the beginning of the pattern to match? |
| 2024-01-16 13:26:31 +0100 | <kaol> | optional (string "foo" *> space) *> decimal ... |
| 2024-01-16 13:27:08 +0100 | <bwe> | why does it even fail if "foo" is there in the string? |
| 2024-01-16 13:27:36 +0100 | <kaol> | Add *> space |
| 2024-01-16 13:27:46 +0100 | <bwe> | :) |
| 2024-01-16 13:29:42 +0100 | <bwe> | now, if I gradually want to make it more flexible, `many anySingle` should match "foo" |
| 2024-01-16 13:29:43 +0100 | forell | (~forell@user/forell) (Ping timeout: 255 seconds) |
| 2024-01-16 13:29:51 +0100 | <bwe> | parseTest (parseAnywhere $ optional (many anySingle *> space) *> decimal <* space <* "moons") "foo 3 moons" |
| 2024-01-16 13:30:16 +0100 | <bwe> | unexpected eoi; expecting integer or white space -- the space is now there |
| 2024-01-16 13:30:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2024-01-16 13:30:47 +0100 | <ncf> | many anySingle will consume everything, and you haven't asked for backtracking |
| 2024-01-16 13:30:57 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-16 13:31:53 +0100 | <bwe> | ncf: right, I want to let `many anySingle` consume input UNTIL the parser bumps into a decimal |
| 2024-01-16 13:32:28 +0100 | <bwe> | how do I let the parser tell that? I mean try (many anySingle) doesn't. |
| 2024-01-16 13:32:46 +0100 | <kaol> | noneOf ['0'..'9'] |
| 2024-01-16 13:33:22 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-16 13:33:30 +0100 | Everard | (~Everard@2001:67c:2564:a303:9a9f:17a:c242:c95e) |
| 2024-01-16 13:35:18 +0100 | <[exa]> | bwe: to do that super properly you may want to do: somethingsomething >> lookAhead notDigit |
| 2024-01-16 13:35:36 +0100 | <[exa]> | or perhaps better with <* in the middle |
| 2024-01-16 13:35:46 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer) |
| 2024-01-16 13:36:02 +0100 | <Everard> | Hello! I just finished compiling GHC from source, but when ran it complains about the version of base. Isn't that included in the GHC source? |
| 2024-01-16 13:36:03 +0100 | <Everard> | https://pastebin.com/feCkabPN |
| 2024-01-16 13:36:03 +0100 | <Everard> | Could this be a conflict between my existing GHCup 9.8.1 install and the one I built from source? |
| 2024-01-16 13:36:30 +0100 | <[exa]> | bwe: ah there's also the nice `notFollowedBy`, so e.g. `many digit <* notFollowedBy digit` might work |
| 2024-01-16 13:37:22 +0100 | <haskellbridge> | 14<maerwald> delete /home/user/.ghc/x86_64-linux-9.8.1/environments/default |
| 2024-01-16 13:38:14 +0100 | <ncf> | [exa]: that's not what we're trying to do, but `many digit` will consume digits until there are no digits left, so notFollowedBy digit will always succeed |
| 2024-01-16 13:38:23 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
| 2024-01-16 13:38:23 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-01-16 13:39:46 +0100 | danse-nr3 | (~danse@151.57.74.53) |
| 2024-01-16 13:39:49 +0100 | <[exa]> | oh i see, sorry |
| 2024-01-16 13:40:26 +0100 | <Everard> | +haskellbridge thanks! |
| 2024-01-16 13:40:44 +0100 | <bwe> | I mean, why is it soo hard to find moon 3 anywhere in the string "<some>moon 3<some>", provided the parser already works for "moon 3" fine? -- XY-problem |
| 2024-01-16 13:42:06 +0100 | <ncf> | because that requires backtracking, which megaparsec doesn't do by default, because that's not really a common use case for parsers - you might want a regex engine instead |
| 2024-01-16 13:42:21 +0100 | <[exa]> | bwe: the first <some> eats it carelessly |
| 2024-01-16 13:42:24 +0100 | <ncf> | or use a backtracking parser combinator library, like ReadP |
| 2024-01-16 13:45:16 +0100 | <[exa]> | btw this should work too, but I'd be concerned about whether it's the best way to go: many (notFollowedBy (string "some") >> digit) |
| 2024-01-16 13:45:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-16 13:45:39 +0100 | <bwe> | ncf: you recommend mixing ReadP with megaparsec? |
| 2024-01-16 13:45:52 +0100 | euleritian | (~euleritia@dynamic-046-114-203-203.46.114.pool.telefonica.de) |
| 2024-01-16 13:47:06 +0100 | <bwe> | ncf: well, I can have it backtrack with `try` -- how would I make it work? |
| 2024-01-16 13:47:49 +0100 | <bwe> | my current (failing) approach: https://bpa.st/LVSQ |
| 2024-01-16 13:51:00 +0100 | <ncf> | bwe: mixing different libraries will not work |
| 2024-01-16 13:51:10 +0100 | <ncf> | i think you need `many` to be backtracking here |
| 2024-01-16 13:52:09 +0100 | <ncf> | well you could try something like: go = try p <|> anySingle *> go |
| 2024-01-16 13:53:26 +0100 | AlexNoo_ | (~AlexNoo@94.233.241.143) |
| 2024-01-16 13:54:08 +0100 | <kaol> | many (anySingle *> notFollowedBy space1) |
| 2024-01-16 13:55:30 +0100 | <[exa]> | kaol: the other way no? this won't eat the last Single |
| 2024-01-16 13:56:17 +0100 | AlexZenon | (~alzenon@178.34.161.172) (Ping timeout: 260 seconds) |
| 2024-01-16 13:57:05 +0100 | AlexNoo | (~AlexNoo@178.34.161.172) (Ping timeout: 252 seconds) |
| 2024-01-16 13:57:11 +0100 | <ncf> | i mean if you're gonna do that... takeWhileP Nothing (not . isSpace) |
| 2024-01-16 13:57:22 +0100 | forell | (~forell@user/forell) |
| 2024-01-16 13:58:15 +0100 | <ncf> | or many (anySingleBut (satisfy isSpace)) |
| 2024-01-16 13:58:17 +0100 | <[exa]> | (also many (satisfy $ not.isSpace) ) |
| 2024-01-16 13:58:26 +0100 | <[exa]> | yap^ |
| 2024-01-16 13:58:30 +0100 | mmhat | (~mmh@p200300f1c724f9b3ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2024-01-16 14:01:05 +0100 | <kaol> | flip ($) (anySingle *> notFollowedBy space1) many |
| 2024-01-16 14:01:15 +0100 | AlexNoo_ | AlexNoo |
| 2024-01-16 14:01:15 +0100 | <kaol> | Sorry, bad humor. |
| 2024-01-16 14:01:44 +0100 | <ncf> | huh, parseTest takeRest "foo" in ghci is giving me ambiguous type errors for the error type |
| 2024-01-16 14:05:27 +0100 | arahael | (~arahael@119-18-1-187.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2024-01-16 14:06:16 +0100 | <ncf> | bwe: parseTest' (skipManyTill anySingle (string "moon 3") <* many anySingle) "blah moon 3 blah" |
| 2024-01-16 14:06:37 +0100 | <ncf> | manyTill and friends are from Control.Monad.Combinators |
| 2024-01-16 14:08:46 +0100 | <ncf> | i guess a key ingredient in this is that `string` automatically backtracks |
| 2024-01-16 14:09:02 +0100 | <bwe> | so, this is the first solution: https://bpa.st/DERA |
| 2024-01-16 14:09:49 +0100 | <ncf> | right, parseAnyWhere (string s) should be equivalent to skipManyTill anySingle (string s) |
| 2024-01-16 14:10:06 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-16 14:10:15 +0100 | <bwe> | it doesn't fail in the second example where the number is part of the previous word - rule: a number should considered as such if it's the first of the string or preceded by a space |
| 2024-01-16 14:11:06 +0100 | <bwe> | ncf: skipManyTill is not part of megaparsec, is that so? |
| 2024-01-16 14:11:15 +0100 | <ncf> | <ncf> manyTill and friends are from Control.Monad.Combinators |
| 2024-01-16 14:11:24 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-16 14:11:27 +0100 | <ncf> | should be reëxported by Text.Megaparsec |
| 2024-01-16 14:14:04 +0100 | <bwe> | confirmed - works |
| 2024-01-16 14:14:26 +0100 | AlexZenon | (~alzenon@94.233.241.143) |
| 2024-01-16 14:15:38 +0100 | <bwe> | thanks up until here, ncf, kaol, [exa] |
| 2024-01-16 14:20:06 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 14:22:52 +0100 | mmhat | (~mmh@p200300f1c724f9b3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-16 14:27:00 +0100 | <bwe> | the current implementation: https://bpa.st/56QA |
| 2024-01-16 14:27:30 +0100 | <bwe> | point-free version: https://bpa.st/T4PQ |
| 2024-01-16 14:27:41 +0100 | <bwe> | So, how can make the second doctest pass? |
| 2024-01-16 14:27:41 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Ping timeout: 256 seconds) |
| 2024-01-16 14:28:24 +0100 | <ncf> | skipManyTill anySingle . try |
| 2024-01-16 14:29:57 +0100 | <bwe> | no, that still returns 3 while it should fail since the 3 to be considered part of the previous word "bar3" |
| 2024-01-16 14:30:15 +0100 | <bwe> | "foo bar3 moons foo" is the input string |
| 2024-01-16 14:30:17 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-01-16 14:31:04 +0100 | <bwe> | here, since 3 is neither the beginning of the string, nor it's preceded by a space, it's deemed not to belong to "moon" |
| 2024-01-16 14:32:14 +0100 | <bwe> | well, the solution here would be to drop words instead of characters |
| 2024-01-16 14:32:21 +0100 | <bwe> | (single characters) |
| 2024-01-16 14:32:36 +0100 | <bwe> | how do I skip complete words with megaparsec? |
| 2024-01-16 14:33:00 +0100 | <bwe> | that's the actual problem! |
| 2024-01-16 14:33:15 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-16 14:33:46 +0100 | <ncf> | https://hackage.haskell.org/package/megaparsec-9.6.1/docs/Text-Megaparsec-Char-Lexer.html#v:lexeme |
| 2024-01-16 14:39:31 +0100 | danse-nr3 | (~danse@151.57.74.53) (Ping timeout: 260 seconds) |
| 2024-01-16 14:39:49 +0100 | <bwe> | I don't understand - even with reading https://markkarpov.com/tutorial/megaparsec.html#forcing-consumption-of-input-with-eof |
| 2024-01-16 14:40:26 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-16 14:40:27 +0100 | <bwe> | what is lexeme doing? and how can it solve my requirement? |
| 2024-01-16 14:42:59 +0100 | <bwe> | try parser, otherwise drop until next space, then call function itself recursively; that's actually what I want |
| 2024-01-16 14:49:02 +0100 | Everard | (~Everard@2001:67c:2564:a303:9a9f:17a:c242:c95e) (Ping timeout: 250 seconds) |
| 2024-01-16 14:50:21 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 256 seconds) |
| 2024-01-16 14:51:59 +0100 | mqlnv | (~tripod@47.154.25.27) |
| 2024-01-16 14:54:27 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-16 14:55:52 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-16 15:04:06 +0100 | <carbolymer> | I'm a maintainer of a package on hackage, but when I try to upload sdist tarball I'm getting an error that I'm not an uploader |
| 2024-01-16 15:04:47 +0100 | <carbolymer> | maybe I should ask on #hackage... |
| 2024-01-16 15:09:52 +0100 | <bwe> | update: I've got a prototype working for single word: https://bpa.st/QYWA -- how can I make it work for any number of preceding words to be skipped? |
| 2024-01-16 15:10:47 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-01-16 15:12:35 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-01-16 15:12:36 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2024-01-16 15:12:49 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 260 seconds) |
| 2024-01-16 15:13:02 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 15:15:55 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-01-16 15:16:00 +0100 | cheater_ | cheater |
| 2024-01-16 15:19:35 +0100 | ryantrinkle | (~ryantrink@140.174.247.171) (Ping timeout: 252 seconds) |
| 2024-01-16 15:24:53 +0100 | Everard | (~Everard@2a10:3781:342:0:3a9e:c4de:1271:aa6e) |
| 2024-01-16 15:26:06 +0100 | <kaol> | bwe: I'm not at all sure what your imports are for that snippet. It'd help if I ran a test. Maybe this: many (many (satisfy (not . isSpace)) *> space) *> decimal |
| 2024-01-16 15:28:45 +0100 | pnoumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-01-16 15:28:59 +0100 | noumenon | (~noumenon@2a01:799:ce0:9000:aa7e:eaff:fede:ff94) (Read error: Connection reset by peer) |
| 2024-01-16 15:34:10 +0100 | pnoumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-01-16 15:49:50 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-16 15:53:03 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 15:55:52 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-16 15:56:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2024-01-16 15:58:56 +0100 | euleritian | (~euleritia@dynamic-046-114-203-203.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-16 15:59:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 16:00:09 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-16 16:00:42 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-01-16 16:01:46 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-16 16:04:22 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-16 16:04:44 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-16 16:13:35 +0100 | mmhat | (~mmh@p200300f1c724f9b3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-01-16 16:13:58 +0100 | mmhat | (~mmh@p200300f1c724f907ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-16 16:23:00 +0100 | puke | (~puke@user/puke) |
| 2024-01-16 16:24:29 +0100 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-01-16 16:24:58 +0100 | <bwe> | kaol: https://bpa.st/SRWQ |
| 2024-01-16 16:25:21 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-16 16:26:06 +0100 | puke | (~puke@user/puke) |
| 2024-01-16 16:27:21 +0100 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-01-16 16:27:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1) (Remote host closed the connection) |
| 2024-01-16 16:27:50 +0100 | puke | (~puke@user/puke) |
| 2024-01-16 16:27:53 +0100 | anon | (~anon@77-161-12-199.fixed.kpn.net) |
| 2024-01-16 16:27:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) |
| 2024-01-16 16:33:13 +0100 | danse-nr3 | (~danse@151.43.136.109) |
| 2024-01-16 16:33:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-16 16:34:11 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-01-16 16:37:40 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2024-01-16 16:41:05 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 16:46:37 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-16 16:49:37 +0100 | <anon> | Hello, I have a question regarding the Prelude/Control.Monad; why does the bind operator (>>=) have its reverse (=<<), but the bind-and-disregard operator (>>) not have its own flipped version (<<)? |
| 2024-01-16 16:51:01 +0100 | <ncf> | there's (<*) |
| 2024-01-16 16:51:15 +0100 | <[exa]> | anon: one of the mysteries that science cannot explain. I'd say it gets super awkward w.r.t. operator priorities and associativity. You can use <* with similar success |
| 2024-01-16 16:52:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-16 16:53:06 +0100 | <anon> | Oh yeah, whoops, my bad; I forgot about that function, thanks! I tend to write (=<<) a lot more than (>>=), so I always just got confused on why that notation/connection wasn't made. |
| 2024-01-16 16:53:38 +0100 | <anon> | But, I'm guessing (*>) and (>>) are equivalent, right? |
| 2024-01-16 16:53:56 +0100 | <[exa]> | AFAIK they should be, except ofc for the typeclass on that |
| 2024-01-16 16:54:22 +0100 | <anon> | Ok, thank you! |
| 2024-01-16 16:54:42 +0100 | <[exa]> | btw <* isn't a complete "flip" afaik, the actions are still executed left to right |
| 2024-01-16 16:55:10 +0100 | <[exa]> | which wouldn't be the case with (flip (<<)) |
| 2024-01-16 16:58:46 +0100 | <anon> | Yes, you're right; `flip (>>) :: Monad m => m b -> m a -> m b` whereas `(<*) :: Applicative f => f a -> f b -> f a`, so they're not really equivalent. |
| 2024-01-16 17:00:59 +0100 | alexherbo2 | (~alexherbo@32.36.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-16 17:01:20 +0100 | alexherbo2 | (~alexherbo@32.36.22.93.rev.sfr.net) |
| 2024-01-16 17:02:37 +0100 | <[exa]> | semi-related: https://hackage.haskell.org/package/transformers-0.6.1.1/docs/Control-Applicative-Backwards.html#t… |
| 2024-01-16 17:03:06 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-01-16 17:06:29 +0100 | Pixi | (~Pixi@user/pixi) |
| 2024-01-16 17:09:23 +0100 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-01-16 17:15:04 +0100 | yeahitsme | (~bob@user/yeahitsme) (Read error: Connection reset by peer) |
| 2024-01-16 17:20:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-16 17:22:54 +0100 | average | (uid473595@user/average) |
| 2024-01-16 17:29:31 +0100 | <kaol> | Let's get silly while we're at it. https://hackage.haskell.org/package/tardis-0.5.0/docs/Control-Monad-Tardis.html |
| 2024-01-16 17:31:54 +0100 | <c_wraith> | anon: fwiw, those types aren't different. the types of those two operations don't communicate the difference between them. |
| 2024-01-16 17:34:48 +0100 | <kaol> | And then there's https://hackage.haskell.org/package/base-4.19.0.0/docs/Control-Applicative.html#v:-60--42--42--62- (<**>) which is not the same as flip (<*>) even though the type signatures are identical. |
| 2024-01-16 17:38:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-16 17:42:57 +0100 | <kaol> | Hm. How come there's no (<**). Not that I've ever felt the need for it ever. |
| 2024-01-16 17:44:37 +0100 | <zwro> | kaol: there's nothing silly about the tardis monad! |
| 2024-01-16 17:44:58 +0100 | <duncan> | Wake me up when we have the dtrace monad |
| 2024-01-16 17:47:04 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 246 seconds) |
| 2024-01-16 17:56:21 +0100 | Ashkan | (~Ashkan@147.161.173.72) |
| 2024-01-16 17:59:07 +0100 | <Ashkan> | Hello |
| 2024-01-16 17:59:08 +0100 | <Ashkan> | I have a feeling I'm kinda misunderstanding how Haskell talks to C and the whole marshalling of `Ptr`s. Basically it boils down to this: does this involve copying the data , possibly from GHC's "managed" heap into some other part of memory, when I call a foreign function from within my Haskell code ? |
| 2024-01-16 18:00:10 +0100 | danse-nr3 | (~danse@151.43.136.109) (Ping timeout: 255 seconds) |
| 2024-01-16 18:00:29 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-16 18:01:30 +0100 | <Ashkan> | Case in point: assume I'm trying to talk to a video codec lib in c, say av1 or h264. The function I'm interested in reads a video file and provides a means to give me back each frame in C via some ptr or something. If I want to do something with that frame in Haskell then does this involve copying the whole frame at some point from C to Haskell ? |
| 2024-01-16 18:05:33 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-16 18:10:13 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-16 18:11:25 +0100 | <[exa]> | Ashkan: AFAIK stuff pointed by Ptr is already "marshalled out", and FFI shouldn't copy data when you pass Ptr's through |
| 2024-01-16 18:13:07 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-16 18:13:21 +0100 | <[exa]> | the actual memory place is not really specified by the Ptr; you can get one using `allocaBytes` on the RTS heap, and you can get one by calling the usual `malloc` from libc |
| 2024-01-16 18:14:06 +0100 | <[exa]> | for the video usecase, you should be able to read directly from the Ptr using relatively sane interfaces |
| 2024-01-16 18:14:39 +0100 | kuribas | (~user@ptr-17d51em9umi27plmrk9.18120a2.ip6.access.telenet.be) |
| 2024-01-16 18:14:49 +0100 | alexherbo2 | (~alexherbo@32.36.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-16 18:15:27 +0100 | <kuribas> | What I don't like about OO: all your definitions must be part of the class, and go in the same file, you get no separation of concerns. |
| 2024-01-16 18:15:38 +0100 | <[exa]> | Ashkan: e.g. here: https://hackage.haskell.org/package/vector-0.13.1.0/docs/Data-Vector-Storable.html#v:unsafeFromFor… |
| 2024-01-16 18:16:13 +0100 | <kuribas> | Unless the language supports extending classes. |
| 2024-01-16 18:16:34 +0100 | anon | (~anon@77-161-12-199.fixed.kpn.net) (Quit: leaving) |
| 2024-01-16 18:17:28 +0100 | <[exa]> | Ashkan: (ForeignPtr is "just" a Ptr but with finalizers attached, so that it may get GC'd if required) |
| 2024-01-16 18:17:40 +0100 | <Ashkan> | exarkun tnx. so at least in principle I can get a pointer to `CChar` from the video usecase without copying it first to RTS heap ? |
| 2024-01-16 18:18:19 +0100 | <[exa]> | yes if the FFI functions returns e.g. char*, you should be able to perfectly get that as `Ptr CChar` |
| 2024-01-16 18:18:35 +0100 | <[exa]> | and you can wrap that in a ForeignPtr interface if you want haskell to call the free() for you later |
| 2024-01-16 18:18:42 +0100 | <exarkun> | [exa]: want to swap nicks |
| 2024-01-16 18:18:57 +0100 | <[exa]> | exarkun: folks somehow don't [ |
| 2024-01-16 18:19:26 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-01-16 18:19:31 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 2024-01-16 18:20:03 +0100 | <exarkun> | I wonder if having punctuation in your given name is a predictor for recognizing punctuation in an online nick (I have some in mine) |
| 2024-01-16 18:20:39 +0100 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
| 2024-01-16 18:21:34 +0100 | <[exa]> | I can try with ě |
| 2024-01-16 18:22:15 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-01-16 18:26:13 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-16 18:38:26 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 18:38:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2024-01-16 18:41:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-16 18:43:14 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-16 18:46:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2024-01-16 18:51:20 +0100 | kuribas | (~user@ptr-17d51em9umi27plmrk9.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-01-16 18:52:20 +0100 | gaze_____ | gaze__ |
| 2024-01-16 18:52:38 +0100 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-01-16 18:53:04 +0100 | Pixi | (~Pixi@user/pixi) |
| 2024-01-16 18:54:12 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-16 18:55:05 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-16 19:00:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-16 19:08:39 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda8) |
| 2024-01-16 19:14:45 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-16 19:17:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-16 19:17:56 +0100 | euleritian | (~euleritia@dynamic-046-114-106-012.46.114.pool.telefonica.de) |
| 2024-01-16 19:22:23 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-16 19:32:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-01-16 19:35:06 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-16 19:37:51 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda8) (Quit: Where is it) |
| 2024-01-16 19:50:04 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2024-01-16 19:51:43 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-16 19:55:15 +0100 | euleritian | (~euleritia@dynamic-046-114-106-012.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-16 19:55:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-16 19:57:37 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 255 seconds) |
| 2024-01-16 19:58:32 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 20:01:01 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-01-16 20:01:22 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-01-16 20:04:31 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-16 20:16:04 +0100 | ^|{`-}_{ | (trebla@shell.vex.net) |
| 2024-01-16 20:16:37 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-16 20:16:47 +0100 | <^|{`-}_{> | My nick is only punctuations and no letters. What does that predict about me? >:) |
| 2024-01-16 20:16:57 +0100 | ^|{`-}_{ | (trebla@shell.vex.net) (Client Quit) |
| 2024-01-16 20:17:03 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-16 20:19:19 +0100 | <shapr> | You have irregular expressions? |
| 2024-01-16 20:19:32 +0100 | <glguy> | I was going to guess that they couldn't spell, but they left |
| 2024-01-16 20:19:33 +0100 | <monochrom> | haha |
| 2024-01-16 20:19:47 +0100 | <shapr> | it was monochrom all along! |
| 2024-01-16 20:19:55 +0100 | <glguy> | oh, yes |
| 2024-01-16 20:19:58 +0100 | <monochrom> | Yes it was me from another shell host. |
| 2024-01-16 20:20:10 +0100 | <mauke> | !- ^|{`-}_{ [trebla@shell.vex.net] has joined #haskell |
| 2024-01-16 20:20:14 +0100 | <mauke> | very subtle :-) |
| 2024-01-16 20:22:13 +0100 | <Hecate> | haha |
| 2024-01-16 20:26:13 +0100 | xdminsy | (~xdminsy@117.147.71.199) (Quit: Konversation terminated!) |
| 2024-01-16 20:27:10 +0100 | <mauke> | <kuribas> What I don't like about OO: all your definitions must be part of the class, and go in the same file <- only if your language doesn't let you spread classes across multiple files |
| 2024-01-16 20:28:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) (Remote host closed the connection) |
| 2024-01-16 20:28:19 +0100 | <monochrom> | Which ones let you spread a class across multiple files? |
| 2024-01-16 20:28:27 +0100 | <peutri> | common lisp |
| 2024-01-16 20:28:58 +0100 | <mauke> | C++ |
| 2024-01-16 20:29:01 +0100 | <mauke> | Perl |
| 2024-01-16 20:35:02 +0100 | <[exa]> | also anything that monkeypatches (pythons, rubys) |
| 2024-01-16 20:37:11 +0100 | <petrichor> | there's also inheritance, composition and other mechanisms for splitting up classes into smaller units |
| 2024-01-16 20:42:02 +0100 | <[exa]> | petrichor: just curious, how do you _compose_ classes? (except from inheriting 2, which is still kinda inheritance) |
| 2024-01-16 20:43:42 +0100 | <[exa]> | (I had this rant on OOP once that objects literally don't compose per se, the only "operation" you can do on objects is containing other stuff and looking like something simpler (via interfaces)) |
| 2024-01-16 20:48:30 +0100 | <kaol> | Objects have no laws. Utterly useless. |
| 2024-01-16 20:50:33 +0100 | <petrichor> | >_< |
| 2024-01-16 20:51:53 +0100 | <mauke> | "compose" usually means containing an object of another class |
| 2024-01-16 20:51:59 +0100 | <mauke> | and maybe delegating to it |
| 2024-01-16 20:52:38 +0100 | <petrichor> | ^ this (but mauke said it more clearly) |
| 2024-01-16 20:53:09 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-16 20:54:04 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-16 20:55:09 +0100 | <mauke> | some languages have roles/traits, which are like class fragments that can be "composed into" a class |
| 2024-01-16 20:55:15 +0100 | <johnw> | agreegation |
| 2024-01-16 20:55:18 +0100 | <johnw> | aggregation |
| 2024-01-16 20:57:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-16 21:07:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-16 21:08:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) |
| 2024-01-16 21:14:53 +0100 | AlexZenon | (~alzenon@94.233.241.143) (Ping timeout: 252 seconds) |
| 2024-01-16 21:19:56 +0100 | AlexZenon | (~alzenon@94.233.241.143) |
| 2024-01-16 21:24:07 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2024-01-16 21:26:17 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-01-16 21:28:30 +0100 | dmjio | (~user@2600:1700:80:4ec0:5139:22d9:7fb6:13fb) |
| 2024-01-16 21:28:34 +0100 | dmjio | dmj` |
| 2024-01-16 21:28:40 +0100 | dmjio | dmj`` |
| 2024-01-16 21:29:47 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-16 21:33:01 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) |
| 2024-01-16 21:33:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-16 21:36:39 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-16 21:39:31 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
| 2024-01-16 21:39:34 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-16 21:44:33 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 21:44:50 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-01-16 21:45:12 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-01-16 21:47:21 +0100 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) |
| 2024-01-16 21:47:44 +0100 | todi | (~todi@p4fd1a54c.dip0.t-ipconnect.de) |
| 2024-01-16 21:47:56 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 21:49:11 +0100 | todi | (~todi@p4fd1a54c.dip0.t-ipconnect.de) (Client Quit) |
| 2024-01-16 21:53:48 +0100 | todi | (~todi@p4fd1a54c.dip0.t-ipconnect.de) |
| 2024-01-16 21:55:19 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-16 21:55:35 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-01-16 21:57:52 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 21:58:18 +0100 | donnodk | (~donnodk@85.191.185.172) |
| 2024-01-16 22:04:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.1.2) |
| 2024-01-16 22:05:18 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-16 22:05:43 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 22:07:42 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-01-16 22:11:21 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-16 22:12:03 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-16 22:12:36 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-16 22:13:01 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-16 22:13:30 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 22:16:31 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-16 22:20:21 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-16 22:20:57 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 22:26:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-16 22:27:31 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2024-01-16 22:27:38 +0100 | <earthy> | monochrom: C# does, through extension methods |
| 2024-01-16 22:28:43 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-16 22:29:21 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 22:29:39 +0100 | <earthy> | Smalltalk obviously is the odd duck out, but it allows you to define class methods all over the place... but it's not really different files as suc |
| 2024-01-16 22:30:42 +0100 | beogrif | (~beogrif@066-065-097-119.res.spectrum.com) (Remote host closed the connection) |
| 2024-01-16 22:31:09 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
| 2024-01-16 22:37:06 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-16 22:39:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-16 22:40:08 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-01-16 22:40:33 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 256 seconds) |
| 2024-01-16 22:40:39 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 2024-01-16 22:41:09 +0100 | fansly | (~fansly@182.0.230.67) |
| 2024-01-16 22:41:33 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2024-01-16 22:42:04 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-16 22:42:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-16 22:43:16 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2024-01-16 22:43:16 +0100 | haritz | (~hrtz@user/haritz) |
| 2024-01-16 22:43:28 +0100 | noumenon | (~noumenon@2a01:799:ce0:9000:aa7e:eaff:fede:ff94) |
| 2024-01-16 22:46:23 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2024-01-16 22:46:32 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.1.2) |
| 2024-01-16 22:53:59 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-16 22:54:16 +0100 | FlyingFrogger | (~alex@83.144.133.84) |
| 2024-01-16 23:00:44 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-16 23:03:25 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-01-16 23:03:54 +0100 | <tinjamin> | hello |
| 2024-01-16 23:04:23 +0100 | <Axman6> | hello! |
| 2024-01-16 23:04:35 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-16 23:05:08 +0100 | <tinjamin> | im about to embark on the haskell journey using haskell from first principle and they suggested i hop on the irc so here i am lol |
| 2024-01-16 23:06:09 +0100 | <Axman6> | well welcome, feel free to ask questions when you get stuck |
| 2024-01-16 23:06:20 +0100 | <tinjamin> | will do o7 |
| 2024-01-16 23:08:53 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2024-01-16 23:09:04 +0100 | myme | (~myme@2a01:799:d60:e400:a6b6:bec4:8c06:a0eb) (Ping timeout: 246 seconds) |
| 2024-01-16 23:10:13 +0100 | myme | (~myme@2a01:799:d60:e400:d93e:1b14:4dda:4311) |
| 2024-01-16 23:10:22 +0100 | <c_wraith> | or even if you're not stuck and just are like "why?" :) |
| 2024-01-16 23:14:21 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-16 23:20:47 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
| 2024-01-16 23:33:34 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.1.2) |
| 2024-01-16 23:35:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-16 23:36:10 +0100 | nitrix | (~nitrix@user/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-16 23:36:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
| 2024-01-16 23:36:58 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2024-01-16 23:39:20 +0100 | FlyingFrogger | (~alex@83.144.133.84) (WeeChat 3.0) |
| 2024-01-16 23:39:40 +0100 | nitrix | (~nitrix@user/nitrix) (Remote host closed the connection) |
| 2024-01-16 23:40:10 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) (Ping timeout: 276 seconds) |
| 2024-01-16 23:40:31 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2024-01-16 23:42:07 +0100 | beogrif | (~beogrif@066-065-097-119.res.spectrum.com) |
| 2024-01-16 23:42:47 +0100 | <shapr> | @quote c_wraith |
| 2024-01-16 23:42:47 +0100 | <lambdabot> | c_wraith says: I said that? hm. |
| 2024-01-16 23:42:50 +0100 | <shapr> | haha |
| 2024-01-16 23:42:55 +0100 | <Axman6> | Yeah the "why" questions are often the most enlightening |
| 2024-01-16 23:42:58 +0100 | <shapr> | hello tinjamin, how you doin? |
| 2024-01-16 23:43:14 +0100 | <c_wraith> | I said that? huh. |
| 2024-01-16 23:43:21 +0100 | shapr | grins |
| 2024-01-16 23:43:36 +0100 | <shapr> | @remember c_wraith I said that? huh. |
| 2024-01-16 23:43:36 +0100 | <lambdabot> | It is forever etched in my memory. |
| 2024-01-16 23:43:47 +0100 | <shapr> | @quote Axman6 |
| 2024-01-16 23:43:48 +0100 | <lambdabot> | Axman6 says: -ddump-occur-anal <- another terrible name... |
| 2024-01-16 23:43:54 +0100 | <c_wraith> | I'm recursing! |
| 2024-01-16 23:43:56 +0100 | <shapr> | ooh, yup |
| 2024-01-16 23:43:58 +0100 | <shapr> | @quote Axman6 |
| 2024-01-16 23:43:58 +0100 | <lambdabot> | Axman6 says: {-# PRAGMA ThisShitNeedsMoarFast #-} |
| 2024-01-16 23:43:58 +0100 | <Axman6> | oh my! |
| 2024-01-16 23:44:00 +0100 | <shapr> | haha |
| 2024-01-16 23:44:11 +0100 | shapr | vents energy |
| 2024-01-16 23:44:16 +0100 | <shapr> | @quote earthy |
| 2024-01-16 23:44:16 +0100 | <lambdabot> | earthy says: the haskell standard prelude is ... a treasure trove. ;) but it does require breaking your mind and reassembling the pieces to unlock the trove |
| 2024-01-16 23:44:19 +0100 | <shapr> | ha |
| 2024-01-16 23:44:28 +0100 | <shapr> | @quote glguy |
| 2024-01-16 23:44:28 +0100 | <lambdabot> | glguy says: data structures are for civil engineers |
| 2024-01-16 23:44:36 +0100 | <shapr> | @quote johnw |
| 2024-01-16 23:44:36 +0100 | <lambdabot> | johnw says: they said at this year's Fibonnaci conference that it was as good as the last two combined |
| 2024-01-16 23:44:39 +0100 | <shapr> | hahah |
| 2024-01-16 23:44:47 +0100 | <shapr> | ok, I'll go back to reading about databases now |
| 2024-01-16 23:44:51 +0100 | <Axman6> | =) |
| 2024-01-16 23:48:37 +0100 | <Axman6> | I'm alwaqys surprised my old quotes are there, I always expected they'd disappear through changes of lambdabot keeping |
| 2024-01-16 23:49:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-16 23:50:35 +0100 | <mauke> | @quote mauke |
| 2024-01-16 23:50:35 +0100 | <lambdabot> | mauke says: order now and you'll also get True, False and ((), ()) for free! |
| 2024-01-16 23:50:50 +0100 | <shapr> | Last I checked, int-e is the keeper of lambdabot, and thus the keeper of the quotes |
| 2024-01-16 23:51:05 +0100 | <shapr> | abs () |
| 2024-01-16 23:51:10 +0100 | <shapr> | that's an absolute unit, right? |
| 2024-01-16 23:51:14 +0100 | <geekosaur> | right, but it's changed hands a few times. back in the day it was dons |
| 2024-01-16 23:51:18 +0100 | <shapr> | yeah, true |
| 2024-01-16 23:52:20 +0100 | <mauke> | @quote mauke fmap |
| 2024-01-16 23:52:20 +0100 | <lambdabot> | mauke says: I just added fmap until lambdabot stopped complaining |
| 2024-01-16 23:53:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-16 23:55:06 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-16 23:56:25 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-01-16 23:56:26 +0100 | fansly | (~fansly@182.0.230.67) (Read error: Connection reset by peer) |
| 2024-01-16 23:56:51 +0100 | fansly | (~fansly@182.0.244.23) |