Logs: liberachat/#haskell
| 2021-06-08 13:03:09 | → | pe200012_ joins (~pe200012@119.145.72.136) |
| 2021-06-08 13:03:36 | <kuribas> | nvm, found it :) |
| 2021-06-08 13:03:41 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-08 13:03:58 | <kuribas> | -Werror=missing-fields |
| 2021-06-08 13:04:13 | <kuribas> | IMO that should have been an error by default... |
| 2021-06-08 13:04:15 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-08 13:06:02 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-06-08 13:06:12 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-06-08 13:06:23 | <tomsmeding> | is that the warning for missing entries when constructing a record? I recently found out that _is_ an error for strict fields |
| 2021-06-08 13:06:31 | <kuribas> | yes |
| 2021-06-08 13:06:36 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 252 seconds) |
| 2021-06-08 13:06:40 | <kuribas> | ah right, so I have to make my fields strict :) |
| 2021-06-08 13:07:15 | → | jao joins (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-08 13:08:04 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 250 seconds) |
| 2021-06-08 13:14:08 | × | liskin quits (~liskin@ackle.nomi.cz) (Changing host) |
| 2021-06-08 13:14:08 | → | liskin joins (~liskin@xmonad/liskin) |
| 2021-06-08 13:14:22 | <amirouche> | re FRP, that is the problem I set myself to tackle (without a particular timeframe) |
| 2021-06-08 13:14:22 | × | mc47 quits (~mc47@89.246.239.190) (Changing host) |
| 2021-06-08 13:14:22 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-08 13:16:38 | <amirouche> | Really, what I want is describe side-effects the GUI declaratively so that the compiler does have to guess hard what functions try to do. |
| 2021-06-08 13:18:45 | → | laguneucl joins (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) |
| 2021-06-08 13:19:18 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-08 13:22:09 | → | mattil joins (~mattil@airio.portalify.com) |
| 2021-06-08 13:22:19 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-08 13:22:21 | → | poljar1 joins (~poljar@93-143-191-129.adsl.net.t-com.hr) |
| 2021-06-08 13:22:43 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-08 13:23:00 | <amirouche> | I guess I need to start building a DSL that make sense, then figure how to wire everything. |
| 2021-06-08 13:23:04 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:90fc:3f0d:1f5e:369a) (Ping timeout: 272 seconds) |
| 2021-06-08 13:23:16 | <amirouche> | (that is a great teaching from the various haskell doc I read) |
| 2021-06-08 13:24:32 | × | poljar quits (~poljar@78-2-43-255.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-06-08 13:24:36 | <kuribas> | I wouldn't worry about the compiler until you actually have a performance problem |
| 2021-06-08 13:25:40 | → | poljar joins (~poljar@93-139-12-109.adsl.net.t-com.hr) |
| 2021-06-08 13:25:55 | <amirouche> | Another source of inspiration might be immediate mode gui such: dear imgui (https://github.com/ocornut/imgui) but it does not support animations |
| 2021-06-08 13:26:10 | × | pe200012_ quits (~pe200012@119.145.72.136) (Remote host closed the connection) |
| 2021-06-08 13:26:38 | → | pe200012_ joins (~pe200012@58.248.179.178) |
| 2021-06-08 13:27:17 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-08 13:28:26 | × | poljar1 quits (~poljar@93-143-191-129.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2021-06-08 13:29:41 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-08 13:29:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-08 13:30:35 | → | jippiedoe joins (~david@77-171-152-62.fixed.kpn.net) |
| 2021-06-08 13:31:41 | × | emliunix__ quits (~emliunix@103.138.74.59) (Remote host closed the connection) |
| 2021-06-08 13:32:00 | → | emliunix__ joins (~emliunix@198.144.166.57) |
| 2021-06-08 13:39:11 | → | roconnor__ joins (~roconnor@host-45-58-218-136.dyn.295.ca) |
| 2021-06-08 13:39:43 | → | ddellacosta joins (~ddellacos@89.46.62.43) |
| 2021-06-08 13:39:59 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-08 13:41:29 | → | tose joins (~tose@ip-85-160-1-181.eurotel.cz) |
| 2021-06-08 13:44:40 | × | agumonke` quits (~user@88.160.31.174) (Read error: Connection reset by peer) |
| 2021-06-08 13:46:14 | × | mattil quits (~mattil@airio.portalify.com) (Remote host closed the connection) |
| 2021-06-08 13:50:34 | × | ddellacosta quits (~ddellacos@89.46.62.43) (Remote host closed the connection) |
| 2021-06-08 13:51:03 | → | ddellacosta joins (~ddellacos@89.46.62.43) |
| 2021-06-08 13:52:52 | → | Pixi_ joins (~Pixi@user/pixi) |
| 2021-06-08 13:54:35 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-08 13:55:18 | × | ddellacosta quits (~ddellacos@89.46.62.43) (Ping timeout: 250 seconds) |
| 2021-06-08 13:55:20 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
| 2021-06-08 13:56:29 | × | mustafa quits (sid502723@rockylinux/releng/mstg) (Changing host) |
| 2021-06-08 13:56:29 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 2021-06-08 13:56:34 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-08 13:57:02 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 250 seconds) |
| 2021-06-08 13:58:20 | × | pe200012_ quits (~pe200012@58.248.179.178) (Ping timeout: 250 seconds) |
| 2021-06-08 13:58:21 | → | pe200012 joins (~pe200012@120.236.162.3) |
| 2021-06-08 14:02:39 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-06-08 14:03:20 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Remote host closed the connection) |
| 2021-06-08 14:03:48 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-08 14:04:53 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::10f7) |
| 2021-06-08 14:06:25 | → | ddellaco_ joins (~ddellacos@89.46.62.129) |
| 2021-06-08 14:07:01 | → | dut joins (~dut@user/dut) |
| 2021-06-08 14:08:12 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-08 14:08:24 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-08 14:08:30 | → | mastarija joins (~mastarija@78-3-218-223.adsl.net.t-com.hr) |
| 2021-06-08 14:09:19 | × | mastarija quits (~mastarija@78-3-218-223.adsl.net.t-com.hr) (Client Quit) |
| 2021-06-08 14:09:42 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Remote host closed the connection) |
| 2021-06-08 14:10:54 | × | rahguzar quits (~rahguzar@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Quit: Connection closed) |
| 2021-06-08 14:15:02 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-06-08 14:16:03 | <guest61> | I saw there's only ghc arm version on debian 9, why not latest? |
| 2021-06-08 14:16:15 | <guest61> | llvm9 |
| 2021-06-08 14:16:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-08 14:18:26 | × | ddellaco_ quits (~ddellacos@89.46.62.129) (Remote host closed the connection) |
| 2021-06-08 14:18:30 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-08 14:18:55 | → | ddellacosta joins (~ddellacos@89.46.62.129) |
| 2021-06-08 14:20:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-08 14:20:16 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-08 14:21:57 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-06-08 14:22:25 | × | ddellacosta quits (~ddellacos@89.46.62.129) (Remote host closed the connection) |
| 2021-06-08 14:22:54 | → | ddellacosta joins (~ddellacos@89.46.62.129) |
| 2021-06-08 14:23:50 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-08 14:24:34 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Ping timeout: 244 seconds) |
| 2021-06-08 14:24:58 | blizzard | is now known as derelict |
| 2021-06-08 14:26:07 | × | derelict quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-06-08 14:26:33 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-06-08 14:26:37 | × | ddellacosta quits (~ddellacos@89.46.62.129) (Remote host closed the connection) |
| 2021-06-08 14:26:48 | → | ddellacosta joins (~ddellacos@89.46.62.129) |
| 2021-06-08 14:26:51 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-08 14:28:35 | → | derelict joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
| 2021-06-08 14:28:57 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-06-08 14:29:37 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-06-08 14:29:43 | <merijn> | guest61: Why not the latest llvm you mean? |
| 2021-06-08 14:32:11 | → | a6a45081-2b83 joins (~aditya@223.178.225.24) |
| 2021-06-08 14:34:30 | × | kiweun quits (~sheepduck@2607:fea8:2a61:4800::2dd8) (Remote host closed the connection) |
| 2021-06-08 14:34:36 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-08 14:34:49 | → | kiweun joins (~sheepduck@2607:fea8:2a61:4800::6882) |
All times are in UTC.