Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 647 648 649 650 651 652 653 654 655 656 657 .. 5022
— 502,152 events total
2020-10-15 09:06:14 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-15 09:08:07 <phadej> i don't remember
2020-10-15 09:08:38 → bitmagie joins (~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 09:09:12 × daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection)
2020-10-15 09:09:26 <phadej> looks like https://github.com/well-typed/optics/issues/321 no
2020-10-15 09:10:58 → ericsagnes joins (~ericsagne@2405:6580:0:5100:548b:75ef:7d3b:2917)
2020-10-15 09:12:21 → daGrevis joins (~daGrevis@unaffiliated/dagrevis)
2020-10-15 09:13:40 × xff0x quits (~fox@217.110.198.158) (Ping timeout: 246 seconds)
2020-10-15 09:15:43 → xff0x joins (~fox@217.110.198.158)
2020-10-15 09:18:34 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a)
2020-10-15 09:21:19 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-10-15 09:21:19 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-15 09:21:19 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-10-15 09:23:23 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-15 09:23:23 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 09:23:23 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-15 09:24:03 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-15 09:25:29 → rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-10-15 09:30:04 × iomonad quits (~iomonad@unaffiliated/iomonad) (Ping timeout: 258 seconds)
2020-10-15 09:31:31 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-15 09:33:40 → iomonad joins (~iomonad@unaffiliated/iomonad)
2020-10-15 09:34:19 ← iomonad parts (~iomonad@unaffiliated/iomonad) ()
2020-10-15 09:34:45 → iomonad joins (~iomonad@unaffiliated/iomonad)
2020-10-15 09:35:18 ← iomonad parts (~iomonad@unaffiliated/iomonad) ()
2020-10-15 09:36:49 → haasn joins (~nand@mpv/developer/haasn)
2020-10-15 09:38:58 × da39a3ee5e6b4b0d quits (~textual@67.23.55.162) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 09:40:25 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-10-15 09:41:27 → chris joins (~chris@81.96.113.213)
2020-10-15 09:41:51 chris is now known as Guest93680
2020-10-15 09:45:05 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-15 09:46:48 → emmanuel_erc joins (~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 09:47:43 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 09:48:28 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-15 09:50:55 × emmanuel_erc quits (~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1) (Ping timeout: 244 seconds)
2020-10-15 09:51:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-15 09:53:57 <fendor> I want multiple modules per file :(
2020-10-15 09:54:39 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-15 09:55:05 → Alleria joins (~AllahuAkb@mskresolve-a.mskcc.org)
2020-10-15 09:55:25 × taurux quits (~taurux@net-188-152-14-176.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-15 09:55:29 Alleria is now known as Guest72657
2020-10-15 09:55:42 → BjarniRunar1 joins (~BjarniRun@185.163.110.116)
2020-10-15 09:56:05 × alp quits (~alp@88.126.45.36) (Ping timeout: 240 seconds)
2020-10-15 09:56:05 → ulidtko joins (~ulidtko@193.111.48.79)
2020-10-15 09:56:44 <ulidtko> hi all
2020-10-15 09:56:47 <ulidtko> cabal question :/
2020-10-15 09:57:04 <Zetagon> hello there!
2020-10-15 09:57:15 <ulidtko> I'm setting executable-stripping: True -- but the built binaries are still with debuginfo
2020-10-15 09:57:22 <ulidtko> Cabal 2.4.0.1
2020-10-15 09:57:34 <ulidtko> > foobar/dist-newstyle/build/x86_64-linux/ghc-8.6.5/foobar-0.1.0.0/x/foobar/build/foobar/foobar: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-musl-x86_64.so.1, with debug_info, not stripped
2020-10-15 09:57:36 → taurux joins (~taurux@net-93-144-64-237.cust.dsl.teletu.it)
2020-10-15 09:57:37 <lambdabot> <hint>:1:121: error: <hint>:1:121: error: parse error on input ‘,’
2020-10-15 09:58:18 <ulidtko> I've checked that the strip program is there (it's a docker container)
2020-10-15 09:58:27 → zacts joins (~zacts@dragora/developer/zacts)
2020-10-15 09:58:34 → shailangsa joins (~shailangs@host86-186-133-58.range86-186.btcentralplus.com)
2020-10-15 10:00:13 <ulidtko> even with explicit cmdline flag, i.e. cabal new-build --executable-stripping -- the built executable is non-stripped
2020-10-15 10:01:22 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-10-15 10:02:37 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-10-15 10:02:53 <ulidtko> here, quick demo https://asciinema.org/a/365563?speed=2
2020-10-15 10:04:28 × daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection)
2020-10-15 10:05:28 × Guest93680 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 10:05:55 → daGrevis joins (~daGrevis@unaffiliated/dagrevis)
2020-10-15 10:07:47 → acidjnk_new joins (~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de)
2020-10-15 10:08:33 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 10:08:45 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-15 10:09:02 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-15 10:09:27 <ulidtko> ahhhhh I'm dumb, sorry never mind
2020-10-15 10:09:48 <ulidtko> should've read the docs more carefully
2020-10-15 10:10:05 <ulidtko> - When installing binary executable programs, run the strip program on the binary.
2020-10-15 10:11:25 <[exa]> stripping is usually done by the system install, see `man 1 install`
2020-10-15 10:11:47 <[exa]> (for various fun reasons)
2020-10-15 10:11:53 <ulidtko> yeah, the doc says *when installing* which I missed
2020-10-15 10:12:33 <ulidtko> now I wonder how that will work with Stack's concept of "installing"
2020-10-15 10:13:02 → knupfer1 joins (~Thunderbi@mue-88-130-61-082.dsl.tropolys.de)
2020-10-15 10:13:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-15 10:13:37 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 10:13:38 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 10:13:38 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 10:13:40 <[exa]> not sure, but brace for surprises :]
2020-10-15 10:13:59 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-15 10:14:18 <ulidtko> hah, it's a boring day when computers don't surprise me :}
2020-10-15 10:15:14 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-15 10:15:57 hackage hlint 3.2.1 - Source code suggestions https://hackage.haskell.org/package/hlint-3.2.1 (NeilMitchell)
2020-10-15 10:16:29 <[exa]> you know there are nice surprises with lots of added education value, and then the other kind... :D
2020-10-15 10:16:40 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds)
2020-10-15 10:17:47 × Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-xjevhnrltftutzdj) (Ping timeout: 240 seconds)
2020-10-15 10:17:47 × xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-jrprcpcmxxiihrwy) (Ping timeout: 240 seconds)
2020-10-15 10:18:17 → chris joins (~chris@81.96.113.213)
2020-10-15 10:18:40 chris is now known as Guest24584
2020-10-15 10:19:45 → alp joins (~alp@2a01:e0a:58b:4920:7568:f452:5628:f3c5)
2020-10-15 10:20:21 → Tops2 joins (~Tobias@dyndsl-095-033-092-130.ewe-ip-backbone.de)
2020-10-15 10:22:45 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Read error: Connection reset by peer)
2020-10-15 10:27:06 × oxide quits (~lambda@unaffiliated/mclaren) (Quit: oxide)
2020-10-15 10:27:22 → oxide joins (~lambda@unaffiliated/mclaren)
2020-10-15 10:29:09 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 10:33:24 → perdent joins (~blah@101.175.98.122)
2020-10-15 10:33:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-15 10:35:52 × ggVGc quits (~ggVGc@unaffiliated/walt) (Ping timeout: 244 seconds)
2020-10-15 10:39:51 → ggVGc joins (~ggVGc@a.lowtech.earth)
2020-10-15 10:40:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 10:48:07 × acidjnk_new quits (~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 647 648 649 650 651 652 653 654 655 656 657 .. 5022

All times are in UTC.