Logs on 2022-04-15 (liberachat/#haskell)
| 00:00:11 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 00:00:37 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 00:00:55 | → | chenqisu1 joins (~chenqisu1@183.217.200.38) |
| 00:00:58 | → | agrosant joins (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) |
| 00:01:48 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 00:04:54 | → | acidjnk joins (~acidjnk@p200300d0c722df165995d7d76cfdd70d.dip0.t-ipconnect.de) |
| 00:06:00 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 00:06:46 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 00:06:56 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:07:53 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 00:11:10 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 00:12:05 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 00:12:47 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 00:14:35 | → | redb joins (~nmh@136.49.49.211) |
| 00:14:57 | × | zeenk quits (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 00:19:37 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 00:20:32 | → | Inst joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 00:21:22 | → | notzmv joins (~zmv@user/notzmv) |
| 00:21:51 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 00:23:55 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:23:55 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:23:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:24:57 | × | Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 00:25:36 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:26:35 | × | mmhat quits (~mmh@55d48cf8.access.ecotel.net) (Quit: WeeChat 3.5) |
| 00:27:04 | × | acidjnk quits (~acidjnk@p200300d0c722df165995d7d76cfdd70d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:29:19 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 00:33:57 | → | rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 00:40:56 | → | vysn joins (~vysn@user/vysn) |
| 00:43:30 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 00:46:29 | → | redb joins (~nmh@136.49.49.211) |
| 00:51:11 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 00:51:46 | → | abastro joins (~abab9579@220.75.216.63) |
| 00:52:27 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 00:55:07 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 00:59:32 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 01:00:32 | → | cyphase joins (~cyphase@user/cyphase) |
| 01:00:41 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 01:04:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:04:26 | → | frost joins (~frost@user/frost) |
| 01:08:53 | janus__ | is now known as janus |
| 01:09:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:10:19 | → | jhagborg joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 01:10:45 | × | jhagborg quits (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 01:10:58 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:09 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 01:12:48 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 01:14:13 | → | razetime joins (~quassel@117.254.34.72) |
| 01:14:46 | <razetime> | is there a simple haskell package creation tutorial? |
| 01:14:49 | <razetime> | just a hello world app |
| 01:17:03 | → | darkstardevx joins (~darkstard@50.53.212.60) |
| 01:17:05 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:38 | × | neurocyte8614492 quits (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 01:18:12 | → | redb joins (~nmh@136.49.49.211) |
| 01:22:15 | → | mud joins (~mud@user/kadoban) |
| 01:25:13 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 01:26:21 | → | lainon joins (~lainon@2601:7c0:c500:4d20::e45d) |
| 01:28:45 | × | lainon quits (~lainon@2601:7c0:c500:4d20::e45d) (Client Quit) |
| 01:28:55 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 01:30:57 | → | andrey__ joins (~andrey@p200300dbcf086f005d691fef4faa01bb.dip0.t-ipconnect.de) |
| 01:33:43 | × | andrey_ quits (~andrey@p200300dbcf0f96005281d43d055d6f73.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:34:15 | <sm> | `stack new myproject` is an easy start |
| 01:34:44 | <razetime> | i see |
| 01:34:59 | <razetime> | no way to do so with cabal? |
| 01:35:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 01:36:04 | <sm> | I'm sure there's something on hackage at least. Built in there's the `init` command, which you run in an existing source tree |
| 01:36:42 | <sm> | "summoner" comes to mind |
| 01:37:13 | → | redb joins (~nmh@136.49.49.211) |
| 01:37:18 | <sm> | but that's more than you need |
| 01:37:37 | <razetime> | i see. |
| 01:39:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:39:52 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:41:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 01:42:23 | → | jespada_ joins (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 01:43:26 | <sm> | mkdir new && cd new && cabal init makes a package, though I couldn't figure out how to build it |
| 01:43:27 | × | jespada quits (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 01:47:05 | → | kaph_ joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 01:47:05 | × | kaph quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Read error: Connection reset by peer) |
| 01:48:31 | <sm> | mkdir new && cd new && cabal init && stack init && stack build :) |
| 01:49:42 | <sm> | that's actually a pretty nice minimal project |
| 01:50:31 | <justsomeguy> | With stack it's stack sdist to create the tarball with source code in it for submission on hackage. I'm not sure about cabal, maybe cabal v2-sdist is worth reading about? |
| 01:51:16 | <justsomeguy> | takes the crucial files needed to build TARGETS and puts them into an archive format ready for upload to Hackage. These archives are stable and two archives of the same format built from the same source will hash to the same value. |
| 01:51:18 | <justsomeguy> | cabal v2-sdist takes the following flags: |
| 01:51:50 | <justsomeguy> | Darn, I pasted the wrong buffer. Sorry about that.... further reading: https://cabal.readthedocs.io/en/3.6/cabal-commands.html#cabal-v2-sdist |
| 01:53:47 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Ping timeout: 260 seconds) |
| 01:56:33 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 02:00:24 | × | ubert quits (~Thunderbi@p200300ecdf15889a6dd735575757d7c8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 02:00:42 | → | ubert joins (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 02:01:33 | → | cyphase joins (~cyphase@user/cyphase) |
| 02:02:50 | → | redb joins (~nmh@136.49.49.211) |
| 02:05:24 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 02:10:27 | × | kaph_ quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 240 seconds) |
| 02:14:04 | → | myousufq joins (~myousufq@122-60-198-171-adsl.sparkbb.co.nz) |
| 02:16:47 | <razetime> | hm i see |
| 02:17:05 | <razetime> | where does stack build build to? |
| 02:17:31 | <razetime> | also if there is one i'd like to read a tutorial on what each file does in the generated package. |
| 02:38:16 | × | inversed_ quits (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 02:39:55 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 02:40:40 | <abastro[m]> | What is `evacuate: strange closure type` error? |
| 02:40:46 | <abastro[m]> | from ghc internal error |
| 02:40:58 | <abastro[m]> | https://paste.tomsmeding.com/2haEqtNt |
| 02:42:19 | → | inversed joins (~inversed@94.13.111.159) |
| 02:46:07 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 02:50:00 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 02:51:07 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 02:55:55 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 02:56:29 | → | abastro joins (~abab9579@220.75.216.63) |
| 03:01:38 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 250 seconds) |
| 03:08:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 03:12:24 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 03:12:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:16:03 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 03:19:39 | × | abastro quits (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 03:23:07 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 03:28:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:29:34 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 03:30:33 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 03:35:31 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 03:37:06 | → | Inst joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 03:38:00 | × | rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 03:40:08 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 03:52:15 | × | Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer) |
| 03:55:51 | → | tcard joins (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 04:09:31 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 04:14:35 | → | fef joins (~thedawn@user/thedawn) |
| 04:15:28 | → | deadmarshal_ joins (~deadmarsh@95.38.117.212) |
| 04:30:05 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 04:32:17 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:33:03 | → | bahamas joins (~lucian@84.232.140.158) |
| 04:34:04 | zero | is now known as zzz |
| 04:36:42 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 04:45:22 | <razetime> | abastro: Some similar errors: https://github.com/commercialhaskell/stack/issues/906 , https://github.com/commercialhaskell/stack-ide/issues/61 |
| 04:46:01 | <razetime> | both are from 2015 so dunno if it is the same problem |
| 04:49:46 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 04:51:10 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 04:56:30 | → | redb joins (~nmh@136.49.49.211) |
| 04:57:36 | → | jespada joins (~jespada@2a0c:5c84:1:1000::b65d) |
| 04:58:15 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 04:59:04 | × | jespada_ quits (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 05:00:47 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 05:11:37 | → | coot joins (~coot@213.134.190.95) |
| 05:13:21 | → | redb joins (~nmh@136.49.49.211) |
| 05:14:14 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 05:15:05 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Ping timeout: 248 seconds) |
| 05:17:16 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 05:18:24 | × | deadmarshal_ quits (~deadmarsh@95.38.117.212) (Ping timeout: 246 seconds) |
| 05:20:10 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 05:29:23 | → | axeman joins (~quassel@2a02:8109:a380:78:e29a:f736:dcf1:b643) |
| 05:31:39 | <abastro[m]> | Unlikely, because mine only happens with ghc9.2.2 |
| 05:32:47 | → | bahamas joins (~lucian@84.232.140.158) |
| 05:36:13 | × | finsternis quits (~X@23.226.237.192) (Ping timeout: 256 seconds) |
| 05:36:42 | → | finsternis joins (~X@23.226.237.192) |
| 05:37:07 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 05:52:14 | → | deadmarshal_ joins (~deadmarsh@95.38.117.212) |
| 06:05:41 | × | deadmarshal_ quits (~deadmarsh@95.38.117.212) (Ping timeout: 256 seconds) |
| 06:05:47 | → | bahamas joins (~lucian@84.232.140.158) |
| 06:10:12 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 06:14:09 | → | bahamas joins (~lucian@84.232.140.158) |
| 06:23:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 06:25:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:26:31 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:29:38 | <geekosaur> | that is, as the message says, a ghc bug. in particular it means there is memory corruption |
| 06:30:56 | → | akegalj joins (~akegalj@93-138-125-38.adsl.net.t-com.hr) |
| 06:31:11 | → | deadmarshal_ joins (~deadmarsh@95.38.117.212) |
| 06:37:07 | → | michalz joins (~michalz@185.246.204.57) |
| 06:38:25 | <abastro[m]> | Oh no, memory corruption? |
| 06:38:33 | <abastro[m]> | I feel sorry to the computer |
| 06:38:41 | <abastro[m]> | I should have done something very wrong |
| 06:39:00 | → | fendor joins (~fendor@91.141.65.122.wireless.dyn.drei.com) |
| 06:39:06 | → | odnes joins (~odnes@5-203-176-169.pat.nym.cosmote.net) |
| 06:39:56 | × | odnes quits (~odnes@5-203-176-169.pat.nym.cosmote.net) (Client Quit) |
| 06:40:49 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 06:53:07 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:55:23 | → | Midjak joins (~Midjak@82.66.147.146) |
| 06:58:58 | → | alp_ joins (~alp@user/alp) |
| 06:59:46 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 07:06:49 | → | acidjnk joins (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) |
| 07:09:05 | → | wei2912 joins (~wei2912@138.75.71.147) |
| 07:12:10 | <DemiMarieObenour> | There are a few things that can cause this error:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/8fda2483661148a09a75c656f7bb91da96fd668a) |
| 07:16:23 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 07:19:05 | × | bahamas quits (~lucian@84.232.140.158) (Quit: leaving) |
| 07:20:23 | → | zeenk joins (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 07:24:13 | → | majjoha joins (~mathias@80.71.142.8.ipv4.parknet.dk) |
| 07:24:13 | → | kenran joins (~kenran@200116b82bcf090027b837393b6d727e.dip.versatel-1u1.de) |
| 07:24:22 | × | kenran quits (~kenran@200116b82bcf090027b837393b6d727e.dip.versatel-1u1.de) (Client Quit) |
| 07:32:54 | → | mmhat joins (~mmh@55d499ca.access.ecotel.net) |
| 07:42:40 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:48:53 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:49:45 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 07:50:27 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 07:52:01 | <abastro[m]> | I see, hm I wonder |
| 07:53:33 | × | Athas quits (athas@2a01:7c8:aaac:1cf:1c09:1958:649b:4873) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:53:42 | → | Athas joins (athas@sigkill.dk) |
| 07:59:46 | × | jespada quits (~jespada@2a0c:5c84:1:1000::b65d) (Remote host closed the connection) |
| 08:02:24 | ← | zyklotom1 parts (~ethan@res380d-128-61-83-86.res.gatech.edu) (WeeChat 2.7.1) |
| 08:02:27 | → | MajorBiscuit joins (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 08:05:02 | → | jespada joins (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 08:05:07 | → | anomal joins (~anomal@87.227.196.109) |
| 08:12:04 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 08:18:45 | → | dextaa joins (~dextaa@user/dextaa) |
| 08:20:08 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 08:23:13 | × | majjoha quits (~mathias@80.71.142.8.ipv4.parknet.dk) (Quit: WeeChat 3.4.1) |
| 08:30:11 | × | MajorBiscuit quits (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 08:31:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:31:41 | → | haskellberryfinn joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:33:47 | × | deadmarshal_ quits (~deadmarsh@95.38.117.212) (Ping timeout: 240 seconds) |
| 08:37:18 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 08:45:57 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 08:46:31 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 08:49:15 | → | MajorBiscuit joins (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 08:51:20 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 08:53:35 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 08:55:29 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 09:00:11 | × | wei2912 quits (~wei2912@138.75.71.147) (Quit: Lost terminal) |
| 09:00:12 | × | weeezes[m] quits (~weeezesma@2001:470:69fc:105::1:da65) (Quit: You have been kicked for being idle) |
| 09:01:42 | → | CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:04:46 | × | akegalj quits (~akegalj@93-138-125-38.adsl.net.t-com.hr) (Quit: leaving) |
| 09:07:54 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 09:09:29 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 09:19:44 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 09:19:55 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 09:20:07 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 09:20:38 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 09:24:42 | × | axeman quits (~quassel@2a02:8109:a380:78:e29a:f736:dcf1:b643) (Ping timeout: 250 seconds) |
| 09:28:48 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 09:31:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:33:01 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 09:36:01 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 09:42:04 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 09:44:04 | → | FragByte joins (~christian@user/fragbyte) |
| 09:48:18 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 09:49:01 | × | bliminse quits (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Quit: leaving) |
| 09:49:11 | → | Pickchea joins (~private@user/pickchea) |
| 09:51:40 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 09:54:13 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 09:54:24 | → | zaquest joins (~notzaques@5.130.79.72) |
| 09:58:56 | × | CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 10:03:48 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:04:33 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 10:06:18 | → | axeman joins (~quassel@2a02:8109:a380:78:fc00:74bd:407d:bc5d) |
| 10:06:52 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:06:53 | → | bliminse joins (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 10:07:07 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 10:08:47 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 10:09:11 | × | machinedgod quits (~machinedg@24.105.81.50) (Quit: Lost terminal) |
| 10:09:14 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 10:09:16 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 10:09:39 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 10:14:27 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 10:16:27 | × | machinedgod quits (~machinedg@24.105.81.50) (Quit: Lost terminal) |
| 10:16:45 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:3954:3f8f:fc68:2c90) |
| 10:17:13 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 10:18:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 10:19:39 | → | Flonk joins (~Flonk@vps-zap441517-1.zap-srv.com) |
| 10:20:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 10:22:11 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 10:22:18 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 10:22:22 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 10:23:12 | → | CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 10:23:42 | × | ubert quits (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 10:23:42 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 10:24:20 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 10:26:34 | × | machinedgod quits (~machinedg@24.105.81.50) (Client Quit) |
| 10:27:01 | → | xff0x_ joins (~xff0x@om126033121185.35.openmobile.ne.jp) |
| 10:28:31 | → | chenqisu12 joins (~chenqisu1@183.217.200.38) |
| 10:28:37 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 10:29:05 | × | chenqisu1 quits (~chenqisu1@183.217.200.38) (Read error: Connection reset by peer) |
| 10:30:07 | → | mixfix41 joins (~sdenynine@user/mixfix41) |
| 10:30:08 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 10:32:49 | × | machinedgod quits (~machinedg@24.105.81.50) (Client Quit) |
| 10:33:51 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 10:38:04 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 10:38:32 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 10:40:41 | × | haskellberryfinn quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3) |
| 10:41:02 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 10:42:31 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 10:44:40 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 10:46:38 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 10:47:07 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 10:52:34 | sander | is now known as sandercat |
| 10:55:01 | × | myousufq quits (~myousufq@122-60-198-171-adsl.sparkbb.co.nz) (Quit: Client closed) |
| 10:55:16 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 250 seconds) |
| 10:59:37 | → | akegalj joins (~akegalj@31-154.dsl.iskon.hr) |
| 11:00:17 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 11:01:07 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 11:02:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 11:02:33 | → | califax joins (~califax@user/califx) |
| 11:07:54 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 11:14:31 | × | xff0x_ quits (~xff0x@om126033121185.35.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 11:19:36 | × | gabriel_1 quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
| 11:20:19 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 11:22:09 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 11:22:26 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 11:24:38 | → | oxide joins (~lambda@user/oxide) |
| 11:25:21 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 11:30:53 | → | hololeap joins (~hololeap@user/hololeap) |
| 11:31:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:32:07 | × | CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 11:32:40 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:35:13 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 11:35:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 11:36:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:36:46 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 11:38:48 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 11:39:36 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 11:41:43 | → | fef joins (~thedawn@user/thedawn) |
| 11:43:20 | × | cdman quits (~dcm@user/dmc/x-4369397) (Remote host closed the connection) |
| 11:44:08 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 11:44:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 11:46:43 | → | xff0x_ joins (~xff0x@om126166161105.28.openmobile.ne.jp) |
| 11:47:26 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 11:49:02 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
| 11:51:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:51:49 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 11:56:01 | → | nattiestnate joins (~nate@202.138.250.29) |
| 11:56:08 | → | Pickchea joins (~private@user/pickchea) |
| 11:56:40 | × | akegalj quits (~akegalj@31-154.dsl.iskon.hr) (Quit: leaving) |
| 11:58:12 | → | abastro joins (~abab9579@220.75.216.63) |
| 12:01:15 | → | CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 12:01:16 | × | dsrt^ quits (~dsrt@50.226.13.122) (Read error: Connection reset by peer) |
| 12:02:03 | → | dsrt^ joins (~dsrt@50.226.13.122) |
| 12:07:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 12:08:32 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:10:57 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 12:14:32 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:8ff1:2b75:9431:bb01) |
| 12:16:51 | × | MajorBiscuit quits (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 12:18:23 | <geekosaur> | DemiMarieObenour, xmonad does no unsafe operations but a lot of FFI, and we've had bugs in the X11 FFI interfaces before. it just seems odd to me that (a) this only happens with 9.2.2, and (b) I couldn't reproduce it when I upgraded my setup to 9.2.2 |
| 12:18:47 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 12:18:53 | <geekosaur> | and (c) abastro[m] is seeing it with a very minimal config, which should make it easy to reproduce |
| 12:19:52 | <geekosaur> | I'd be tempted to rebuild everything from scratch |
| 12:20:34 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 12:20:41 | × | razetime quits (~quassel@117.254.34.72) (Ping timeout: 248 seconds) |
| 12:21:34 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 12:22:16 | × | axeman quits (~quassel@2a02:8109:a380:78:fc00:74bd:407d:bc5d) (Ping timeout: 248 seconds) |
| 12:22:17 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 12:24:01 | × | chenqisu12 quits (~chenqisu1@183.217.200.38) (Ping timeout: 246 seconds) |
| 12:24:47 | × | sprout quits (~quassel@2a02-a467-ccd6-1-d9a7-d237-b363-1f2.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 12:25:13 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 12:27:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:33:07 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:33:27 | → | razetime joins (~quassel@117.254.34.157) |
| 12:37:56 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 12:38:15 | → | MajorBiscuit joins (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 12:39:52 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 12:43:29 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 12:43:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 12:43:46 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 12:44:51 | → | deadmarshal_ joins (~deadmarsh@95.38.119.200) |
| 12:45:43 | → | chenqisu12 joins (~chenqisu1@183.217.200.38) |
| 12:45:46 | × | CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 12:46:26 | × | chenqisu12 quits (~chenqisu1@183.217.200.38) (Max SendQ exceeded) |
| 12:47:51 | → | kaph_ joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 12:47:58 | × | kaph quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Read error: Connection reset by peer) |
| 12:49:30 | → | vysn joins (~vysn@user/vysn) |
| 12:54:28 | → | sprout joins (~quassel@77-169-234-124.fixed.kpn.net) |
| 12:55:46 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 12:55:57 | × | dextaa quits (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 12:56:04 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 12:58:28 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 13:02:45 | × | deadmarshal_ quits (~deadmarsh@95.38.119.200) (Ping timeout: 256 seconds) |
| 13:05:30 | → | coot joins (~coot@213.134.190.95) |
| 13:07:12 | <abastro[m]> | Was it indeed a minimal config? |
| 13:08:12 | → | chomwitt joins (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) |
| 13:09:12 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 13:09:23 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 13:09:34 | → | abastro joins (~abab9579@220.75.216.63) |
| 13:09:46 | <abastro> | I wish it was :P |
| 13:15:35 | <geekosaur> | that was quite minimal, yes |
| 13:16:05 | <geekosaur> | a few more things could be removed to make a truly minimal config (`main = xmonad def`); it might be worth seeing if you can reproduce with that |
| 13:16:25 | <geekosaur> | (I'd use a xephyr to test rather than dumbifying my whole session though) |
| 13:20:13 | → | zebrag joins (~chris@user/zebrag) |
| 13:22:56 | × | benin quits (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 13:27:53 | × | sandercat quits (~sander@user/sander) (Quit: So long! :)) |
| 13:29:13 | → | sander joins (~sander@user/sander) |
| 13:31:46 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 13:35:45 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 13:36:07 | → | joo-_ joins (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 13:36:07 | × | joo-_ quits (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 13:36:07 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 13:38:27 | × | sprout quits (~quassel@77-169-234-124.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 13:40:29 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 13:41:26 | → | sprout joins (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 13:43:16 | <abastro[m]> | Hmm, let's see if `xmonad def` actually works |
| 13:46:36 | → | alp_ joins (~alp@user/alp) |
| 13:48:22 | × | kaph_ quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 246 seconds) |
| 13:51:19 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 13:54:32 | × | sprout quits (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 13:57:28 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 13:57:48 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in) |
| 14:00:48 | → | Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 14:02:42 | → | sprout joins (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 14:09:26 | × | nattiestnate quits (~nate@202.138.250.29) (Quit: WeeChat 3.5) |
| 14:11:16 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:14:39 | × | sayola1 quits (~vekto@dslb-088-078-152-238.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 14:16:23 | → | vpan joins (~0@212.117.1.172) |
| 14:18:17 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 14:18:43 | juri_ | hits her code with a hammer. |
| 14:19:03 | <juri_> | don't you hate that feeling when you do things you know are dangerous, and then the test suite passes? |
| 14:21:36 | <abastro[m]> | geekosaur: seems like the ghc internal error was more a coincidence.. Meh |
| 14:22:12 | <abastro[m]> | Got `Gdk-Message: 23:19:11.674: firefox: Fatal IO error 0 (Success) on X server :1.` |
| 14:22:12 | <abastro[m]> | then, |
| 14:22:12 | <abastro[m]> | `Exiting due to channel error. Exiting due to channel error.` |
| 14:22:12 | <geekosaur> | if it'snot happening now then I'd triage adding pieces back in until it breaks again |
| 14:22:23 | <geekosaur> | oh |
| 14:22:32 | <abastro[m]> | I mean it turns off for different reason |
| 14:22:48 | <geekosaur> | mm, that might be more because firefox doesn't like sharing its config files |
| 14:22:51 | <abastro[m]> | What is this "Fatal IO error 0 (Success) on X server :1" |
| 14:23:09 | <abastro[m]> | Oh, that one is not significant then? |
| 14:23:15 | <geekosaur> | when I use xephyr I set up a mirror $HOME somewhere else so things like firefox don't break |
| 14:23:43 | <geekosaur> | right, I think it's just unhappy about its config files already being in use |
| 14:24:14 | <abastro[m]> | But then, how could it turn my xmonad off |
| 14:25:13 | <abastro[m]> | Right after that message, I was thrown back to the login shell |
| 14:26:23 | <abastro[m]> | Perhaps this time I'd avoid turning on firefox and see |
| 14:26:30 | <geekosaur> | mm, then that wouldn't be the issue |
| 14:26:43 | <geekosaur> | also a firefox error wouldn't kill xmonad regardless |
| 14:26:51 | <geekosaur> | (also this all belongs in #xmonad :) |
| 14:27:16 | <geekosaur> | is that really the last error shown? how did you run xephyr? |
| 14:29:29 | <abastro[m]> | Oh, I guess I should do the xephyr one |
| 14:29:51 | <abastro[m]> | I was still running simply by xsession desktop file |
| 14:30:03 | <abastro[m]> | Let me go to xmonad channel |
| 14:33:51 | <supersven> | juri_: Without having any context... Have you already sent QuickCheck into the game? (Might solve this "My testsuite is passing" issue ;) ) |
| 14:34:22 | → | systemovich joins (~User@197-99-134-128.ip.broadband.is) |
| 14:35:05 | <juri_> | supersven: yep. everything is property tests. |
| 14:35:21 | <juri_> | supersven: just to make things more fearful: this is all floating point math. |
| 14:35:59 | × | dsrt^ quits (~dsrt@50.226.13.122) (Remote host closed the connection) |
| 14:37:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 14:38:57 | → | Pickchea joins (~private@user/pickchea) |
| 14:39:27 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:39:50 | <juri_> | supersven: also, good job not working on a day off. :) |
| 14:39:54 | <juri_> | <-- Julia Longtin |
| 14:44:01 | <supersven> | juri_: Yes, I saw :) (Usually, I'm only bugging people in #ghc ;) ) |
| 14:44:02 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 14:46:18 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 14:49:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:50:42 | → | axeman joins (~quassel@ip5f5aecfe.dynamic.kabel-deutschland.de) |
| 14:51:11 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:52:18 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:54:33 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 14:56:37 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 14:58:25 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 14:59:34 | <supersven> | juri_: Do you need floating point calculations for speed? Otherwise, I think you may get around it by multiplying by base 10 to map into integral range and later divide to get back. (e.g. (0.3 * 10 * 7) / 10 == 0.3 * 7 ) |
| 15:09:27 | × | cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 15:10:01 | <systemovich> | How would you read this out loud from left to right: findKey :: (Eq k) => k -> [(k,v)] -> v |
| 15:11:20 | <geekosaur> | I generally wouldn't |
| 15:14:12 | <lechner> | Hi, are pkg-cfg files ever installed under names other than $name-$version-$hash.conf ? |
| 15:16:06 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:20:39 | × | sprout quits (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 15:21:20 | → | sprout joins (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 15:21:31 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:22:29 | <c_wraith> | systemovich: I might be tempted to read that as "findKey is fragile and you should probably use find instead" |
| 15:24:34 | → | vestige[m] joins (~vestigema@2001:470:69fc:105::1:f9dd) |
| 15:24:58 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 15:25:36 | <geekosaur> | systemovitch, re reading, sometimes natural language is just the wrong tool |
| 15:25:48 | <geekosaur> | systemovich, ^ |
| 15:28:57 | × | razetime quits (~quassel@117.254.34.157) (Ping timeout: 256 seconds) |
| 15:29:49 | <systemovich> | findKey is just an example from learnyouhaskell. |
| 15:32:00 | <systemovich> | The main hiccup is (Eq k) => . Maybe one should skip that, then come back to it. |
| 15:33:03 | <geekosaur> | well, that one is actually easy to say in English: "for some type k with an Eq instance" |
| 15:33:11 | <geekosaur> | it's the rest of it that's difficult |
| 15:33:25 | <geekosaur> | or s/for/given/ |
| 15:33:29 | × | MajorBiscuit quits (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 15:35:44 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 15:35:53 | × | sprout quits (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 15:36:17 | <juri_> | supersven: I definately need all of the speed i can get. :) |
| 15:36:30 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 15:36:35 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:38:00 | <juri_> | supersven: I'm doing stuff that keeps a 56 core machine busy for hours. :) |
| 15:38:21 | → | razetime joins (~quassel@117.254.35.130) |
| 15:38:47 | × | acidjnk quits (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 15:39:15 | → | stackdroid18 joins (14094@user/stackdroid) |
| 15:40:22 | → | sprout joins (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 15:40:40 | → | kaph_ joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 15:41:08 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 15:41:24 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:45:23 | → | MajorBiscuit joins (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 15:53:40 | × | iteratee_ quits (~kyle@162.218.222.107) (Remote host closed the connection) |
| 15:53:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:03:42 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:04:36 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 16:06:27 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 16:07:20 | × | xff0x_ quits (~xff0x@om126166161105.28.openmobile.ne.jp) (Ping timeout: 248 seconds) |
| 16:07:23 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
| 16:08:01 | <abastro[m]> | `findKey: w/ Equable k, give k and list (k, v), returns v` |
| 16:08:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:11:44 | → | toulene joins (~toulene@user/toulene) |
| 16:12:20 | → | Guest2525 joins (~Guest25@151.246.65.10) |
| 16:12:46 | <Guest2525> | can the map function take two functions and and give it one parameter |
| 16:13:03 | <Guest2525> | one and same, I mean |
| 16:13:07 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 16:13:24 | <c_wraith> | Guest2525: the map function can't do that, but the function you pass to it can |
| 16:13:45 | <Guest2525> | I see lol |
| 16:14:01 | <c_wraith> | > map (\x -> (sum x, length x)) [[1,2,3],[4],[5,6]] |
| 16:14:04 | <lambdabot> | [(6,3),(4,1),(11,2)] |
| 16:14:07 | <Guest2525> | I saw a funky line in a xmonad config that used two functions for one variable and got confused |
| 16:15:19 | <c_wraith> | well, there are cases where that can happen. You can use a higher-order function to manipulate functions and then call the result, making it look like you're passing more arguments than a type asks for |
| 16:15:27 | <c_wraith> | But that doesn't really happen with map |
| 16:16:24 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 16:16:30 | <abastro[m]> | Two functions for one variable? o.O |
| 16:17:02 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 16:17:05 | <abastro[m]> | > ((+) <*> (* 2)) 5 |
| 16:17:08 | <lambdabot> | 15 |
| 16:17:29 | <abastro[m]> | ^ perhaps like this? |
| 16:18:01 | <Guest2525> | "(map (withNthWorkspace W.greedyView) [0..]" |
| 16:18:06 | <Guest2525> | this was the line |
| 16:18:14 | <c_wraith> | oh, that's just partial application |
| 16:18:15 | <Guest2525> | taken from XMonad.Actions.DynamicWorkspaces |
| 16:18:29 | <c_wraith> | withNWorkspace takes two parameters |
| 16:18:43 | <c_wraith> | The first one doesn't vary, so just provide it up front |
| 16:18:43 | <Guest2525> | ah! |
| 16:18:59 | <Guest2525> | zip (zip (repeat (modm)) [xK_1..xK_9]) (map (withNthWorkspace W.greedyView) [0..]) |
| 16:19:05 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:19:21 | <c_wraith> | ugh, nested zip. |
| 16:19:29 | <Guest2525> | yeah lol |
| 16:19:36 | → | boxscape_ joins (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 16:19:41 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 16:20:35 | <c_wraith> | > foldr (\x k z -> k $! x + z) id [1,2,7,3] 0 -- how many arguments does foldr take, anyway? :) |
| 16:20:36 | <lambdabot> | 13 |
| 16:21:16 | <abastro[m]> | That zip code looks like my codegolf short code |
| 16:22:29 | <Guest2525> | I wish it worked. When I wrote something similiar with withNthWorkspace it threw out an error with types being unexpected |
| 16:22:35 | <Guest2525> | guess I can't just copy paste |
| 16:22:45 | <jackson99> | c_wraith one :) |
| 16:24:26 | <abastro[m]> | `zip (zip (repeat (modm)) [xK_1..xK_9])` I guess this one is coming in my nightmare :P |
| 16:24:27 | <c_wraith> | GHC makes things more complex than that. Like, it's true in some sense, but it also cares about the number of formal parameters in the definition |
| 16:26:40 | <geekosaur> | abastro[m], since you use EZConfig, yours will be uglier :) |
| 16:27:15 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 16:27:36 | <geekosaur> | it'snicer for direct key definitions but worse for programmed ones |
| 16:29:25 | <Guest2525> | I use EZConfig too, generally for these things I use the list comprehension trick |
| 16:29:31 | <Guest2525> | ++ [ ("M-M1-C-" ++ tag, (windows $ copy tag) >> (windows $ W.greedyView tag)) | tag <- myWorkspaces ] |
| 16:29:33 | <Guest2525> | like this |
| 16:32:03 | <abastro[m]> | geekosaur: That is why I only use direct key definitions :) |
| 16:32:20 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:33:13 | → | DNH joins (~DNH@2a09:bac0:48::82b:7a43) |
| 16:37:39 | × | MajorBiscuit quits (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds) |
| 16:38:30 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:38:41 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 16:38:42 | × | Guest2525 quits (~Guest25@151.246.65.10) (Quit: Client closed) |
| 16:39:46 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 16:41:43 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:45:45 | × | razetime quits (~quassel@117.254.35.130) (Ping timeout: 248 seconds) |
| 16:46:07 | × | axeman quits (~quassel@ip5f5aecfe.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 16:56:41 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 17:00:32 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 17:01:34 | → | Guest2589 joins (~Guest25@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 17:02:33 | <jackson99> | is there built-in succWrap? |
| 17:02:50 | × | Guest2589 quits (~Guest25@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Client Quit) |
| 17:02:55 | <monochrom> | No. |
| 17:03:42 | → | lifter joins (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 17:04:50 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:07:14 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:12:08 | → | vicfred joins (~vicfred@user/vicfred) |
| 17:12:41 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 17:13:15 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 17:14:06 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 17:16:00 | → | RevoGen joins (~RevoGen@136.167.108.23) |
| 17:17:19 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 17:18:30 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::d5c4) |
| 17:19:30 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 17:20:43 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:20:56 | × | boxscape_ quits (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 17:23:19 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:24:09 | <lifter> | Hello! I would like to be able to use the "getChar" function without it waiting for the user to press Enter. I can achieve this with "hSetBuffering stdin NoBuffering", which is OK. However I was experimenting with "hFlush" and couldn't seem to get it to work. I thought "getChar >>= \c -> hFlush stdin >> return c" would do the trick, but it still |
| 17:24:10 | <lifter> | waits for me to hit Enter, and then the program immediately crashes with "<stdin>: hFlush: illegal operation (handle is not open for writing)". Does anyone know why? |
| 17:24:24 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 17:24:49 | <geekosaur> | because hFlush flushesoutput, it doesnot causeimmediate reads |
| 17:25:57 | <geekosaur> | "flush input" is meaningless, and in any case wouldn't be able to happen until the read returned, which with LineBuffering (the default on a terminal) requires the Enterkey |
| 17:26:27 | <monochrom> | In addition to the chronology problem that if getChar hasn't returned yet, the hFlush call doesn't happen. |
| 17:26:46 | <lifter> | OK, thanks, that makes sense. So maybe there isn't a way to achieve what I want apart from "hSetBuffering stdin NoBuffering"? |
| 17:27:33 | <geekosaur> | correct |
| 17:27:55 | <geekosaur> | (there's also that that hSetBuffering call is also changing the terminal mode, which is less than obvious) |
| 17:28:23 | <geekosaur> | "stty -icanon vmin 1 vtime 0" |
| 17:29:24 | <monochrom> | Ah, yeah, that too, for example in line buffering you will never receive the backspace and delete keys. |
| 17:32:53 | <lifter> | Actually I'm wondering about that as well. These days what's a popular way to do something like "Data.Text.IO.getLine" but with support of backspace, arrow keys, etc.? |
| 17:34:04 | <geekosaur> | haskeline comes with ghc |
| 17:34:22 | <lifter> | Oh really? I didn't know that. |
| 17:34:24 | <geekosaur> | there are bindings for readline but they're problematic to build on windows and macos |
| 17:34:49 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 17:36:17 | <jackson99> | haskeline works well on windows? |
| 17:38:16 | <geekosaur> | works everywhere ghc does |
| 17:39:10 | <geekosaur> | whereas getting readline on windows is a pain, and apple ships a "readline" that is actually BSD editline with the serial numbers filed off |
| 17:40:10 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 17:41:50 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:42:17 | × | sprout quits (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 17:43:41 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:43:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:44:00 | → | Macbethwin joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 17:46:16 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 17:46:36 | → | econo joins (uid147250@user/econo) |
| 17:46:55 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:8ff1:2b75:9431:bb01) (Remote host closed the connection) |
| 17:47:30 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 17:49:27 | → | axeman joins (~quassel@2a02:8109:a380:78:66f:ccdf:5946:a8b1) |
| 17:50:27 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Ping timeout: 240 seconds) |
| 17:52:21 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 17:53:14 | <sm> | Haskell win #317! Another satisfied customer! NEXT |
| 17:53:39 | <sm> | g'day all |
| 17:53:47 | × | lifter quits (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Client closed) |
| 17:53:56 | → | lifter joins (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 17:54:14 | <geekosaur> | o/ |
| 17:55:26 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 17:55:35 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 17:59:39 | → | nosewings joins (~ngpc@2603-8081-3e05-e2d0-49f1-c077-67be-f595.res6.spectrum.com) |
| 18:01:07 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 18:04:37 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:05:44 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 18:05:46 | → | boxscape_ joins (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 18:06:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 18:06:55 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:08:33 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 18:12:30 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 18:14:03 | → | goepsilongo joins (~chacho@2603-7000-ab00-62ed-0000-0000-0000-1000.res6.spectrum.com) |
| 18:19:57 | <DigitalKiwi> | never did figure out why that stack thing worked on windows and ubuntu but not nixos |
| 18:20:20 | <DigitalKiwi> | i did get a new ssd for my laptop that stack filled up but i haven't installed it yet... |
| 18:20:38 | <DigitalKiwi> | it's 1tb :D |
| 18:20:56 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 18:22:44 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 18:22:55 | → | anomal joins (~anomal@87.227.196.109) |
| 18:23:10 | × | axeman quits (~quassel@2a02:8109:a380:78:66f:ccdf:5946:a8b1) (Quit: No Ping reply in 180 seconds.) |
| 18:24:25 | → | axeman joins (~quassel@2a02:8109:a380:78:4c41:7a81:b394:6cf) |
| 18:27:27 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 18:28:12 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:29:47 | → | oxide joins (~lambda@user/oxide) |
| 18:33:04 | × | lifter quits (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Ping timeout (120 seconds)) |
| 18:48:30 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 18:48:59 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 18:49:20 | <zebrag> | It's everywhere emphasized that control (evaluation order), is hardwired in monads, even though it isn't so, as reminded here: https://wiki.haskell.org/Evaluation_order_and_state_tokens |
| 18:53:16 | <dolio> | That page doesn't really have anything to do with monads. |
| 18:55:24 | <dolio> | It is true that people erroneously overstate the connection between monads and evaluation order, though. |
| 18:57:01 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 18:58:00 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 19:02:22 | <monochrom> | The state token is a coding trick to trick a code generator designed for lazy evaluation into generating not-so-lazy code. The trick is creating a fictional data dependency. |
| 19:02:31 | → | deadmarshal_ joins (~deadmarsh@95.38.119.200) |
| 19:03:05 | <monochrom> | The alternative would be to write a 2nd code generator. |
| 19:04:40 | <monochrom> | s/lazy evaluation/really any order that honours data dependency but otherwise takes liberty to deviate from call-by-value/ |
| 19:05:53 | × | systemovich quits (~User@197-99-134-128.ip.broadband.is) (Quit: Konversation terminated!) |
| 19:06:36 | → | redb joins (~nmh@136.49.49.211) |
| 19:06:49 | <monochrom> | The idea of a state token should remind you of linear types much more than monads. >:) |
| 19:07:47 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 19:08:10 | <monochrom> | Indeed, IIRC Mercury or Clean (I forgot which) makes you write linear state-token-passsing by hand when you write I/O code. |
| 19:09:12 | × | deadmarshal_ quits (~deadmarsh@95.38.119.200) (Ping timeout: 248 seconds) |
| 19:10:38 | → | CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 19:12:55 | → | sprout joins (~quassel@2a02-a467-ccd6-1-d47-e8be-40dc-4588.fixed6.kpn.net) |
| 19:14:00 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 19:14:49 | <monochrom> | Now, regarding cases like "State f >>= k = State (\s -> let (a, s1) = f s in ...)" vs "... let !(a, s1) = f s ...", which does change evaluation orders, and so the author of a monad instance has a say on this... |
| 19:15:47 | <monochrom> | Suppose you copy-paste that code to SML and change to SML syntax. That changes evaluation order, too. |
| 19:16:29 | <monochrom> | So is it the monad instance that chooses an order, or is it the language? |
| 19:17:47 | <monochrom> | This is where things can get very nuanced. But also when a simple-minded model is not that bad if you know the context. |
| 19:17:59 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 19:18:39 | <monochrom> | A Haskell blog is not unreasonable to say "chosen by the monad instance implementation" because the context of the blog does not consider switching to SML. |
| 19:18:46 | → | forell joins (~forell@user/forell) |
| 19:20:36 | × | axeman quits (~quassel@2a02:8109:a380:78:4c41:7a81:b394:6cf) (Quit: No Ping reply in 180 seconds.) |
| 19:20:45 | <dolio> | Both Mercury and Clean work that way. Mercury has some syntax sugar for it, though. |
| 19:21:12 | <dolio> | Which is essentially some kind of do notation, I imagine. |
| 19:21:52 | → | axeman joins (~quassel@2a02:8109:a380:78:d0a5:4c2c:c4d7:a376) |
| 19:22:21 | <dolio> | You write a sequence of things, and it inserts all the state variables for you. |
| 19:23:14 | × | RevoGen quits (~RevoGen@136.167.108.23) (Remote host closed the connection) |
| 19:23:55 | → | redb joins (~nmh@136.49.49.211) |
| 19:24:41 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 19:25:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 19:25:47 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 19:32:14 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 19:33:01 | → | redb joins (~nmh@136.49.49.211) |
| 19:33:22 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: Lost terminal) |
| 19:35:24 | <davean> | What is the state of Mercury and Clean these days? |
| 19:36:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:37:26 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 19:38:01 | → | redb joins (~nmh@136.49.49.211) |
| 19:38:35 | <geekosaur> | mercury had a recentish release iirc |
| 19:39:00 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:41:53 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:42:13 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 19:45:35 | → | coot joins (~coot@213.134.190.95) |
| 19:46:16 | → | acidjnk joins (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) |
| 19:47:00 | → | redb joins (~nmh@136.49.49.211) |
| 19:52:24 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 19:53:45 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 19:54:27 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:54:44 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 19:59:49 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 20:01:28 | × | sander quits (~sander@user/sander) (Ping timeout: 246 seconds) |
| 20:02:05 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 20:02:20 | → | redb joins (~nmh@136.49.49.211) |
| 20:06:12 | × | nosewings quits (~ngpc@2603-8081-3e05-e2d0-49f1-c077-67be-f595.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 20:06:48 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 20:07:54 | → | redb joins (~nmh@136.49.49.211) |
| 20:08:33 | → | kenran joins (~kenran@200116b82bcf09004df53c9c43e75bed.dip.versatel-1u1.de) |
| 20:11:25 | → | sander joins (~sander@user/sander) |
| 20:12:08 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 20:14:38 | → | xkuru joins (~xkuru@user/xkuru) |
| 20:15:22 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:17:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 20:18:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:18:32 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 20:21:14 | → | redb joins (~nmh@136.49.49.211) |
| 20:21:28 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 20:23:06 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 20:25:53 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 20:26:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 20:26:21 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 20:27:36 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:29:45 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:30:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 20:31:56 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 20:32:20 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 20:33:33 | × | Macbethwin quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 20:33:41 | → | MajorBiscuit joins (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 20:33:54 | → | Macbethwin joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 20:36:38 | → | deadmarshal_ joins (~deadmarsh@95.38.119.200) |
| 20:37:14 | → | redb joins (~nmh@136.49.49.211) |
| 20:41:01 | × | deadmarshal_ quits (~deadmarsh@95.38.119.200) (Ping timeout: 246 seconds) |
| 20:41:45 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 20:42:10 | × | MajorBiscuit quits (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Quit: WeeChat 3.4) |
| 20:42:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:49:48 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:50:37 | → | alp_ joins (~alp@user/alp) |
| 20:51:09 | → | redb joins (~nmh@136.49.49.211) |
| 20:54:30 | × | Macbethwin quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 20:54:50 | → | Macbethwin joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 20:56:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 20:56:44 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:3954:3f8f:fc68:2c90) (Read error: Connection reset by peer) |
| 21:02:17 | × | axeman quits (~quassel@2a02:8109:a380:78:d0a5:4c2c:c4d7:a376) (Ping timeout: 248 seconds) |
| 21:02:54 | × | Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 21:03:17 | → | Flonk joins (~Flonk@vps-zap441517-1.zap-srv.com) |
| 21:04:27 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 21:04:39 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 21:07:24 | → | axeman joins (~quassel@2a02:8109:a380:78:f9f8:e887:926:d1ed) |
| 21:09:28 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 21:13:24 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 21:15:56 | × | kenran quits (~kenran@200116b82bcf09004df53c9c43e75bed.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 21:16:19 | × | kaph_ quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 256 seconds) |
| 21:16:21 | <zebrag> | No, the page didn't have direct relation with monads, but at some point, I think they said that if you want "evaluation order" you must do this or that, otherwise nothing is guaranteeing it, even with monads |
| 21:17:04 | <zebrag> | so that was at least one reference hinting at evaluation order and monads are unrelated |
| 21:17:30 | <zebrag> | contrary to what is suggested almost everywhere |
| 21:17:59 | <monochrom> | Oh, the internet is wrong almost everywhere anyway :) |
| 21:18:30 | <monochrom> | The set of correct information on the internet has measure zero :) |
| 21:18:55 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:19:05 | <DigitalKiwi> | aren't we on the internet right now |
| 21:19:47 | <lechner> | monochrom is not a rounding error! |
| 21:20:58 | <abastro[m]> | Measure 0 XD |
| 21:21:25 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 21:21:52 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:22:56 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 21:23:04 | → | redb joins (~nmh@136.49.49.211) |
| 21:29:32 | → | nosewings joins (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) |
| 21:29:58 | × | fendor quits (~fendor@91.141.65.122.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:30:22 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 21:31:15 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:31:31 | × | nosewings quits (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) (Remote host closed the connection) |
| 21:32:32 | → | nosewings joins (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) |
| 21:33:14 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:35:55 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:40:49 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 21:40:49 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 21:40:52 | allbery_b | is now known as geekosaur |
| 21:43:32 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 21:46:48 | → | Macbethwin_ joins (~chargen@8.31.163.33) |
| 21:47:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 21:47:47 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 21:48:15 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 21:49:17 | <zebrag> | "Monads embed effects in a purely functional setting and explicitly specify the evaluation order" (https://arxiv.org/pdf/1202.2921.pdf) A bit misleading. Though maybe not stating monads equal evaluation order. |
| 21:49:37 | × | Macbethwin quits (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 246 seconds) |
| 21:50:55 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 21:54:09 | → | redb joins (~nmh@136.49.49.211) |
| 21:57:13 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 21:57:18 | Macbethwin_ | is now known as chargen |
| 21:58:22 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 21:59:43 | → | redb joins (~nmh@136.49.49.211) |
| 22:00:31 | × | chomwitt quits (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) (Remote host closed the connection) |
| 22:03:54 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 22:04:18 | × | chargen quits (~chargen@8.31.163.33) (Remote host closed the connection) |
| 22:04:43 | → | chargen joins (~chargen@8.31.163.33) |
| 22:05:21 | <dminuoso> | zebrag: I dont think it is, as with all papers you have to read it in context. |
| 22:06:16 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 22:06:16 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 22:06:16 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:07:43 | → | redb joins (~nmh@136.49.49.211) |
| 22:08:09 | <hpc> | i prefer context-free papers |
| 22:08:21 | <hpc> | you don't need to read anything else to understand them, and they always have balanced parens |
| 22:10:22 | <hpc> | yeah, that sentence is fine |
| 22:10:31 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 22:10:35 | <hpc> | it's not perfect, but it's just to get the reader to where you can talk about what the paper's actually about |
| 22:12:21 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 22:12:25 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 22:12:50 | → | redb joins (~nmh@136.49.49.211) |
| 22:13:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:13:32 | <monochrom> | Every tautology is useless, and every non-tautology is misleading. >:) |
| 22:15:32 | <hpc> | ill do you one better, every non-tautology is false |
| 22:15:47 | <hpc> | proof: LEM |
| 22:15:53 | × | CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:17:20 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 22:20:55 | <monochrom> | That's misleading. :) |
| 22:21:58 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 22:22:36 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:24:03 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 22:24:39 | <hpc> | the best kind of leading |
| 22:24:52 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 22:25:41 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 22:26:22 | × | michalz quits (~michalz@185.246.204.57) (Remote host closed the connection) |
| 22:27:27 | × | acidjnk quits (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 22:27:52 | × | chargen quits (~chargen@8.31.163.33) (Remote host closed the connection) |
| 22:28:17 | → | chargen joins (~chargen@8.31.163.33) |
| 22:30:11 | × | phma quits (phma@2001:5b0:211c:1d48:c79f:ef32:78e6:f8b1) (Read error: Connection reset by peer) |
| 22:31:23 | → | phma joins (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) |
| 22:32:12 | × | chargen quits (~chargen@8.31.163.33) (Remote host closed the connection) |
| 22:32:37 | → | chargen joins (~chargen@8.31.163.33) |
| 22:34:04 | → | Macbethwin_ joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 22:35:59 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 22:36:58 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-0000-0000-0000-1000.res6.spectrum.com) (Quit: Konversation terminated!) |
| 22:38:16 | × | chargen quits (~chargen@8.31.163.33) (Ping timeout: 248 seconds) |
| 22:41:50 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:42:00 | Macbethwin_ | is now known as chargen |
| 22:45:34 | → | redb joins (~nmh@136.49.49.211) |
| 22:49:25 | → | little_mac joins (~little_ma@2601:410:4300:3ce0::fa0b) |
| 22:49:47 | <DigitalKiwi> | way to bury the lead |
| 22:49:49 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 22:49:50 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::d5c4) (Ping timeout: 250 seconds) |
| 22:50:43 | × | nosewings quits (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) (Remote host closed the connection) |
| 22:50:50 | → | redb joins (~nmh@136.49.49.211) |
| 22:50:52 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 22:52:32 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 22:52:51 | → | chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 22:55:20 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 22:55:50 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:05:04 | → | Pickchea joins (~private@user/pickchea) |
| 23:05:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 23:06:32 | → | lifter joins (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 23:06:39 | <dmj`> | I wish there was a way to carry around type level state in a Num instance |
| 23:07:26 | <dmj`> | something like (+) :: Calc xs -> Calc ys -> Calc (xs ++ ys) |
| 23:07:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 23:10:45 | <glguy> | The type of (+) is pretty restrictive |
| 23:11:01 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 23:12:25 | <geekosaur> | instance Num a => Num (Calc a) where … |
| 23:12:32 | <dmj`> | unfortunately so, I can make my own class, but then I forego the benefits of fromInteger and the syntactic sugar that makes it feel all like a cool DSL |
| 23:14:59 | <dmj`> | I guess I could just NoImplicitPrelude and define my own (+) |
| 23:15:20 | <dmj`> | but I still lose the fromInteger goodness |
| 23:18:12 | × | lifter quits (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Ping timeout (120 seconds)) |
| 23:18:45 | → | lifter joins (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 23:18:52 | × | res0nat0r0844 quits (~Fletch@dia.whatbox.ca) (Quit: Ping timeout (120 seconds)) |
| 23:18:53 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 23:20:08 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 23:22:32 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 23:23:31 | <dmj`> | glguy: It's a cool idea, basically users can define formulas with variables and arithmetic operators (e.g. profit :: Calc Free; profit = ("revenue" - "expenses") * 1 -- this typechecks thanks to Num and IsString) . To evaluate the formula, the users provide a Map of values to bind the free variables, when all variables are bound (i.e. "profit :: Calc Bound") the formulas can then be evaluated (interpret :: Calc Bound -> Rational). |
| 23:25:42 | → | redb joins (~nmh@136.49.49.211) |
| 23:26:01 | <dmj`> | The problem is that substitution can fail so an Either Error is needed ... but, if there was a way to carry along all of the variables in a type level list, and then progressively remove them as new variables are bound then the Either could be removed, since there's proof all variables are bound (i.e.. interpret :: Calc '[] -> Rational). This leads me back to my original problem of Num not allowing type level state |
| 23:26:46 | <dmj`> | The aforementioned is possible, but it comes at the cost of the Num and IsString instances which make the entire thing worth it |
| 23:27:02 | <dmj`> | bcuz of the syntactic sugar ofc |
| 23:28:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:29:47 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 23:30:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:33:00 | → | lifter_ joins (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 23:33:04 | <monochrom> | I wonder if RebindableSyntax helps you. |
| 23:33:59 | <monochrom> | (It already can let you hijack do-notation. There is almost no restriction on how wild your >>='s type is. People have done indexed monads with this.) |
| 23:36:45 | <geekosaur> | I don't think RebindableSyntax lets you hijack Num, only replacing the Prelude does |
| 23:36:51 | × | lifter quits (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Client closed) |
| 23:37:04 | lifter_ | is now known as lifter |
| 23:37:32 | <hpc> | RebindableSyntax lets you get creative with numeric literals iirc |
| 23:37:40 | <hpc> | but yeah, everything else is wrapped up in type classes |
| 23:38:03 | <geekosaur> | I do wonder if a variant of what I initially suggested would work |
| 23:38:33 | <geekosaur> | would need FlexibleInstancesand possibly UndecidableInstances |
| 23:39:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:40:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:40:57 | × | lifter quits (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) () |
| 23:41:14 | → | lifter joins (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 23:44:24 | <dmj`> | here is the initial version, no type-fu, just a type tag to indicate if the expression able to be evaluated. https://gist.github.com/d2ffa8c27f0e8ece076f765c416862dd |
| 23:45:13 | <dmj`> | but the nice thing is the pretty printing of the formulas, w/ and w/o the free vars |
| 23:47:12 | → | Ishan_ joins (~Ishan@2600:8802:1906:a300:3c43:30d3:b634:b795) |
| 23:47:37 | × | axeman quits (~quassel@2a02:8109:a380:78:f9f8:e887:926:d1ed) (Ping timeout: 248 seconds) |
| 23:48:03 | → | redb joins (~nmh@136.49.49.211) |
| 23:49:57 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 23:50:58 | <dmj`> | second formulation is where I run into problems https://gist.github.com/dmjio/d2ffa8c27f0e8ece076f765c416862dd#file-dsl2-hs |
| 23:52:01 | × | Ishan_ quits (~Ishan@2600:8802:1906:a300:3c43:30d3:b634:b795) (Client Quit) |
| 23:52:15 | → | IshD joins (~IshD@2600:8802:1906:a300:3c43:30d3:b634:b795) |
| 23:52:43 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 23:52:43 | <IshD> | Hi! Is this the right place to ask about Google Summer of Code? |
| 23:54:00 | <juri_> | Maybe. :) |
| 23:54:52 | → | chenqisu1 joins (~chenqisu1@183.217.200.38) |
| 23:55:04 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 23:55:44 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 23:56:10 | × | zeenk quits (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 23:58:32 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 23:58:51 | × | IshD quits (~IshD@2600:8802:1906:a300:3c43:30d3:b634:b795) (Quit: Leaving) |
All times are in UTC on 2022-04-15.