Logs: liberachat/#haskell
| 2021-07-29 14:49:03 | <Toast52> | I believe ghc on windows is able to locate shared libs on PATH which includes %systemroot%\system32 (where opengl32.dll is located) |
| 2021-07-29 14:50:24 | <kritzefitz> | motle, a few week ago I was able to build GTK3 applications based on gi-gtk after installing mingw-w64-x86_64-{pkgconf,gtk3,gobject-introspection}. |
| 2021-07-29 14:50:59 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-29 14:51:52 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-29 14:52:03 | <motle> | yeah, gobject is what led me to leksah, i thought it would install that for me, since i couldnt get the install to supress the error |
| 2021-07-29 14:52:23 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-29 14:54:24 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-29 14:55:07 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-07-29 14:57:56 | → | zava joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-07-29 14:58:40 | <zava> | writing me a haskell exam tmrw. fuckin monads and some of the types make me head hurt |
| 2021-07-29 14:58:41 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:9d14:637c:254d:7940) |
| 2021-07-29 14:58:59 | <motle> | :t (>>) |
| 2021-07-29 14:59:00 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2021-07-29 14:59:04 | <motle> | :t (>>=) |
| 2021-07-29 14:59:05 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 2021-07-29 14:59:14 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-29 14:59:33 | <zava> | which is also used in parsing |
| 2021-07-29 14:59:50 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 268 seconds) |
| 2021-07-29 15:00:08 | <zava> | I really have no reason to complain. I'll pass |
| 2021-07-29 15:00:22 | <zava> | those are the only things that I struggle with |
| 2021-07-29 15:01:06 | <zava> | and when I write a function with where and 4 lines of nested helperfunctions and my mate achieves the same with a 2 liner :) |
| 2021-07-29 15:01:16 | × | michalz quits (~michalz@185.246.204.62) (Remote host closed the connection) |
| 2021-07-29 15:02:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 15:02:51 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 15:02:55 | <kritzefitz> | motle, I don't think I understand your problem. Can you be more specific what GUI toolkit you were trying to build? You say you couldn't use GTK, because you couldn't install <mingw-prefix>-webkitgtk3, but GTK itself doesn't actually need webkit. |
| 2021-07-29 15:03:18 | <zava> | \o |
| 2021-07-29 15:03:21 | × | zava quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 2021-07-29 15:05:18 | × | sweater2 quits (~sweater@206.81.18.26) (Quit: WeeChat 2.8) |
| 2021-07-29 15:05:38 | <dsal> | :t (*>) |
| 2021-07-29 15:05:39 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 2021-07-29 15:06:04 | <dsal> | I should get in the habit of using that more. |
| 2021-07-29 15:06:35 | <dminuoso> | Also cute: |
| 2021-07-29 15:06:41 | <dminuoso> | % :t (<$) |
| 2021-07-29 15:06:41 | <yahb> | dminuoso: Functor f => a -> f b -> f a |
| 2021-07-29 15:06:51 | <dminuoso> | Really grown to like that one. |
| 2021-07-29 15:08:36 | <dsal> | Yeah. I use these things in parsers, but outside of parsers, I never think to use them. |
| 2021-07-29 15:09:24 | <dminuoso> | `() <$` I find more comfortable than `void` which needs an extra import |
| 2021-07-29 15:09:41 | <dminuoso> | Also in some custom monads it can be handy |
| 2021-07-29 15:10:29 | <dminuoso> | One of our projects has a large compilation monad with various failures (that get promoted to fatal at certain stages). So I regularly do something like: True <$ configErr "this and that failed" |
| 2021-07-29 15:10:46 | <dminuoso> | Allowing me to produce some temporary result while setting an eventually fatal error |
| 2021-07-29 15:11:04 | <motle> | krizefitz: i was trying to install gobject which leksah had a .bash file to do, but *it* failed because it needed webkitgtk3 |
| 2021-07-29 15:12:09 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-29 15:12:15 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 2021-07-29 15:12:23 | × | averell quits (~averell@user/averell) (Quit: .) |
| 2021-07-29 15:13:26 | <dsal> | Oh, looks like I use `$>` a lot, but not `<$` hmm... |
| 2021-07-29 15:14:35 | <dminuoso> | Guess it depends a bit on the emphasis. |
| 2021-07-29 15:15:02 | <dminuoso> | <$ on longer lines immediately shows you the result ahead of the line, with $> I feel like I run out of mental stack space by the time I get to the other side |
| 2021-07-29 15:16:16 | <Drew[m]> | motle: From my not very clear understanding of what gobject is, I doubt it requires webkitgtk |
| 2021-07-29 15:16:28 | <lechner> | Hi, with JSON.eitherDecode on known JSON data I get: "Error in $: Failed reading: Cannot decode input: Data.Text.Internal.Encoding.decodeUtf8: Invalid UTF-8 stream. Expecting object value at ',' " What does that mean, please? Is that a JSON problem (missing object value) or a UTF-8 encoding problem? Thanks! |
| 2021-07-29 15:16:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-07-29 15:16:57 | <lechner> | or decoding problem, to be more exact |
| 2021-07-29 15:17:49 | → | peterhil joins (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) |
| 2021-07-29 15:17:51 | <dminuoso> | I suspect there's some escape character issue |
| 2021-07-29 15:18:02 | <lechner> | it happens on all files, though |
| 2021-07-29 15:18:13 | <geekosaur> | Drew[m],motle: leksah uses webkitgtk, so it installs it at the same time as gtk. that does not mean gtk itself requires webkit |
| 2021-07-29 15:18:54 | <motle> | sure |
| 2021-07-29 15:19:15 | <Drew[m]> | Right, and from my research trying to get reflex-dom to work, webkitgtk3 didn't seem like a thing that was available on windows |
| 2021-07-29 15:19:36 | <motle> | but i did pacman -S ... gobject-introspection, and it still throws an error |
| 2021-07-29 15:19:54 | <motle> | i was trying to get a leksah build to get that to work for me |
| 2021-07-29 15:19:58 | <kritzefitz> | motle, what error does it throw? |
| 2021-07-29 15:20:00 | × | Obo quits (~roberto@94.191.137.235.mobile.tre.se) (Ping timeout: 256 seconds) |
| 2021-07-29 15:20:23 | <motle> | but your right, the depreciated dependency which kills leksah shouldnt actually stop the gtk build, i shall try again |
| 2021-07-29 15:21:34 | <motle> | the package gobject version something something required but not found |
| 2021-07-29 15:22:04 | <motle> | from stack run on a project with gi-gtk dependencies in the stack yaml |
| 2021-07-29 15:23:31 | <kritzefitz> | Stack does not install C dependencies for you. |
| 2021-07-29 15:23:46 | <kritzefitz> | You need to install the gobject C library before running stack |
| 2021-07-29 15:23:58 | <Drew[m]> | Yeah but it sounds like motle has tried installing that |
| 2021-07-29 15:24:16 | <kritzefitz> | Yes, but they never told us, why it didn't work. |
| 2021-07-29 15:24:34 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 15:25:06 | <Drew[m]> | Well I think what they said was ambiguous. Was pacman throwing an error when they tried to install gobject-introspection, or did it succeed and stack threw an error when they tried to use it |
| 2021-07-29 15:25:07 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 15:25:55 | <kritzefitz> | motle, maybe you can clarify? Did you run `pacman -S mingw-w64-x86_64-object-introspection`? Did that work? If not, what was the error message? |
| 2021-07-29 15:25:57 | <Drew[m]> | Clarification would be handy! |
| 2021-07-29 15:26:48 | × | peterhil quits (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-29 15:27:53 | <motle> | i think the gobject-introspection install "succeded" but didnt make the lib available, maybe PATH |
| 2021-07-29 15:28:53 | <motle> | error: target not found: mingw-w64-x86_64-object-introspection |
| 2021-07-29 15:28:57 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-29 15:29:10 | <kritzefitz> | You're missing a `g` in front of `object`. |
| 2021-07-29 15:29:31 | <motle> | derp, just copy pasted it from the comment |
| 2021-07-29 15:29:50 | <kritzefitz> | OOps |
| 2021-07-29 15:30:22 | <motle> | hmm, might be building ok now, have to wait a sec |
| 2021-07-29 15:30:54 | × | pe200012_ quits (~pe200012@218.107.49.28) (Ping timeout: 272 seconds) |
| 2021-07-29 15:32:42 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-29 15:32:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-29 15:33:57 | × | zelmac quits (~zelmac@host86-188-117-120.range86-188.btcentralplus.com) (Remote host closed the connection) |
| 2021-07-29 15:35:44 | → | danielam joins (~daniel@cpe-67-247-21-112.nyc.res.rr.com) |
| 2021-07-29 15:37:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-29 15:38:07 | → | agua joins (~agua@2804:18:40:39f8:1:0:64c7:dff1) |
| 2021-07-29 15:39:02 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-29 15:39:36 | × | danielam quits (~daniel@cpe-67-247-21-112.nyc.res.rr.com) (Quit: leaving) |
| 2021-07-29 15:39:44 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2021-07-29 15:40:07 | × | pesada quits (~agua@2804:14c:8793:8e2f:3944:8017:7f63:8e28) (Ping timeout: 245 seconds) |
| 2021-07-29 15:42:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-29 15:43:22 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-07-29 15:43:49 | → | yilin1 joins (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01) |
| 2021-07-29 15:44:12 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-07-29 15:44:33 | × | yilin1 quits (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01) (Client Quit) |
| 2021-07-29 15:46:21 | × | motle quits (~motle@cpc103048-sgyl39-2-0-cust506.18-2.cable.virginm.net) (Quit: Connection closed) |
| 2021-07-29 15:46:43 | <Drew[m]> | if you're going through gi-gtk, I wouldn't trust the windows instructions there to be up to date and good practice |
| 2021-07-29 15:46:58 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
All times are in UTC.