Logs: freenode/#haskell
| 2021-03-10 23:55:32 | <solidus-river> | not a big problem for now since everythings on 8.10.4, but i'm not sure how smoothly ghc upgrades go or when it might be a problem and was trying to get ahead of it. :) |
| 2021-03-10 23:56:13 | <monochrom> | Axman6: The parentheses matter a lot. forall r. (Rational -> r) -> Tree r. That would be equiv to Tree Rational. |
| 2021-03-10 23:56:14 | <solidus-river> | recompiling hls for 8.10.4 (using stack) but it looks like one wrapper bin will be generated (although the others are versioned). maybe the wrapper targets the correct version if compiled? |
| 2021-03-10 23:56:29 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-10 23:56:46 | → | jack1909 joins (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) |
| 2021-03-10 23:57:46 | <Axman6> | I remember having tro go through those hopps in the past but haven't needed to since I started using ghcup to install HLS - in the past you'd do ./install 8.8.4 8.10.4 to build versions which matched GHCs and use the wrapper to choose the right one |
| 2021-03-10 23:59:41 | <solidus-river> | sounds like wrapper has a parameter i should be able to use then, didn't see anything with --help but digging more at the git docs. maybe it will be awesome and just choose the right bin based on the project version if one is available :) |
| 2021-03-11 00:00:10 | <Axman6> | the wrapper is supposed to just pick the correct thing for you |
| 2021-03-11 00:00:15 | <Axman6> | that's like it's entire point |
| 2021-03-11 00:03:25 | <solidus-river> | then the world makes sense ,,o.O,, |
| 2021-03-11 00:04:01 | <solidus-river> | it looks like it did just that too, this is slick. |
| 2021-03-11 00:08:13 | <monochrom> | Nice. |
| 2021-03-11 00:08:36 | → | Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 2021-03-11 00:12:52 | × | mayleesia quits (590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-11 00:15:19 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-11 00:15:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 00:15:50 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 00:17:23 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-11 00:17:42 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 00:18:08 | <Axman6> | Haskell tooling is getting so nice these days. the HLS peeps are doing such a great job |
| 2021-03-11 00:18:09 | <joebobjoe> | is there a tool that can infer a json schema from a json file? |
| 2021-03-11 00:18:17 | <Axman6> | yes! |
| 2021-03-11 00:18:22 | <joebobjoe> | really? |
| 2021-03-11 00:18:25 | <Axman6> | aeson-autotype |
| 2021-03-11 00:18:28 | <Axman6> | IIR |
| 2021-03-11 00:18:29 | <Axman6> | C |
| 2021-03-11 00:18:33 | <joebobjoe> | thanks! |
| 2021-03-11 00:19:02 | <Axman6> | not JSON Schema though, though I think there might be something for that too |
| 2021-03-11 00:19:17 | <Axman6> | https://hackage.haskell.org/package/json-autotype |
| 2021-03-11 00:19:32 | <joebobjoe> | thank you |
| 2021-03-11 00:20:15 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 00:20:36 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 00:20:45 | <slack1256> | Axman6: Any guide on how to integrate HLS on nixos at hand? |
| 2021-03-11 00:20:51 | <Axman6> | no |
| 2021-03-11 00:20:59 | <slack1256> | I am a veteran from the ghc-mod days... |
| 2021-03-11 00:21:04 | <Axman6> | I've never touched NixOS, sorry :) |
| 2021-03-11 00:21:33 | × | b3zi quits (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 00:21:46 | <Axman6> | This looks pretty useful: https://hackage.haskell.org/package/aeson-schemas not sure I've come across it before |
| 2021-03-11 00:21:47 | × | nighmi quits (~felix@port-92-196-49-206.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-03-11 00:23:22 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 00:23:23 | × | Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-03-11 00:23:28 | × | haritzondo quits (~hrtz@62.3.70.206) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in) |
| 2021-03-11 00:23:46 | → | haritz joins (~hrtz@62.3.70.206) |
| 2021-03-11 00:23:46 | × | haritz quits (~hrtz@62.3.70.206) (Changing host) |
| 2021-03-11 00:23:46 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-03-11 00:25:03 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-11 00:25:08 | × | Tesseraction_y quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 260 seconds) |
| 2021-03-11 00:25:39 | <joebobjoe> | is there a haskeller's alternative to the json processing tool jq? |
| 2021-03-11 00:25:46 | <joebobjoe> | sometimes I wish I had more power |
| 2021-03-11 00:26:00 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) |
| 2021-03-11 00:27:40 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 276 seconds) |
| 2021-03-11 00:27:55 | → | bennofs_ joins (~quassel@dslb-094-222-060-049.094.222.pools.vodafone-ip.de) |
| 2021-03-11 00:28:25 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-11 00:28:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Client Quit) |
| 2021-03-11 00:30:28 | → | b3z joins (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 00:30:30 | × | jdt quits (~jdt@208.85.233.130) (Ping timeout: 246 seconds) |
| 2021-03-11 00:31:42 | × | bennofs__ quits (~quassel@dslb-094-222-058-228.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-03-11 00:35:25 | → | jdt joins (~jdt@38.77.195.50) |
| 2021-03-11 00:39:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) |
| 2021-03-11 00:40:07 | <Axman6> | there's lens-aeson which gets you a long way |
| 2021-03-11 00:40:45 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ruipfsajaahduasm) |
| 2021-03-11 00:40:51 | <Axman6> | and the package I just posted gives you jq style accessors using quasiquotes |
| 2021-03-11 00:42:09 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 2021-03-11 00:42:38 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-11 00:42:56 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 00:46:14 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 2021-03-11 00:47:39 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-11 00:47:57 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-11 00:48:23 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 245 seconds) |
| 2021-03-11 00:48:29 | → | ajc_ joins (~ajc@69.231.232.79) |
| 2021-03-11 00:48:33 | × | b3z quits (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 00:51:02 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-11 00:51:08 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-03-11 00:54:55 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 00:57:48 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-11 00:59:33 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-11 01:02:09 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-11 01:02:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 01:03:02 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:4e2:5952:361b:951a) (Ping timeout: 264 seconds) |
| 2021-03-11 01:08:36 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 01:08:40 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:d07:73d7:6ea:cc71) |
| 2021-03-11 01:09:48 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 01:11:08 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-11 01:13:42 | → | b3z joins (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 01:20:44 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 01:20:44 | → | bergey`` joins (~user@107.181.19.30) |
| 2021-03-11 01:34:54 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 246 seconds) |
| 2021-03-11 01:35:08 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-11 01:37:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-11 01:37:09 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds) |
| 2021-03-11 01:39:44 | → | drbean joins (~drbean@TC210-63-209-161.static.apol.com.tw) |
| 2021-03-11 01:41:21 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-11 01:42:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 01:45:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-11 01:50:03 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-11 01:50:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3150:8d29:fcc4:e9e5) |
| 2021-03-11 01:51:44 | → | denisse_ joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-03-11 01:52:13 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 2021-03-11 01:53:12 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 2021-03-11 01:53:34 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-gbfjzprbmmawtnrl) (Quit: Connection closed for inactivity) |
All times are in UTC.