Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 193 194 195 196 197 198 199 200 201 202 203 .. 5022
— 502,152 events total
2020-09-25 01:39:47 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-25 01:47:33 × archaephyrryx quits (~archaephy@straasha.imrryr.org) ()
2020-09-25 01:47:42 → crobbins joins (~crobbins@2601:2c1:380:ec40:edc8:4f69:4049:36c6)
2020-09-25 01:52:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 01:53:59 <Axman6> sm[m]: I think you're actually asking for a Maybe (Maybe Int) by using option
2020-09-25 01:54:55 <Axman6> I'm surprised you'd have problems with +RTS ... -RTS, those args should never get to your app. are you closing them with -RTS?
2020-09-25 01:56:09 <Axman6> sm[m]: basicazlly, I think what you need to do to fix the Maybe thing is not use value Nothing, just remove that and wrap the parser for that arg in optional (there's probably a better way, looking now)
2020-09-25 01:56:26 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-25 01:56:28 <sm[m]> Axman6: thanks, you are helping
2020-09-25 01:56:35 <Axman6> using value means that parser will never fail
2020-09-25 01:57:20 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-25 01:57:36 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 272 seconds)
2020-09-25 01:57:49 <Axman6> uh, that isn't true, it'll ail is it can't parse the type you want
2020-09-25 01:58:08 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-25 01:58:27 × xff0x quits (~fox@2001:1a81:5294:e900:d5f1:7d15:a4ef:52f8) (Ping timeout: 260 seconds)
2020-09-25 01:59:27 <Axman6> sm[m]: https://github.com/data61/Mirza/blob/07ac1dc96d158e316cde0d7195718599095bebc9/projects/trails/src/Mirza/Trails/Main.hs#L212 shows how to parse Maybe FilePAth
2020-09-25 01:59:57 → xff0x joins (~fox@2001:1a81:52cd:2700:30eb:9359:b5d6:26a0)
2020-09-25 02:00:17 <Axman6> which is a FilePath with a Boston accent
2020-09-25 02:00:27 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-09-25 02:00:53 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-09-25 02:03:25 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-25 02:03:41 <sm[m]> thanks! optional was the trick, https://paste.tomsmeding.com/OEBwVvKS#file-3
2020-09-25 02:03:42 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-25 02:04:12 <Axman6> there's still more going on there than needed, one sec
2020-09-25 02:04:13 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-25 02:04:33 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-25 02:04:40 <sm[m]> years later, optparse still makes me feel stupid
2020-09-25 02:05:01 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-25 02:05:05 <sm[m]> could better docs help ? I'm not sure
2020-09-25 02:05:07 <Axman6> https://github.com/data61/Mirza/blob/07ac1dc96d158e316cde0d7195718599095bebc9/projects/trails/src/Mirza/Trails/Main.hs#L186 parses an Int using Read, so I thinkyou want optional (option auto (...))
2020-09-25 02:05:40 <sm[m]> ah much better
2020-09-25 02:05:53 <Axman6> no need for the readMay stuff
2020-09-25 02:06:40 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-25 02:07:16 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 02:08:01 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 02:08:14 → saiba_suika joins (~saiba_sui@cpe-72-231-228-139.buffalo.res.rr.com)
2020-09-25 02:09:31 <sm[m]> and I see +RTS works fine when compiled, but GHCI messes up command line parsing causing optparse to see it
2020-09-25 02:10:23 × alexm_ quits (~alexm_@161.8.233.138) (Remote host closed the connection)
2020-09-25 02:10:37 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 02:10:40 × totallynotnate quits (~nate@125.161.70.37) (Quit: WeeChat 2.9)
2020-09-25 02:11:28 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2020-09-25 02:12:19 <Axman6> yeah you can't pass RTS args like that, since the RTS is already running, it's GHC's RTS
2020-09-25 02:12:24 <Axman6> GHCi's*
2020-09-25 02:12:54 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-25 02:12:54 <Axman6> if you need specific RTS args, then you'll need to start GHCi using them (probably)
2020-09-25 02:15:21 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-25 02:16:24 → toorevitimirp joins (~tooreviti@117.182.182.201)
2020-09-25 02:17:31 → totallynotnate joins (~nate@125.161.70.37)
2020-09-25 02:21:58 <sm[m]> oh, aha, is that it. Thanks again!
2020-09-25 02:26:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 02:28:49 lagothrix is now known as Guest96911
2020-09-25 02:28:49 × Guest96911 quits (~lagothrix@unaffiliated/lagothrix) (Killed (tepper.freenode.net (Nickname regained by services)))
2020-09-25 02:28:55 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-09-25 02:29:41 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:b03d:853a:ebea:53e3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-25 02:32:18 → mpereira joins (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64)
2020-09-25 02:33:16 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-09-25 02:33:20 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-25 02:33:57 hackage aeson-schemas 1.3.0 - Easily consume JSON data on-demand with type-safety https://hackage.haskell.org/package/aeson-schemas-1.3.0 (leapyear)
2020-09-25 02:34:14 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-25 02:36:01 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d92:3fe8:d989:c32a)
2020-09-25 02:37:21 → drbean joins (~drbean@TC210-63-209-146.static.apol.com.tw)
2020-09-25 02:37:47 → sand_dull joins (~theuser@62.182.99.37)
2020-09-25 02:38:11 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 240 seconds)
2020-09-25 02:38:39 × mpereira quits (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64) (Ping timeout: 272 seconds)
2020-09-25 02:39:17 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-09-25 02:40:19 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-09-25 02:42:15 → Tops21 joins (~Tobias@dyndsl-095-033-089-153.ewe-ip-backbone.de)
2020-09-25 02:42:16 × alexm_ quits (~alexm_@161.8.233.138) (Remote host closed the connection)
2020-09-25 02:42:17 → elliott__ joins (~elliott@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-25 02:42:28 × Tops2 quits (~Tobias@dyndsl-095-033-092-020.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-09-25 02:44:25 × crobbins quits (~crobbins@2601:2c1:380:ec40:edc8:4f69:4049:36c6) (Remote host closed the connection)
2020-09-25 02:44:46 → shailangsa joins (~shailangs@host86-186-191-89.range86-186.btcentralplus.com)
2020-09-25 02:45:04 → crobbins joins (~crobbins@2601:2c1:380:ec40:80f3:e48e:7123:1353)
2020-09-25 02:48:57 × andi- quits (~andi-@NixOS/user/andi-) (Ping timeout: 244 seconds)
2020-09-25 02:49:37 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-25 02:49:41 × crobbins quits (~crobbins@2601:2c1:380:ec40:80f3:e48e:7123:1353) (Remote host closed the connection)
2020-09-25 02:50:18 → crobbins joins (~crobbins@2601:2c1:380:ec40:80f3:e48e:7123:1353)
2020-09-25 02:50:54 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-25 02:50:57 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-09-25 02:51:33 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-25 02:52:06 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-25 02:53:18 × smitop quits (uid328768@gateway/web/irccloud.com/x-hrleshkhwzzeilqw) (Quit: Connection closed for inactivity)
2020-09-25 02:53:22 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-09-25 02:53:23 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-25 02:55:02 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-25 02:55:25 × theDon quits (~td@muedsl-82-207-238-238.citykom.de) (Ping timeout: 264 seconds)
2020-09-25 02:55:44 × cosimone quits (~cosimone@5.171.26.126) (Quit: Quit.)
2020-09-25 02:55:53 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-25 02:56:53 → theDon joins (~td@94.134.91.145)
2020-09-25 02:57:20 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2020-09-25 02:57:21 Lord_of_Life_ is now known as Lord_of_Life
2020-09-25 02:58:24 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-09-25 02:59:05 × asan quits (~yan4138@58.37.8.8) (Ping timeout: 240 seconds)
2020-09-25 02:59:19 → asan joins (~yan4138@180.164.96.158)
2020-09-25 03:00:02 × machty quits (~machty@89.47.234.28) ()
2020-09-25 03:00:16 → thiross joins (~user@161.129.40.8)
2020-09-25 03:00:18 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-25 03:00:36 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 03:01:36 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-cqejdnrmfbrsuxpt)
2020-09-25 03:02:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 193 194 195 196 197 198 199 200 201 202 203 .. 5022

All times are in UTC.