Logs: liberachat/#haskell
| 2021-08-09 15:03:55 | <raehik> | or otherwise any idea on how to modularise multiple Happy parsers that share components |
| 2021-08-09 15:03:55 | <lambdabot> | Compose ([1,2,3],Nothing) |
| 2021-08-09 15:05:24 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-09 15:06:34 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 15:06:39 | × | Guest56 quits (~Guest56@n220246223066.netvigator.com) (Quit: Client closed) |
| 2021-08-09 15:08:49 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2021-08-09 15:10:29 | carbolymer_ | is now known as carbolymer |
| 2021-08-09 15:10:55 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-09 15:11:34 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-09 15:14:52 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:3af7:592d:78ca:ce31) (Quit: WeeChat 2.8) |
| 2021-08-09 15:15:17 | <kuribas> | runWriter $ getCompose $ traverse Compose [tell [1::Int] >> pure (Just (1::Int)), tell [2] >> pure Nothing, tell [3] >> pure (Just 3)] |
| 2021-08-09 15:15:19 | <kuribas> | > runWriter $ getCompose $ traverse Compose [tell [1::Int] >> pure (Just (1::Int)), tell [2] >> pure Nothing, tell [3] >> pure (Just 3)] |
| 2021-08-09 15:15:21 | <lambdabot> | (Nothing,[1,2,3]) |
| 2021-08-09 15:17:46 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-09 15:25:10 | × | random-jellyfish quits (~Guest71@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2021-08-09 15:26:58 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-09 15:27:54 | → | Guest71 joins (~Guest71@217.156.31.64) |
| 2021-08-09 15:28:18 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-09 15:32:49 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 248 seconds) |
| 2021-08-09 15:36:48 | → | mattil joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 2021-08-09 15:38:03 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:e99d:7f37:f39a:bf6c) |
| 2021-08-09 15:38:19 | × | mattil quits (~mattilinn@87-92-142-109.rev.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-09 15:38:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2021-08-09 15:38:46 | → | mattil joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 2021-08-09 15:39:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-09 15:41:07 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-09 15:41:12 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-09 15:42:58 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-09 15:45:45 | → | mattilinnanvuori joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 2021-08-09 15:47:46 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
| 2021-08-09 15:49:02 | × | mattilinnanvuori quits (~mattilinn@87-92-142-109.rev.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-09 15:51:52 | → | yourname_ joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 2021-08-09 15:52:01 | <Gurkenglas> | stack install lens said a module interface file was corrupt, i deleted it and it said it was missing, i deleted the entire containing ghc folder and it said it could not find sandboxed compiler, how should i recover? |
| 2021-08-09 15:52:27 | yourname_ | is now known as barrucadu |
| 2021-08-09 15:52:33 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-08-09 15:52:54 | <c_wraith> | at that point... delete the whole stack directory? |
| 2021-08-09 15:53:14 | <tomsmeding> | kuribas: view patterns can't desugar like that, right, because they can let the pattern match go to the next definition clause if the view pattern fails |
| 2021-08-09 15:54:37 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-09 15:54:38 | <merijn> | tomsmeding: So? Just nest cases |
| 2021-08-09 15:55:01 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-08-09 15:55:02 | <merijn> | tomsmeding: You can desugar to pattern guards fairly easily |
| 2021-08-09 15:55:07 | <geekosaur> | and in any case multiple definitions desugar the same way |
| 2021-08-09 15:55:15 | <geekosaur> | so it can combine them |
| 2021-08-09 15:55:17 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-09 15:55:19 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-09 15:55:32 | <merijn> | "foo (bar -> Just x) = ..." -> "foo y | Just x <- bar y = ..." |
| 2021-08-09 15:55:52 | <tomsmeding> | merijn: but then you need to desugar all the arms of a case expression into nested cases as well, if there are view patterns |
| 2021-08-09 15:55:57 | <tomsmeding> | It works I guess |
| 2021-08-09 15:56:12 | <tomsmeding> | Yeah it should be the same as pattern guards |
| 2021-08-09 15:56:14 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-09 15:57:32 | <tomsmeding> | I think I recall that the new pattern matching algorithm in ghc (something something guards?) explicitly handles either view patterns or pattern guards |
| 2021-08-09 15:57:34 | <Gurkenglas> | merijn, what if bar takes two arguments |
| 2021-08-09 15:57:58 | <tomsmeding> | Ah, "lower your guards" it wad |
| 2021-08-09 15:58:01 | <tomsmeding> | *was |
| 2021-08-09 15:59:22 | <tomsmeding> | Actually it seems its source syntax (fig. 1) has both explicit view patterns and explicit pattern guards, with no desugaring yet |
| 2021-08-09 16:00:10 | <merijn> | Gurkenglas: then you can't do it with ViewPatterns (the first case) |
| 2021-08-09 16:00:17 | <tomsmeding> | And they desugar everything to something resembling pattern guards, it seems |
| 2021-08-09 16:00:35 | <merijn> | Gurkenglas: In the 2nd pattern guards example it "Just Works" (assuming you pass the 2nd argument from somewhere) |
| 2021-08-09 16:00:51 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-09 16:01:12 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-09 16:01:18 | <Gurkenglas> | ah, ViewPatterns is justified by x being a record of which bar is a field? |
| 2021-08-09 16:01:29 | <Gurkenglas> | y being a record, rather |
| 2021-08-09 16:02:06 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-09 16:02:20 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-09 16:02:27 | <tomsmeding> | "(e -> p)" is a pattern for type t if e is an expression of type t -> t' and p is a pattern for type t' |
| 2021-08-09 16:02:43 | <tomsmeding> | And the resulting bindings are those from p, of course |
| 2021-08-09 16:02:48 | × | pe200012 quits (~pe200012@218.107.49.28) (Ping timeout: 276 seconds) |
| 2021-08-09 16:05:53 | × | charukiewicz quits (~quassel@irouteince04.i.subnet.rcn.com) (Remote host closed the connection) |
| 2021-08-09 16:06:01 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-09 16:07:03 | → | charukiewicz joins (~quassel@irouteince04.i.subnet.rcn.com) |
| 2021-08-09 16:07:48 | <merijn> | Gurkenglas: ViewPatterns allows arbitrary functions to be applied to an argument before matching |
| 2021-08-09 16:08:06 | <Gurkenglas> | stack install ghcide says "try adding the following to your extra-deps" https://paste.tomsmeding.com/K8tfYaJS but my installation of ghcide should not be reflected in the helloworld project, since it's just local ide tooling. What should I do? |
| 2021-08-09 16:08:20 | <merijn> | Gurkenglas: It's basically "before pattern matching this function argument, apply function bar, then match the results" |
| 2021-08-09 16:08:43 | <merijn> | Gurkenglas: I don't use stack, but I recall that "stack install" is basically always the wrong command >.> |
| 2021-08-09 16:10:03 | <dsal> | Yeah, even when 'stack install' is the right command, it feels quite wrong. |
| 2021-08-09 16:10:21 | <Gurkenglas> | How do I use stack to install something? |
| 2021-08-09 16:10:46 | <Gurkenglas> | googling finds me guides on how to install stack :3 |
| 2021-08-09 16:11:27 | <dsal> | One question up.... What are you trying to do? |
| 2021-08-09 16:11:32 | <geekosaur> | you only 'stack install' executables, basically |
| 2021-08-09 16:12:16 | <Gurkenglas> | dsal, I'm trying to have an IDE for haskell, currently attempting vscode with haskell-language-server |
| 2021-08-09 16:12:24 | <AnselmSchler[m]> | stack install just builds and then writes the binaries to local-bin-path (check with stack paths, usually ~/.local/bin) |
| 2021-08-09 16:12:36 | <Gurkenglas> | geekosaur, ghcide is an executable :) |
| 2021-08-09 16:12:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2021-08-09 16:13:00 | <dsal> | Oh, you're trying to install hls? I've never actually succeeded in that. You probably do want to install the program, though. |
| 2021-08-09 16:13:12 | <Gurkenglas> | What program? |
| 2021-08-09 16:13:19 | <dsal> | AnselmSchler[m]: People get confused when they try to install libraries. |
| 2021-08-09 16:13:22 | <dsal> | Gurkenglas: The language server. |
| 2021-08-09 16:13:34 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-09 16:13:39 | <merijn> | ghcup ships pre-built binaries of HLS and so do several package managers |
| 2021-08-09 16:13:40 | <dsal> | Which I've failed to actually ever get working, so I'm whatever the opposite of an authority on that is. |
| 2021-08-09 16:14:32 | → | Neuromancer joins (~Neuromanc@user/neuromancer) |
| 2021-08-09 16:14:38 | <AnselmSchler[m]> | dsal: I mean, stack automatically downloads libraries, unless you’re seeking runtime deps |
| 2021-08-09 16:14:38 | <AnselmSchler[m]> | …do shared object files not get copied? or are they not available from .local/bin? |
| 2021-08-09 16:15:11 | <dsal> | AnselmSchler[m]: Some people think that if they want to use lens in a project, they need to 'stack install lens' |
| 2021-08-09 16:15:25 | <Gurkenglas> | hls did that on its own when I opened a vscode folder that was a stack project with the hls vscode extension installed, i think, though it gave a ghcide error https://paste.tomsmeding.com/9kR1aGdj and told me to make sure i use the project's ghc to compile ghcide |
| 2021-08-09 16:15:26 | <dsal> | It simultaneously doesn't solve the problem and makes things a little worse. |
| 2021-08-09 16:15:31 | <AnselmSchler[m]> | ah OK |
| 2021-08-09 16:15:41 | <srid[m]> | <sm> "hi srid, we wondered why you..." <- nix shouldn't be a strict requirement after 1.0 release to hackage. |
| 2021-08-09 16:16:03 | → | jneira[m] joins (~jneira@99.red-176-87-53.dynamicip.rima-tde.net) |
| 2021-08-09 16:16:25 | <Gurkenglas> | dsal, if "stack install lens" is basically never right because lens is a library, shouldnt it give a warning to this effect? |
All times are in UTC.