Logs: freenode/#haskell
| 2021-03-02 02:14:22 | → | grumble joins (~Thunderbi@freenode/staff/grumble) |
| 2021-03-02 02:14:23 | → | PyroLagus joins (PyroLagus@i.have.ipv6.on.coding4coffee.org) |
| 2021-03-02 02:14:37 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-02 02:16:36 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-03-02 02:16:50 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:4da:5f51:727e:1977) (Ping timeout: 264 seconds) |
| 2021-03-02 02:17:20 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:f9b2:3b8:41f9:5c0d) |
| 2021-03-02 02:17:33 | <perrier-jouet> | stack install happstack-server http://ix.io/2RmW |
| 2021-03-02 02:17:44 | → | raid joins (macbookpro@irc-1.coding4.coffee) |
| 2021-03-02 02:19:03 | <ezzieyguywuf> | hah, I've been chasing my tail |
| 2021-03-02 02:19:13 | <ezzieyguywuf> | I thought I needed ghc 9.0.1 to try cabal-3.4.0.0 |
| 2021-03-02 02:19:22 | <ezzieyguywuf> | or rather, cabal-install-3.4.0.0 |
| 2021-03-02 02:19:34 | <ezzieyguywuf> | but I don't think cabal-install has been ported to 9.0.1 yet |
| 2021-03-02 02:20:23 | <monochrom> | Yeah I think cabal-install 3.4 is not buildable by GHC 9.0.1 yet, probably not even 8.10.4 |
| 2021-03-02 02:20:39 | → | alx741 joins (~alx741@181.196.68.52) |
| 2021-03-02 02:20:59 | <ezzieyguywuf> | so stick to 8.10.3 then |
| 2021-03-02 02:21:13 | <ezzieyguywuf> | but I guess cabal-3.4.0.0 should work with ghc-9.0.1, i mean it ships with it bundled |
| 2021-03-02 02:21:26 | <ezzieyguywuf> | I guess the main thing I want to try is --allow-newer |
| 2021-03-02 02:21:27 | <monochrom> | cabal-install has accreted so much dependency over the years that I stopped building it from source a long time ago. |
| 2021-03-02 02:21:43 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-03-02 02:22:01 | <ezzieyguywuf> | which as someone pointed out is documented here for cabal-3.4.0.0 Setup.hs stuff , but I was unable to actually use it with bare cabal https://cabal.readthedocs.io/en/3.4/setup-commands.html#cmdoption-runhaskell-Setup.hs-configure-allow-newer |
| 2021-03-02 02:22:07 | <ezzieyguywuf> | thus I started trying cabal-install stuff |
| 2021-03-02 02:23:26 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-02 02:25:20 | <ezzieyguywuf> | so really 9.0.1 should probably mostly be avoided right now? |
| 2021-03-02 02:25:22 | <ezzieyguywuf> | too new? |
| 2021-03-02 02:25:43 | <sm[m]> | perrier-jouet: try doing stack update first ? |
| 2021-03-02 02:26:04 | <sm[m]> | is this with lts-17.4 as your global resolver ? |
| 2021-03-02 02:26:10 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-vtsprrmimewrgslj) (Quit: Connection closed for inactivity) |
| 2021-03-02 02:26:58 | <sm[m]> | stack update && stack install --resolver lts-17.4 happstack-server |
| 2021-03-02 02:28:39 | × | lnx quits (~irssi@167.71.7.27) (Ping timeout: 246 seconds) |
| 2021-03-02 02:28:46 | → | lnx joins (~irssi@167.71.7.27) |
| 2021-03-02 02:31:46 | → | antimatroid joins (~nick@124-169-88-177.tpgi.com.au) |
| 2021-03-02 02:31:57 | ← | antimatroid parts (~nick@124-169-88-177.tpgi.com.au) () |
| 2021-03-02 02:32:07 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-03-02 02:33:24 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 245 seconds) |
| 2021-03-02 02:35:58 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-02 02:36:41 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-02 02:37:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-02 02:40:35 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-03-02 02:40:36 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-03-02 02:41:03 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-02 02:41:37 | <nshepperd2> | i'm unreasonably excited for NoFieldSelectors in ghc 9.2 |
| 2021-03-02 02:41:50 | <nshepperd2> | this is way more exciting than DependentHaskell xD |
| 2021-03-02 02:43:37 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-02 02:45:28 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-03-02 02:47:36 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-03-02 02:49:01 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-02 02:49:05 | <falsifian> | NoFieldSelectors looks interesting. I haven't tried it, but my first thought is it seems annoying not to have access to the field names as functions --- I fairly often do want to access those functions. |
| 2021-03-02 02:51:03 | × | alx741 quits (~alx741@181.196.68.52) (Quit: alx741) |
| 2021-03-02 02:51:04 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 260 seconds) |
| 2021-03-02 02:54:09 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-03-02 02:54:23 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-02 02:58:23 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-02 02:58:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-02 02:59:15 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:f9b2:3b8:41f9:5c0d) (Ping timeout: 240 seconds) |
| 2021-03-02 03:00:50 | <nshepperd2> | it's mostly to be used together with NamedFieldPuns |
| 2021-03-02 03:00:50 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-02 03:00:58 | <monochrom> | My understanding is that it is the other feature, the one that legalizes the equivalant of SML's myRecord#thatField, that's exciting. The role of NoFieldSelectors is then to remove an ambiguity that you no longer need. |
| 2021-03-02 03:01:09 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-02 03:01:33 | → | xff0x joins (~xff0x@2001:1a81:53bf:4d00:1f54:39b5:d417:5062) |
| 2021-03-02 03:01:53 | <nshepperd2> | the advantage is, you can add the functions if you want them, but they don't need to have the same name as the field, meaning you don't need the field itself to be namespaced |
| 2021-03-02 03:02:45 | <nshepperd2> | ie. you can just write data Point = MkPoint {x :: Int, y :: Int} instead of pointX, pointY, and still not have name collisions |
| 2021-03-02 03:02:50 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-02 03:03:41 | <falsifian> | Oh, which feature gives you something like record#field? |
| 2021-03-02 03:04:00 | <nshepperd2> | RecordDotSyntax will be cool too |
| 2021-03-02 03:04:13 | × | nopf quits (~frosch@static.179.17.76.144.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2021-03-02 03:04:31 | <monochrom> | I forgot. |
| 2021-03-02 03:04:39 | × | cjay- quits (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 272 seconds) |
| 2021-03-02 03:04:39 | × | jonge quits (jonge@kofferbomber.org) (Ping timeout: 272 seconds) |
| 2021-03-02 03:04:59 | <falsifian> | RecordDotSyntax sounds like it, or is there something else monochrom? |
| 2021-03-02 03:05:35 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-02 03:07:59 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-02 03:08:12 | monochrom | proposes RecordCryptoHashSyntax for this Apirl 1st. |
| 2021-03-02 03:10:15 | <xsperry> | RecordDotSyntax is coming soon? |
| 2021-03-02 03:11:26 | oats | is now known as oafs |
| 2021-03-02 03:11:47 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-02 03:12:18 | → | toorevitimirp joins (~tooreviti@117.182.182.60) |
| 2021-03-02 03:12:38 | × | coeus quits (~coeus@p200300d0274c930028b50fb1d864e965.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-02 03:13:31 | → | coeus joins (~coeus@p200300d0274c930028b50fb1d864e965.dip0.t-ipconnect.de) |
| 2021-03-02 03:13:57 | → | jonge joins (jonge@kofferbomber.org) |
| 2021-03-02 03:15:17 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-02 03:16:05 | → | cjay joins (cjay@nerdbox.nerd2nerd.org) |
| 2021-03-02 03:16:19 | → | apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-02 03:16:34 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-02 03:16:34 | finn_elija | is now known as Guest52501 |
| 2021-03-02 03:16:34 | FinnElija | is now known as finn_elija |
| 2021-03-02 03:17:51 | → | nopf joins (~frosch@static.179.17.76.144.clients.your-server.de) |
| 2021-03-02 03:18:16 | <nshepperd2> | it looks like RecordDotSyntax is likely to be in 9.2, but it's not merged yet, so it might not https://www.mail-archive.com/ghc-devs@haskell.org/msg19249.html |
| 2021-03-02 03:18:36 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:883b:8e1b:48a:92f0) |
| 2021-03-02 03:19:39 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds) |
| 2021-03-02 03:19:46 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-silmedxoldmqygmd) () |
| 2021-03-02 03:19:56 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-03-02 03:20:40 | × | Guest52501 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-02 03:23:15 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:dd18:3c82:fb8b:a1e5) (Ping timeout: 240 seconds) |
| 2021-03-02 03:25:51 | → | antimatroid joins (~nick@124-169-88-177.tpgi.com.au) |
| 2021-03-02 03:25:57 | ← | antimatroid parts (~nick@124-169-88-177.tpgi.com.au) () |
| 2021-03-02 03:30:57 | × | lnx quits (~irssi@167.71.7.27) (Ping timeout: 246 seconds) |
| 2021-03-02 03:31:04 | → | lnx joins (~irssi@167.71.7.27) |
| 2021-03-02 03:32:29 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-03-02 03:34:14 | × | noctuks quits (VnOKQekg6g@unaffiliated/noctux) (Ping timeout: 260 seconds) |
| 2021-03-02 03:34:14 | × | yushyin quits (H1FkakJ2p6@karif.server-speed.net) (Ping timeout: 264 seconds) |
All times are in UTC.