Logs: freenode/#haskell
| 2020-10-04 14:36:05 | → | elliott_ joins (~elliott_@pool-108-45-154-71.washdc.fios.verizon.net) |
| 2020-10-04 14:39:16 | → | thir joins (~thir@p200300f27f0fc6006d5b5f66c58af271.dip0.t-ipconnect.de) |
| 2020-10-04 14:39:57 | → | jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) |
| 2020-10-04 14:42:10 | × | notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection) |
| 2020-10-04 14:42:52 | → | notzmv joins (~user@unaffiliated/zmv) |
| 2020-10-04 14:45:26 | × | notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection) |
| 2020-10-04 14:46:17 | → | notzmv joins (~user@unaffiliated/zmv) |
| 2020-10-04 14:47:37 | × | elliott_ quits (~elliott_@pool-108-45-154-71.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-10-04 14:49:16 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:190b:21b1:e82d:dbc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-04 14:49:34 | <tomsmeding> | jollygood2: see the last part of the documentation: https://hackage.haskell.org/package/base-4.14.0.0/docs/Text-Printf.html#v:printf |
| 2020-10-04 14:50:53 | × | plutoniix quits (~q@node-uib.pool-125-24.dynamic.totinternet.net) (Ping timeout: 260 seconds) |
| 2020-10-04 14:51:47 | × | Franciman quits (~francesco@host-212-171-42-250.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 2020-10-04 14:53:44 | <jollygood2> | tomsmeding ok. I like C's behavior better, but it is what it is |
| 2020-10-04 14:54:06 | × | thir quits (~thir@p200300f27f0fc6006d5b5f66c58af271.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-04 14:54:21 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:190b:21b1:e82d:dbc9) |
| 2020-10-04 14:54:56 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2020-10-04 14:56:18 | → | jchia1 joins (~jchia@58.32.34.80) |
| 2020-10-04 14:56:38 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-04 14:56:47 | → | jchia_1 joins (~jchia@58.32.37.149) |
| 2020-10-04 14:56:54 | → | jchia__1 joins (~jchia@58.32.37.149) |
| 2020-10-04 14:56:55 | × | jchia quits (~jchia@58.32.37.1) (Ping timeout: 244 seconds) |
| 2020-10-04 14:57:10 | × | jchia_ quits (~jchia@58.32.37.220) (Read error: Connection reset by peer) |
| 2020-10-04 14:57:28 | × | jchia__ quits (~jchia@58.32.37.220) (Ping timeout: 265 seconds) |
| 2020-10-04 14:57:58 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:693b:1e64:c063:cc27) |
| 2020-10-04 15:00:02 | × | Maijin quits (~Maijin@84.39.116.180) () |
| 2020-10-04 15:00:36 | × | jchia1 quits (~jchia@58.32.34.80) (Read error: Connection reset by peer) |
| 2020-10-04 15:02:16 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection) |
| 2020-10-04 15:02:39 | → | jchia__ joins (~jchia@58.32.33.217) |
| 2020-10-04 15:03:25 | × | jchia__1 quits (~jchia@58.32.37.149) (Ping timeout: 240 seconds) |
| 2020-10-04 15:03:28 | × | jchia_1 quits (~jchia@58.32.37.149) (Ping timeout: 258 seconds) |
| 2020-10-04 15:04:55 | <maerwald> | "I like C's behavior better" ...so as long as you don't pass user input into it :p |
| 2020-10-04 15:05:28 | → | plutoniix joins (~q@ppp-27-55-78-20.revip3.asianet.co.th) |
| 2020-10-04 15:06:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-04 15:07:25 | × | knupfer quits (~Thunderbi@200116b82c6778009150ae4589703a3d.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-04 15:07:38 | → | knupfer joins (~Thunderbi@200116b82c677800151afd79b449efac.dip.versatel-1u1.de) |
| 2020-10-04 15:08:31 | × | plutoniix quits (~q@ppp-27-55-78-20.revip3.asianet.co.th) (Client Quit) |
| 2020-10-04 15:08:43 | <tomsmeding> | maerwald: that's not really what the question was about ;) |
| 2020-10-04 15:08:49 | → | jaj[m] joins (jajjoachim@gateway/shell/matrix.org/x-uayrvcrqbmwzsqhw) |
| 2020-10-04 15:09:23 | <maerwald> | I wasn't answering the question :) |
| 2020-10-04 15:10:14 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-04 15:10:35 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-04 15:12:50 | → | jchia_ joins (~jchia@45.32.62.73) |
| 2020-10-04 15:13:17 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 2020-10-04 15:13:17 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 2020-10-04 15:13:17 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2020-10-04 15:14:06 | → | fendor joins (~fendor@178.165.130.169.wireless.dyn.drei.com) |
| 2020-10-04 15:14:25 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-04 15:14:25 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2020-10-04 15:16:09 | × | jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection) |
| 2020-10-04 15:16:31 | → | bloodstalker joins (~bloodstal@46.166.187.154) |
| 2020-10-04 15:17:05 | → | jchia_ joins (~jchia@58.32.33.217) |
| 2020-10-04 15:17:46 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-04 15:24:09 | → | jchia joins (~jchia@58.32.34.52) |
| 2020-10-04 15:25:04 | × | jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Ping timeout: 246 seconds) |
| 2020-10-04 15:26:23 | → | xff0x joins (~fox@2001:1a81:52c9:f600:1d0d:f15:77e4:d5da) |
| 2020-10-04 15:26:37 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2020-10-04 15:32:27 | <jollygood2> | %10s flag in printf alignts to right, %-10s to the left, but is there a way to center the text? |
| 2020-10-04 15:33:08 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-04 15:33:15 | × | LKoen quits (~LKoen@81.255.219.130) (Remote host closed the connection) |
| 2020-10-04 15:33:18 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-04 15:33:19 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-04 15:33:19 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-04 15:33:39 | <geekosaur> | there is not, neither in haskell nor C printf |
| 2020-10-04 15:33:57 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:190b:21b1:e82d:dbc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-04 15:35:25 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 240 seconds) |
| 2020-10-04 15:37:58 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-04 15:38:05 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-10-04 15:40:51 | × | notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection) |
| 2020-10-04 15:41:19 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-10-04 15:41:36 | → | notzmv joins (~user@unaffiliated/zmv) |
| 2020-10-04 15:42:20 | × | Gerula quits (~Gerula@unaffiliated/gerula) (Quit: Leaving) |
| 2020-10-04 15:42:31 | → | elliott__ joins (~elliott@pool-108-45-154-71.washdc.fios.verizon.net) |
| 2020-10-04 15:44:56 | → | todda7 joins (~torstein@athedsl-4367507.home.otenet.gr) |
| 2020-10-04 15:45:21 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-04 15:45:45 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-10-04 15:45:49 | × | mav1 quits (~mav@p5b02806a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2020-10-04 15:48:42 | × | jchia__ quits (~jchia@58.32.33.217) (Read error: Connection reset by peer) |
| 2020-10-04 15:48:42 | × | jchia_ quits (~jchia@58.32.33.217) (Read error: Connection reset by peer) |
| 2020-10-04 15:49:04 | × | jchia quits (~jchia@58.32.34.52) (Read error: Connection reset by peer) |
| 2020-10-04 15:49:39 | × | notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection) |
| 2020-10-04 15:49:50 | → | jchia_ joins (~jchia@58.32.35.239) |
| 2020-10-04 15:50:18 | → | notzmv joins (~user@unaffiliated/zmv) |
| 2020-10-04 15:51:45 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-10-04 15:51:53 | × | ekleog quits (~ii@prologin/ekleog) (Quit: back soon) |
| 2020-10-04 15:53:49 | → | ekleog joins (~ii@prologin/ekleog) |
| 2020-10-04 15:54:56 | → | jchia__ joins (~jchia@58.32.35.239) |
| 2020-10-04 15:55:29 | <jollygood2> | @hoogle Show a => IO a |
| 2020-10-04 15:55:30 | <lambdabot> | System.Exit exitFailure :: IO a |
| 2020-10-04 15:55:30 | <lambdabot> | System.Exit exitSuccess :: IO a |
| 2020-10-04 15:55:30 | <lambdabot> | GHC.IO.Handle.Internals ioe_closedHandle :: IO a |
| 2020-10-04 15:55:44 | <jollygood2> | what function is that? reading a line from stdin, and then trying to read it with read |
| 2020-10-04 15:55:49 | <jollygood2> | @hoogle Read a => IO a |
| 2020-10-04 15:55:50 | <lambdabot> | Prelude readLn :: Read a => IO a |
| 2020-10-04 15:55:50 | <lambdabot> | System.IO readLn :: Read a => IO a |
| 2020-10-04 15:55:50 | <lambdabot> | Test.Hspec.Discover readLn :: Read a => IO a |
| 2020-10-04 15:55:55 | <jollygood2> | nm ;) |
| 2020-10-04 15:56:03 | → | [RuCTFE]tswr joins (~RuCTFE]ts@195.140.213.38) |
| 2020-10-04 15:57:20 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-10-04 15:57:26 | → | jchia joins (~jchia@58.32.32.136) |
| 2020-10-04 15:57:29 | <geekosaur> | the Show version is `print', fwiw |
All times are in UTC.