Logs: freenode/#haskell
| 2020-10-07 12:56:55 | → | theduke joins (thedukem1@gateway/shell/matrix.org/x-luggxubwimubmsjx) |
| 2020-10-07 12:56:55 | → | vaibhavsagar joins (vaibhavsag@gateway/shell/matrix.org/x-ddqgmqbfchwrxzrv) |
| 2020-10-07 12:56:55 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-byybigschvhjswcv) |
| 2020-10-07 12:56:55 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-lyakyxofyblijwix) |
| 2020-10-07 12:56:55 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-oeeuardyswtspgkc) |
| 2020-10-07 12:56:55 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2020-10-07 12:56:55 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-pdgeahbvmgwapgfg) |
| 2020-10-07 12:56:55 | → | hnOsmium0001[m] joins (hnosmium00@gateway/shell/matrix.org/x-sylhtdjktmpomitu) |
| 2020-10-07 12:56:55 | → | wangoe[m] joins (wangoematr@gateway/shell/matrix.org/x-vyhfixejmlhvwdmw) |
| 2020-10-07 12:56:55 | → | drozdziak1 joins (drozdziak1@gateway/shell/matrix.org/x-ceruyhaykumzhfys) |
| 2020-10-07 12:56:56 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-vdqlhkexdidlyisd) |
| 2020-10-07 12:56:56 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-ebrfkfjlsjzowlvv) |
| 2020-10-07 12:56:56 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-mxhezacflqkmnnqy) |
| 2020-10-07 12:56:56 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-bqfspchyhjmzptxd) |
| 2020-10-07 12:56:56 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-gysseraqrfhmwgck) |
| 2020-10-07 12:56:56 | → | kadoban joins (kadobanmat@gateway/shell/matrix.org/x-wocksmmwkounohnb) |
| 2020-10-07 12:56:56 | → | avocado joins (renningmat@gateway/shell/matrix.org/x-uvfnfafjlebaevtk) |
| 2020-10-07 12:56:56 | → | texasmynsted[m] joins (mmynstedko@gateway/shell/matrix.org/x-fkezaphacwvtlqpz) |
| 2020-10-07 12:56:56 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-oinfesutpjbypdbj) |
| 2020-10-07 12:56:57 | → | Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-hwzfoytdrvghcjmo) |
| 2020-10-07 12:56:57 | → | sureyeaah joins (shauryab98@gateway/shell/matrix.org/x-wiylhkbwoygscvln) |
| 2020-10-07 12:56:57 | → | chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-khznwzleexjszxwr) |
| 2020-10-07 12:56:57 | → | Fernando-Basso[m joins (fernando-b@gateway/shell/matrix.org/x-kjhiolswkwzfuios) |
| 2020-10-07 12:56:57 | → | sepp2k joins (sepp2kmatr@gateway/shell/matrix.org/x-azbyctkkbmykmuxo) |
| 2020-10-07 12:56:58 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-efvydivpqgisspda) |
| 2020-10-07 12:56:58 | → | io_r_us[m] joins (commandlin@gateway/shell/matrix.org/x-crnvroklodstbzyd) |
| 2020-10-07 12:56:58 | → | nihilazo joins (nihilazoma@gateway/shell/matrix.org/x-zdmbqmhsvrlzerts) |
| 2020-10-07 12:56:58 | → | boistordu1 joins (boistordum@gateway/shell/matrix.org/x-wjhprcjgzjfylbza) |
| 2020-10-07 12:56:58 | → | SlackIntegration joins (slackbotma@gateway/shell/matrix.org/x-lohsrmorokvdbpoj) |
| 2020-10-07 12:56:59 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-olxoybsjhfaojatm) |
| 2020-10-07 12:56:59 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-kitekitskrpvnyuf) |
| 2020-10-07 12:57:00 | → | steve[m] joins (stevetrout@gateway/shell/matrix.org/x-tlcohkujmhffqlxo) |
| 2020-10-07 12:57:00 | → | mikr[m] joins (mikrdavral@gateway/shell/matrix.org/x-sqivhrzyxjfvahqw) |
| 2020-10-07 12:57:01 | → | mmynsted[m] joins (mmynstedtc@gateway/shell/matrix.org/x-znpwlmrtpibaqhgv) |
| 2020-10-07 12:57:01 | → | CaptainFox[m] joins (onianimatr@gateway/shell/matrix.org/x-uumbggmsnsagdxwx) |
| 2020-10-07 12:57:01 | → | DavSanchez[m] joins (davsanchez@gateway/shell/matrix.org/x-cshiyvdondwsassq) |
| 2020-10-07 12:57:01 | → | GuillaumeChrel[m joins (guillaumec@gateway/shell/matrix.org/x-zpdzkinallsoekgd) |
| 2020-10-07 12:57:01 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-ofvxwwxtfcqijigf) |
| 2020-10-07 12:57:01 | → | jiribenes1 joins (jbjiribene@gateway/shell/matrix.org/x-zwblivezdhcvoksn) |
| 2020-10-07 12:57:02 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-xhxhthjkcoydgzvg) |
| 2020-10-07 12:57:02 | → | betrion[m] joins (betrionmat@gateway/shell/matrix.org/x-zpvrsdzwkmpqahys) |
| 2020-10-07 12:57:02 | → | ciderpunx[m] joins (ciderpunxm@gateway/shell/matrix.org/x-phmdrdggcgnremri) |
| 2020-10-07 12:57:02 | → | ethercrow[m] joins (ethercrowm@gateway/shell/matrix.org/x-qohfilkcpvembqbq) |
| 2020-10-07 12:57:02 | → | sajith[m] joins (sajithmatr@gateway/shell/matrix.org/x-qjvxnirdozyhnxza) |
| 2020-10-07 12:57:02 | → | macerbi[m] joins (macerbimat@gateway/shell/matrix.org/x-ccvzntcdselawgmn) |
| 2020-10-07 12:57:02 | → | materialfuture[m joins (materialfu@gateway/shell/matrix.org/x-kcdvxjwcqyagisvj) |
| 2020-10-07 12:57:03 | → | gmind[m] joins (gmindmatri@gateway/shell/matrix.org/x-edoxmxjonitwjqca) |
| 2020-10-07 12:57:03 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-qrzkwyigmywmhwge) |
| 2020-10-07 12:57:04 | → | tttom[m] joins (tttommatri@gateway/shell/matrix.org/x-kcrlxfyqsxsceyrq) |
| 2020-10-07 12:57:04 | → | jlv joins (jlvjustinl@gateway/shell/matrix.org/x-kumwswmhehdpzhpj) |
| 2020-10-07 12:57:04 | → | itai33[m] joins (itai33matr@gateway/shell/matrix.org/x-jbkgbtontlzajfgn) |
| 2020-10-07 12:57:04 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-tgoncauijaxjhpus) |
| 2020-10-07 12:57:05 | → | albestro[m] joins (albestroma@gateway/shell/matrix.org/x-tndqscinbariykar) |
| 2020-10-07 12:57:39 | <frdg> | what are inline pragmas? Do they call code from somewhere else? Here an example: https://dpaste.org/2pxy |
| 2020-10-07 12:58:27 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2020-10-07 12:58:32 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 244 seconds) |
| 2020-10-07 12:58:52 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-10-07 12:59:32 | <hpc> | it means when you use notMember, instead of doing a bunch of function call stuff, the compiler can decide to just paste the code where it's being called instead |
| 2020-10-07 12:59:50 | × | Vogone quits (~Vogone@195.206.169.184) (Read error: Connection reset by peer) |
| 2020-10-07 13:00:49 | × | taurux quits (~taurux@net-93-144-24-109.cust.vodafonedsl.it) (Ping timeout: 264 seconds) |
| 2020-10-07 13:00:51 | <frdg> | so it is all about optimization? |
| 2020-10-07 13:01:11 | <hpc> | yeah |
| 2020-10-07 13:01:23 | <kuribas> | frdg: it's a hint for GHC to try harder to inline it. |
| 2020-10-07 13:01:30 | <dminuoso> | inline pragmas are a mostly used to annoy haskell users by exploding compilation times. |
| 2020-10-07 13:01:36 | → | st8less joins (~st8less@2603:a060:11fd:0:443c:d730:5d8c:f920) |
| 2020-10-07 13:01:45 | <kuribas> | ghc already inlines short functions, but with a pragma it will inline larger functions as well. |
| 2020-10-07 13:01:49 | <dminuoso> | You know, like when you try and use megaparsec, write 15 lines of code and end up with 60 second compilation time (true story!) |
| 2020-10-07 13:01:59 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2020-10-07 13:02:02 | <kuribas> | dminuoso: at least you get efficient code! |
| 2020-10-07 13:02:06 | → | taurux joins (~taurux@net-130-25-101-92.cust.vodafonedsl.it) |
| 2020-10-07 13:02:20 | <frdg> | ok I understand |
| 2020-10-07 13:02:52 | <dminuoso> | Generally, unless you understand what GHC does, you shouldnt use INLINE. |
| 2020-10-07 13:02:53 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-07 13:02:55 | × | berberman quits (~berberman@123.118.96.247) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-10-07 13:02:56 | <Uniaika> | kuribas: I may be interested in building a tool that tells you which functions have been inlined |
| 2020-10-07 13:03:04 | <dminuoso> | INLINABLE otoh is very useful :) |
| 2020-10-07 13:03:21 | <Uniaika> | dminuoso: why so? :) |
| 2020-10-07 13:03:26 | → | Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-10-07 13:03:34 | → | jneira_ joins (~jneira@244.red-176-83-85.dynamicip.rima-tde.net) |
| 2020-10-07 13:03:40 | → | Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-07 13:03:59 | × | betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-zpvrsdzwkmpqahys) (*.net *.split) |
| 2020-10-07 13:03:59 | × | GuillaumeChrel[m quits (guillaumec@gateway/shell/matrix.org/x-zpdzkinallsoekgd) (*.net *.split) |
| 2020-10-07 13:03:59 | × | mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-sqivhrzyxjfvahqw) (*.net *.split) |
| 2020-10-07 13:03:59 | × | sepp2k quits (sepp2kmatr@gateway/shell/matrix.org/x-azbyctkkbmykmuxo) (*.net *.split) |
| 2020-10-07 13:03:59 | × | Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-hwzfoytdrvghcjmo) (*.net *.split) |
| 2020-10-07 13:03:59 | × | avocado quits (renningmat@gateway/shell/matrix.org/x-uvfnfafjlebaevtk) (*.net *.split) |
| 2020-10-07 13:03:59 | × | boistordu1 quits (boistordum@gateway/shell/matrix.org/x-wjhprcjgzjfylbza) (*.net *.split) |
| 2020-10-07 13:03:59 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-oeeuardyswtspgkc) (*.net *.split) |
| 2020-10-07 13:03:59 | × | avdb quits (~avdb@ip-62-235-189-65.dsl.scarlet.be) (*.net *.split) |
| 2020-10-07 13:03:59 | × | Boarders quits (sid425905@gateway/web/irccloud.com/x-omcnempmanutwmqx) (*.net *.split) |
| 2020-10-07 13:03:59 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (*.net *.split) |
| 2020-10-07 13:03:59 | × | da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (*.net *.split) |
| 2020-10-07 13:03:59 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (*.net *.split) |
| 2020-10-07 13:03:59 | × | theDon quits (~td@muedsl-82-207-238-023.citykom.de) (*.net *.split) |
| 2020-10-07 13:03:59 | × | alexknvl quits (sid259568@gateway/web/irccloud.com/x-esxzjxwhwfjmhmwu) (*.net *.split) |
| 2020-10-07 13:03:59 | × | jinblack- quits (~JinBlack@2001:41d0:8:4b28::1) (*.net *.split) |
| 2020-10-07 13:03:59 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (*.net *.split) |
| 2020-10-07 13:03:59 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 2020-10-07 13:03:59 | × | polyrain quits (~polyrain@2001:8003:e501:6901:ec3c:d1e0:e12d:d528) (*.net *.split) |
| 2020-10-07 13:03:59 | × | Rudd0 quits (~Rudd0@185.189.115.103) (*.net *.split) |
All times are in UTC.