Logs: freenode/#haskell
| 2020-10-19 15:20:09 | → | hyiltiz joins (~quassel@82.118.227.47) |
| 2020-10-19 15:20:09 | × | hyiltiz quits (~quassel@82.118.227.47) (Changing host) |
| 2020-10-19 15:20:09 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2020-10-19 15:20:17 | → | coeus joins (~coeus@p200300d027141600339fa72fa0100e7e.dip0.t-ipconnect.de) |
| 2020-10-19 15:20:22 | <maerwald> | Last time I printed code was when trolling a prof and he liked it. |
| 2020-10-19 15:20:22 | × | thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-19 15:20:27 | hackage | quickjs-hs 0.1.2.3 - Wrapper for the QuickJS Javascript Engine https://hackage.haskell.org/package/quickjs-hs-0.1.2.3 (goodlyrottenapple) |
| 2020-10-19 15:21:32 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2020-10-19 15:25:39 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-19 15:25:43 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-19 15:26:54 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
| 2020-10-19 15:27:02 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-19 15:29:57 | → | xiinotulp joins (~q@ppp-27-55-89-163.revip3.asianet.co.th) |
| 2020-10-19 15:33:14 | × | nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-10-19 15:33:22 | × | plutoniix quits (~q@ppp-223-24-161-236.revip6.asianet.co.th) (Ping timeout: 246 seconds) |
| 2020-10-19 15:36:16 | → | alp joins (~alp@2a01:e0a:58b:4920:4588:d58a:a3b6:6aad) |
| 2020-10-19 15:38:02 | <monochrom> | The nuanced real problem is mixing spaces and tabs. |
| 2020-10-19 15:39:08 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-19 15:39:19 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-19 15:39:19 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-19 15:39:19 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-19 15:41:09 | × | codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 2020-10-19 15:41:53 | → | codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-19 15:47:36 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-19 15:47:48 | → | kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-19 15:49:42 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-19 15:50:50 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-19 15:51:29 | × | conal quits (~conal@66.115.176.210) (Quit: Computer has gone to sleep.) |
| 2020-10-19 15:52:59 | × | kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 258 seconds) |
| 2020-10-19 15:53:28 | × | atraii quits (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-19 15:54:19 | × | danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving) |
| 2020-10-19 15:55:50 | <maerwald> | yeah, programmers fight over all sorts of non-sense, but everyone agrees that consistency is holy |
| 2020-10-19 15:56:23 | → | avdb joins (~avdb@ip-81-11-153-13.dsl.scarlet.be) |
| 2020-10-19 15:57:51 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-19 15:57:51 | → | head_victim joins (~head_vict@178.162.209.171) |
| 2020-10-19 15:58:20 | <maerwald> | Is there a good alternative to c2hs? The parses seems to not parse all of C correctly |
| 2020-10-19 15:58:26 | <maerwald> | It's quite tiresome |
| 2020-10-19 15:58:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-19 15:58:46 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-19 15:58:56 | <merijn> | maerwald: c2hs isn't intended to be fully automated |
| 2020-10-19 15:59:02 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-10-19 15:59:05 | <maerwald> | some issues on 32bit headers, some issues on windows |
| 2020-10-19 15:59:18 | <merijn> | Or am I thinking of c2hsc? |
| 2020-10-19 15:59:20 | <merijn> | I forget |
| 2020-10-19 15:59:32 | <maerwald> | sounds similiar :D |
| 2020-10-19 16:00:02 | <maerwald> | https://github.com/vmchale/libarchive/issues/17 and https://github.com/vmchale/libarchive/issues/12 |
| 2020-10-19 16:00:03 | <tdammers> | the proper way is to set :tabstop to something like 3, 5 or 7; now any incorrectly indented file will look bad, and you will fix it |
| 2020-10-19 16:00:11 | <tdammers> | instead of perpetuating the badness |
| 2020-10-19 16:00:41 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-19 16:01:06 | <monochrom> | People will "fix" it with spaces after the tabs. |
| 2020-10-19 16:01:07 | <merijn> | maerwald: Which headers are you parsing with it? |
| 2020-10-19 16:01:17 | → | atraii joins (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) |
| 2020-10-19 16:01:31 | → | geekosaur joins (ac3a8c0b@172.58.140.11) |
| 2020-10-19 16:02:32 | <maerwald> | merijn: C:/ProgramData/chocolatey/lib/ghc/tools/ghc-8.10.2/mingw/x86_64-w64-mingw32/include/psdk_inc/intrin-impl. |
| 2020-10-19 16:02:53 | <maerwald> | it's in the bug reports |
| 2020-10-19 16:03:16 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-19 16:03:52 | × | knupfer quits (~Thunderbi@i59F7FF86.versanet.de) (Quit: knupfer) |
| 2020-10-19 16:05:06 | × | pjb quits (~t@2a01cb04063ec50040327e18e003ea94.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2020-10-19 16:05:09 | → | knupfer joins (~Thunderbi@200116b82c45070020d19eb0cff5f28b.dip.versatel-1u1.de) |
| 2020-10-19 16:06:31 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-10-19 16:06:57 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-19 16:07:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-19 16:08:15 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-19 16:08:23 | <merijn> | maerwald: There error is correct, though |
| 2020-10-19 16:08:33 | <merijn> | It's, in fact, no legal C |
| 2020-10-19 16:08:39 | <merijn> | At least, not C11 |
| 2020-10-19 16:09:42 | <merijn> | alignment specifiers aren't valid inside structs, afaict |
| 2020-10-19 16:11:06 | <merijn> | Probably not why c2hs errors out, but still ;) |
| 2020-10-19 16:11:20 | <merijn> | It actually seems double illegal |
| 2020-10-19 16:11:29 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-10-19 16:11:35 | × | knupfer quits (~Thunderbi@200116b82c45070020d19eb0cff5f28b.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-10-19 16:11:38 | <merijn> | Since you can't have _Alignas inside struct definitions and it's not allowed inside typedefs either :p |
| 2020-10-19 16:11:43 | → | knupfer joins (~Thunderbi@200116b82c45070020d19eb0cff5f28b.dip.versatel-1u1.de) |
| 2020-10-19 16:12:01 | × | knupfer quits (~Thunderbi@200116b82c45070020d19eb0cff5f28b.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-19 16:12:12 | → | knupfer joins (~Thunderbi@200116b82c450700b04e0fad57a920a0.dip.versatel-1u1.de) |
| 2020-10-19 16:13:17 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-10-19 16:16:25 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-goqmfcjbcgptzitc) |
| 2020-10-19 16:16:44 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-19 16:16:45 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-19 16:16:45 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-19 16:17:05 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 2020-10-19 16:17:37 | → | fendor joins (~fendor@178.115.131.152.wireless.dyn.drei.com) |
| 2020-10-19 16:18:08 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 2020-10-19 16:18:36 | <maerwald> | well, like I care :p |
| 2020-10-19 16:18:42 | <maerwald> | I just want it to build |
| 2020-10-19 16:18:50 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-19 16:19:19 | <maerwald> | not fixing old windows headers |
| 2020-10-19 16:19:42 | <maerwald> | where do you send a PR even... |
| 2020-10-19 16:20:59 | <maerwald> | and then end up on an old gitlab instance where you get a response 2 years later, someone politely asking if that problem still exsits |
| 2020-10-19 16:23:08 | → | isovector1 joins (~isovector@172.103.216.166) |
| 2020-10-19 16:23:23 | → | karanlikmadde joins (~karanlikm@2a01:c22:a46a:b400:3c0d:995b:be0c:192) |
| 2020-10-19 16:29:05 | <maerwald> | parser should just be as permissive as possible |
| 2020-10-19 16:29:23 | <geekosaur> | with C that's asking for trouble |
| 2020-10-19 16:33:39 | × | avdb quits (~avdb@ip-81-11-153-13.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-10-19 16:34:12 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-19 16:34:16 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 246 seconds) |
| 2020-10-19 16:34:24 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 2020-10-19 16:34:47 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2020-10-19 16:34:47 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2020-10-19 16:35:28 | × | knupfer quits (~Thunderbi@200116b82c450700b04e0fad57a920a0.dip.versatel-1u1.de) (Quit: knupfer) |
All times are in UTC.