Newest at the top
| 2025-05-13 23:22:30 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-05-13 23:17:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-13 23:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 23:16:29 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 23:15:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-13 23:12:06 +0200 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
| 2025-05-13 23:11:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 23:03:16 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-13 23:01:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 22:58:03 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2025-05-13 22:56:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 22:52:55 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f19710480a6a0bd753e.dip0.t-ipconnect.de) acidjnk |
| 2025-05-13 22:47:18 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-13 22:45:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 22:44:55 +0200 | halloy5771 | (~halloy577@205.175.106.139) |
| 2025-05-13 22:43:33 +0200 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) (Quit: Client closed) |
| 2025-05-13 22:43:06 +0200 | <tomsmeding> | xeno11: can you post the output of `cabal build -v3`, as suggested in the error message? |
| 2025-05-13 22:42:23 +0200 | <tomsmeding> | on the other hand, cabal seems to find the version of the sdl2 pkg-config (2.32.4) just fine |
| 2025-05-13 22:41:39 +0200 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) |
| 2025-05-13 22:41:00 +0200 | <tomsmeding> | on my system, cabal-3.10.3.0 (same version as you) first checks pkg-config and only _then_ starts actually configuring the package |
| 2025-05-13 22:40:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 22:39:21 +0200 | <tomsmeding> | xeno11: where is pkg-config located on your system? |
| 2025-05-13 22:37:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 22:29:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-13 22:28:37 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-13 22:27:29 +0200 | <xeno11> | tomsmeding: I was looking but not exactly sure what to report on... i have the --verbose output here: https://paste.debian.net/hidden/e5bcf24f/ |
| 2025-05-13 22:22:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 22:13:23 +0200 | <tomsmeding> | seems like a bunch of messages got lost, too |
| 2025-05-13 22:11:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-13 22:09:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-13 22:08:55 +0200 | <EvanR> | to quote thor: ragnarok, "who took the sword!" (that unlocks the bifrost) |
| 2025-05-13 22:08:53 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-13 22:08:05 +0200 | <EvanR> | whoa was haskell bridge off this whole time |
| 2025-05-13 22:07:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> whoops, the "Right" case here needs to "++" with "toPathVals MkRecordV xs" too |
| 2025-05-13 22:07:11 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/iZbktTBScUYJbjkjdOGISIYE/YQOzohIwgLM (11 lines) |
| 2025-05-13 22:07:10 +0200 | <haskellbridge> | <thirdofmay18081814goya> data Record a = MkRecordV [(String, Either a (Record a))] deriving Show |
| 2025-05-13 22:07:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> the idea is to have predicates that take a path in order to do validation at that path |
| 2025-05-13 22:07:07 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty for the idea! |
| 2025-05-13 22:07:04 +0200 | <haskellbridge> | <thirdofmay18081814goya> ozkutuk: hm I need the value and the end of the path in order to do validation, but that does make me think we can use the tree of strings to access the original datatype |
| 2025-05-13 22:07:02 +0200 | <haskellbridge> | <ozkutuk> (I mean, not isomorphic per se, but should be a sufficient form to work with since you seem to be only interested in the strings) |
| 2025-05-13 22:07:01 +0200 | <haskellbridge> | <ozkutuk> for example, "Data.Tree.pathsFromRoot" could be of use then |
| 2025-05-13 22:06:59 +0200 | <haskellbridge> | <ozkutuk> That form might be easier to work with |
| 2025-05-13 22:06:56 +0200 | <haskellbridge> | <thirdofmay18081814goya> ? |
| 2025-05-13 22:06:55 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone know how to do the exercise Vector Head in chapter 4 |
| 2025-05-13 22:06:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> sm: ah neat! I keep hearing about it. today is the day I try it out |
| 2025-05-13 22:06:52 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm would be nice to have the solutions to the liquid haskell tutorial |
| 2025-05-13 22:06:50 +0200 | <haskellbridge> | <thirdofmay18081814goya> sm: but this definitely is part of runtime validation ty, had not encountered it before |
| 2025-05-13 22:06:49 +0200 | <haskellbridge> | <sm> there's Liquid Haskell, which is like contracts. But it's compile time I believe |
| 2025-05-13 22:06:46 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm I was wondering if there was even a need to develop things like contracts libraries given haskell's sufficiently expressive type system |
| 2025-05-13 22:06:45 +0200 | <haskellbridge> | <sm> do you mean something else ? |