Logs: liberachat/#haskell
| 2021-08-14 07:53:34 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-14 07:53:43 | <maerwald> | they put cabal.project in gitignore |
| 2021-08-14 07:53:46 | <maerwald> | *sigh* |
| 2021-08-14 07:54:40 | <maerwald> | now |
| 2021-08-14 07:56:06 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-14 07:56:49 | <tomsmeding> | ah the nanovg-0.8 from that windows PR actually puts freetype2 in the nanovg.cabal file :p |
| 2021-08-14 07:59:07 | <tomsmeding> | making a project that depends on monomer and adding the monomer repo and fjvallarino's fork of nanovg-hs as subdirectories, and then checking out ba8733f in nanovg-hs, and adding a cabal.project in my root project with 'packages: . monomer nanovg-hs' works for me |
| 2021-08-14 07:59:39 | <Cajun> | sounds like.. a lot of work |
| 2021-08-14 08:00:02 | <maerwald> | don't understand why you'd do that |
| 2021-08-14 08:00:12 | <maerwald> | that's what source-repository-package is for, see my PR |
| 2021-08-14 08:01:02 | <tomsmeding> | ah because I don't know cabal.project well enough |
| 2021-08-14 08:01:16 | <tomsmeding> | don't need the +stb_truetype flag here |
| 2021-08-14 08:01:40 | <tomsmeding> | is that really cabal support though? |
| 2021-08-14 08:01:46 | <JavierNeira[m]> | https://cabal.readthedocs.io/en/latest/cabal-projectindex.html#cap-cabal.project%20fields :-) |
| 2021-08-14 08:01:57 | <JavierNeira[m]> | yeah, in `constraints:` |
| 2021-08-14 08:02:01 | <tomsmeding> | like, it probably allows you to build the monomer repo, but if that gets uploaded to hackage, would it allow me to _depend_ on monomer |
| 2021-08-14 08:02:15 | <tomsmeding> | or is cabal.project also inspected for dependencies |
| 2021-08-14 08:02:25 | <maerwald> | no |
| 2021-08-14 08:02:30 | <maerwald> | cabal support /= hackage support |
| 2021-08-14 08:02:34 | <tomsmeding> | right |
| 2021-08-14 08:03:15 | <tomsmeding> | maerwald: is that +stb_truetype flag necessary for you? |
| 2021-08-14 08:03:27 | <maerwald> | no idea, it's in stack.yaml |
| 2021-08-14 08:03:48 | <maerwald> | I can't build at all due to c2hs errors |
| 2021-08-14 08:04:03 | <tomsmeding> | mac? |
| 2021-08-14 08:04:07 | <maerwald> | linux |
| 2021-08-14 08:04:18 | <maerwald> | c2hs is constantly broken, because it re-implements its own C parser |
| 2021-08-14 08:05:02 | <tomsmeding> | interesting, I'm on arch with a fairly new C compiler and it works for me |
| 2021-08-14 08:05:20 | → | tripoli joins (~tripoli@69.233.98.238) |
| 2021-08-14 08:05:36 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-14 08:07:24 | <tomsmeding> | heh got the first tutorial example to compile, but it won't run because SDL fails to create a GL context (?) |
| 2021-08-14 08:07:40 | <tomsmeding> | oh, no because glMakeCurrent fails |
| 2021-08-14 08:07:56 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-14 08:08:52 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-14 08:09:31 | tomsmeding | is going to do something else for a while :p |
| 2021-08-14 08:09:53 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 2021-08-14 08:10:04 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-14 08:10:34 | <Cajun> | yeah this just sounds like hell, i think im going to let this library settle for a month or more and move to other alternatives, ive heard `gi-gtk-declarative` isnt awful |
| 2021-08-14 08:17:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-14 08:17:37 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-14 08:17:40 | allbery_b | is now known as geekosaur |
| 2021-08-14 08:19:29 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-14 08:24:04 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-14 08:24:20 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-6-221.prtc.net) |
| 2021-08-14 08:27:15 | × | trueboxguy quits (~trueboxgu@user/trueboxguy) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-14 08:30:30 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-08-14 08:31:21 | → | shredder joins (~user@user/shredder) |
| 2021-08-14 08:31:34 | × | agua_pesada quits (~agua_pesa@191.177.175.57) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2021-08-14 08:31:51 | → | aguapesada joins (~aguapesad@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) |
| 2021-08-14 08:32:52 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-14 08:34:43 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-14 08:36:30 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-14 08:37:47 | × | o1lo01ol1o quits (~o1lo01ol1@89.214.83.229) (Remote host closed the connection) |
| 2021-08-14 08:38:18 | → | o1lo01ol1o joins (~o1lo01ol1@89.214.83.229) |
| 2021-08-14 08:41:10 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-14 08:45:54 | × | o1lo01ol1o quits (~o1lo01ol1@89.214.83.229) (Remote host closed the connection) |
| 2021-08-14 08:47:01 | → | o1lo01ol1o joins (~o1lo01ol1@89.214.83.229) |
| 2021-08-14 08:50:41 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-14 08:51:59 | × | o1lo01ol1o quits (~o1lo01ol1@89.214.83.229) (Ping timeout: 268 seconds) |
| 2021-08-14 08:52:51 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-14 08:55:14 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-14 08:58:22 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-14 08:59:13 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-14 09:01:21 | × | sander quits (~sander@user/sander) (Ping timeout: 248 seconds) |
| 2021-08-14 09:01:58 | → | sander joins (~sander@user/sander) |
| 2021-08-14 09:02:37 | × | oxide quits (~lambda@user/oxide) (Client Quit) |
| 2021-08-14 09:19:42 | × | ikex quits (~ash@user/ikex) (Ping timeout: 256 seconds) |
| 2021-08-14 09:20:26 | × | sander quits (~sander@user/sander) (Quit: So long! :)) |
| 2021-08-14 09:20:31 | → | ikex joins (~ash@user/ikex) |
| 2021-08-14 09:20:32 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-14 09:20:39 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-08-14 09:21:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-14 09:21:02 | → | sander joins (~sander@user/sander) |
| 2021-08-14 09:22:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-14 09:23:59 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-14 09:24:17 | → | pfurla joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-14 09:25:56 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 256 seconds) |
| 2021-08-14 09:27:29 | × | pfurla_ quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2021-08-14 09:29:34 | × | sander quits (~sander@user/sander) (Quit: So long! :)) |
| 2021-08-14 09:31:10 | → | sander joins (~sander@user/sander) |
| 2021-08-14 09:35:28 | → | sndr joins (~sander@user/sander) |
| 2021-08-14 09:36:08 | × | sander quits (~sander@user/sander) (Ping timeout: 256 seconds) |
| 2021-08-14 09:36:15 | sndr | is now known as sander |
| 2021-08-14 09:37:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-14 09:41:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-14 09:42:57 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 248 seconds) |
| 2021-08-14 09:42:57 | × | jneira quits (~jneira@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2021-08-14 09:45:50 | → | azeem joins (~azeem@176.200.230.183) |
| 2021-08-14 09:47:28 | × | azeem quits (~azeem@176.200.230.183) (Read error: Connection reset by peer) |
| 2021-08-14 09:47:47 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-14 09:51:17 | → | dunj3 joins (~dunj3@2001:16b8:3087:1500:4897:30d0:e9f9:702b) |
| 2021-08-14 09:52:05 | → | jneira joins (~jneira@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-14 09:55:16 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-14 09:55:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-14 09:59:22 | × | polyphem quits (~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) (Ping timeout: 256 seconds) |
| 2021-08-14 10:01:32 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-14 10:03:48 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-14 10:04:52 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-14 10:05:53 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 248 seconds) |
| 2021-08-14 10:07:00 | → | kuribas joins (~user@ptr-25vy0i7jvn9rvz44z49.18120a2.ip6.access.telenet.be) |
| 2021-08-14 10:08:18 | <kuribas> | Is there a libary that does polymorphic operations over records? |
All times are in UTC.