Logs: liberachat/#haskell
| 2021-06-30 12:13:25 | → | stevenxl joins (~stevenlei@174.128.182.51) |
| 2021-06-30 12:18:03 | × | stevenxl quits (~stevenlei@174.128.182.51) (Ping timeout: 265 seconds) |
| 2021-06-30 12:18:20 | × | kenran quits (~kenran@b2b-37-24-119-190.unitymedia.biz) (Quit: WeeChat info:version) |
| 2021-06-30 12:20:31 | → | stevenxl joins (~stevenlei@174.128.182.118) |
| 2021-06-30 12:20:58 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-30 12:23:01 | → | qbt joins (~edun@user/edun) |
| 2021-06-30 12:25:12 | → | acidjnk_new joins (~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) |
| 2021-06-30 12:25:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-30 12:25:51 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-30 12:28:08 | → | egoist joins (~egoist@186.235.82.105) |
| 2021-06-30 12:29:18 | × | acidjnk quits (~acidjnk@p200300d0c72b95402d92a822f50d83dc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 12:30:14 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-30 12:31:08 | × | en30 quits (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) (Quit: Connection closed) |
| 2021-06-30 12:36:03 | → | jonathanx joins (~jonathan@c-5eea32b3-74736162.cust.telenor.se) |
| 2021-06-30 12:37:38 | → | Fendor_ joins (~Fendor@e236-005.eduroam.tuwien.ac.at) |
| 2021-06-30 12:40:10 | × | boxscape_ quits (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-06-30 12:41:09 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 12:42:21 | → | jonathanx_ joins (~jonathan@94.234.50.179) |
| 2021-06-30 12:42:29 | × | jonathanx quits (~jonathan@c-5eea32b3-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 2021-06-30 12:44:30 | × | jonathanx_ quits (~jonathan@94.234.50.179) (Read error: Connection reset by peer) |
| 2021-06-30 12:45:38 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 12:46:05 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 12:46:52 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-30 12:47:00 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-30 12:48:32 | → | jonathanx joins (~jonathan@c-5eea32b3-74736162.cust.telenor.se) |
| 2021-06-30 12:50:50 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 12:50:56 | → | amcleodca joins (~amcleodca@user/amcleodca) |
| 2021-06-30 12:51:26 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-06-30 12:55:52 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-30 12:56:08 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-06-30 12:56:34 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-30 12:56:46 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) |
| 2021-06-30 12:56:53 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-30 12:57:56 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-06-30 13:00:33 | × | henninb quits (~henninb@63.226.174.157) (Quit: leaving) |
| 2021-06-30 13:00:39 | → | ubert1 joins (~Thunderbi@ip5b409628.dynamic.kabel-deutschland.de) |
| 2021-06-30 13:01:06 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Ping timeout: 240 seconds) |
| 2021-06-30 13:01:06 | ubert1 | is now known as ubert |
| 2021-06-30 13:01:09 | → | alx741 joins (~alx741@186.178.109.202) |
| 2021-06-30 13:01:30 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-30 13:02:15 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-06-30 13:02:18 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 13:04:25 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 13:04:39 | <amcleodca> | Howdy - I am on day 2 of learning, and seem to be having trouble using the dot notation to access records in data structures. I think this is a problem with my development environment, but I'm not sure what my next step should be. I pasted a simple case that duplicates the problem and shows the error message here: https://pastebin.com/K50bwZM3. Any |
| 2021-06-30 13:04:40 | <amcleodca> | ideas what I can do next? |
| 2021-06-30 13:06:52 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-30 13:06:59 | <dminuoso> | amcleodca: We have no such dot notation for records. |
| 2021-06-30 13:07:05 | <dminuoso> | Not yet, anyway |
| 2021-06-30 13:08:55 | → | trcc joins (~trcc@users-1190.st.net.au.dk) |
| 2021-06-30 13:10:53 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-06-30 13:11:54 | <tomsmeding> | the proposal says that it should be implemented in GHC 9.2: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst |
| 2021-06-30 13:11:55 | <merijn> | amcleodca: That doesn't exist in Haskell... |
| 2021-06-30 13:12:27 | <amcleodca> | Howdy - I am on day 2 of learning, and seem to be having trouble using the dot notation to access records in data structures. I think this is a problem with my development environment, but I'm not sure what my next step should be. I pasted a simple case that duplicates the problem and shows the error message here: https://pastebin.com/K50bwZM3. Any |
| 2021-06-30 13:12:28 | <amcleodca> | ideas what I can do next? |
| 2021-06-30 13:12:37 | <tomsmeding> | but yeah, amcleodca even if you're using the bleeding-edge ghc compiler, it's still not (yet) idiomatic haskell |
| 2021-06-30 13:12:56 | × | jonathanx quits (~jonathan@c-5eea32b3-74736162.cust.telenor.se) (Ping timeout: 256 seconds) |
| 2021-06-30 13:13:01 | <amcleodca> | (please disregard the duplicate post :) |
| 2021-06-30 13:13:39 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 13:14:16 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-06-30 13:14:23 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-30 13:14:35 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 13:14:51 | <amcleodca> | this is interesting because The Simple Haskell Handbook seems to use the dot notation, like in this worked example where build.CompletedSteps seems to refer to a record defined in "data Build" on line 33 |
| 2021-06-30 13:15:06 | <amcleodca> | (link: https://github.com/jturner/quad-ci/blob/449fafb7376b5a711874798cc03166e762db505e/src/Core.hs#L99) |
| 2021-06-30 13:15:53 | <amcleodca> | i take it they're doing something non-standard here, then? |
| 2021-06-30 13:15:54 | × | azeem quits (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-30 13:15:55 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 2021-06-30 13:16:09 | × | poljar quits (~poljar@93-139-36-109.adsl.net.t-com.hr) (Quit: WeeChat 3.1) |
| 2021-06-30 13:16:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 13:17:04 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-06-30 13:17:27 | → | azeem joins (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) |
| 2021-06-30 13:17:42 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-30 13:18:01 | <dminuoso> | amcleodca: that's for qualified names |
| 2021-06-30 13:18:18 | <dminuoso> | https://github.com/jturner/quad-ci/blob/449fafb7376b5a711874798cc03166e762db505e/src/Core.hs#L8 |
| 2021-06-30 13:18:39 | <dminuoso> | See, the module was imported under the qualified "List", so you have to refer all identifiers from that module with List.<something> |
| 2021-06-30 13:18:50 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-06-30 13:19:07 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-30 13:19:09 | <tomsmeding> | that 'build.completedSteps' is very odd spacing |
| 2021-06-30 13:19:28 | <tomsmeding> | most people would write that as: List.all ((==) StepSucceeded) build . completedSteps |
| 2021-06-30 13:19:36 | <tomsmeding> | where (.) is function composition |
| 2021-06-30 13:19:36 | → | chisui joins (~chisui@200116b868342600e075ba151a671095.dip.versatel-1u1.de) |
| 2021-06-30 13:19:50 | <tomsmeding> | so: \x -> List.all ((==) StepSucceeded) build (completedSteps x) |
| 2021-06-30 13:20:06 | <tomsmeding> | means the same thing |
| 2021-06-30 13:20:13 | <tomsmeding> | (and List.all is what dminuoso said) |
| 2021-06-30 13:20:22 | dminuoso | waits for merijn to make some remark about how spacing around operators should have been mandated |
| 2021-06-30 13:20:32 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-06-30 13:21:05 | <turlando> | lol |
| 2021-06-30 13:21:07 | tomsmeding | wonders why the author of that code thinks that is readable, without spacing around the . |
| 2021-06-30 13:21:30 | <amcleodca> | sweet. sounds like i misunderstood what was happening here. tyvm! |
| 2021-06-30 13:22:08 | → | mastarija joins (~mastarija@31.217.22.187) |
| 2021-06-30 13:22:55 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-06-30 13:24:32 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-06-30 13:25:10 | <Cale> | amcleodca: In their cabal file they have ghc-options: -F -pgmF=record-dot-preprocessor -threaded -rtsopts -with-rtsopts=-N |
| 2021-06-30 13:25:27 | <Cale> | Those first two arguments are probably what's doing the weird dot notation |
| 2021-06-30 13:25:47 | <tomsmeding> | thanks for correcting me |
| 2021-06-30 13:26:40 | <tomsmeding> | so amcleodca you were right, but that project is doing something fancy :p |
| 2021-06-30 13:26:47 | <tomsmeding> | don't do that |
| 2021-06-30 13:26:49 | → | poljar joins (~poljar@93-139-36-109.adsl.net.t-com.hr) |
| 2021-06-30 13:26:49 | <Cale> | I don't know where that record-dot-preprocessor is coming from though |
| 2021-06-30 13:27:05 | <tomsmeding> | Cale: https://hackage.haskell.org/package/record-dot-preprocessor |
| 2021-06-30 13:27:12 | <Cale> | ah, I see |
All times are in UTC.