Logs: freenode/#haskell
| 2021-03-19 12:41:57 | <merijn> | Ah, it worked on the assembly, not binary output |
| 2021-03-19 12:42:02 | <merijn> | *slightly* more sane |
| 2021-03-19 12:42:10 | <geekosaur> | only slightly |
| 2021-03-19 12:42:10 | <jackdk> | ever-so-slightly less evil |
| 2021-03-19 12:42:51 | → | wonko7 joins (~wonko7@45.15.17.60) |
| 2021-03-19 12:43:05 | <jackdk> | anyway, I'm going to sleep on tonight's win, then look at how the paper does things in C, then probably look at the fast curry paper. Anything else I should look at? |
| 2021-03-19 12:43:06 | geekosaur | read through the mangler once, it was mostly rewriting function preambles/postambles from C conventions to STG |
| 2021-03-19 12:43:29 | <merijn> | Not sure when NCG became the default for GHC? I think late 6.x or early 7x? |
| 2021-03-19 12:43:29 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 12:43:47 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 12:44:20 | <merijn> | Or was it earlier? |
| 2021-03-19 12:44:32 | <geekosaur> | don't recall |
| 2021-03-19 12:44:53 | <mouseghost> | goodnight jackdk |
| 2021-03-19 12:45:15 | × | dale quits (dale@unaffiliated/dale) (Ping timeout: 240 seconds) |
| 2021-03-19 12:45:36 | → | Sorny joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-03-19 12:46:45 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-19 12:47:20 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (Read error: Connection reset by peer) |
| 2021-03-19 12:48:12 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 2021-03-19 12:48:23 | <Philonous> | I have a locally let-bound polymorphic function that gets monomorphised because of (implied) -XNoLetGeneralization. Giving the binding an explicitly polymorphic type signature should fix that, shouldn't it? |
| 2021-03-19 12:48:56 | <geekosaur> | merijn, apparently 6.8.1 made -fasm the default |
| 2021-03-19 12:48:57 | <Philonous> | Errr, I meant -XMonoLocalBinds |
| 2021-03-19 12:50:14 | <geekosaur> | Philonous, yes, an explicit type signature should override -XMonoLocalBinds |
| 2021-03-19 12:50:14 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 12:50:20 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-19 12:50:23 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 12:50:54 | <Philonous> | Strange, because I'm getting type errors that strongly point towards the function be monomorphised, inlining the definition also fixes the problem |
| 2021-03-19 12:52:14 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-19 12:53:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-19 12:54:11 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-19 12:55:42 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-03-19 12:58:02 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-19 12:58:19 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-19 12:58:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-19 12:59:21 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-19 13:00:53 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-03-19 13:01:15 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-19 13:01:32 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-19 13:01:33 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-dtqotmfxqlmxiruq) |
| 2021-03-19 13:08:42 | <tomsmeding> | Philonous: are you perhaps using type variables in that explicit type signature that come from some local scope? |
| 2021-03-19 13:08:49 | <tomsmeding> | i.e. would ScopedTypeVariables help |
| 2021-03-19 13:11:45 | → | carlomagno joins (~cararell@148.87.23.5) |
| 2021-03-19 13:13:38 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-19 13:18:08 | × | bitmagie quits (~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-19 13:21:37 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-19 13:25:34 | → | idhugo_ joins (~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) |
| 2021-03-19 13:25:42 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 2021-03-19 13:26:01 | → | pyuk joins (~vroom@217.138.252.170) |
| 2021-03-19 13:27:05 | → | forell_ joins (~forell@unaffiliated/forell) |
| 2021-03-19 13:27:16 | → | glamas_ joins (~glamas@107.182.17.237) |
| 2021-03-19 13:27:23 | <mikoto-chan> | I still don't understand how everything is installed locally with stack and cabal |
| 2021-03-19 13:27:38 | → | sim590_ joins (~sim590@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-03-19 13:27:41 | <mikoto-chan> | Since I currently need hident but installing it per project is gonna be a serious waste of disk space |
| 2021-03-19 13:27:41 | → | sayola1 joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) |
| 2021-03-19 13:27:54 | <mikoto-chan> | hindent* |
| 2021-03-19 13:28:18 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-puiusmmccpivlalb) (Quit: Connection closed for inactivity) |
| 2021-03-19 13:28:33 | <mikoto-chan> | https://stackoverflow.com/questions/49504206/recommended-approach-to-use-stack-as-global-package-manager |
| 2021-03-19 13:28:37 | <mikoto-chan> | My bad, found the answer |
| 2021-03-19 13:28:54 | <merijn> | I mean, just "cabal install hindent" should work? |
| 2021-03-19 13:29:08 | → | day_ joins (~Unknown@unaffiliated/day) |
| 2021-03-19 13:29:21 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-19 13:29:55 | → | machined1od joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-19 13:29:59 | → | __monty_1 joins (~toonn@unaffiliated/toonn) |
| 2021-03-19 13:30:08 | → | xff0x_ joins (~xff0x@2001:1a81:5242:1600:dd4:8333:b767:2ed3) |
| 2021-03-19 13:30:16 | → | pricly_yellow1 joins (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 2021-03-19 13:30:28 | → | Major_Bi1 joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-03-19 13:31:26 | → | caubert_ joins (~caubert@136.244.111.235) |
| 2021-03-19 13:31:34 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
| 2021-03-19 13:32:04 | × | unlink_ quits (~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-19 13:32:22 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-19 13:32:23 | → | unlink_ joins (~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) |
| 2021-03-19 13:32:51 | × | son0p quits (~son0p@181.58.39.182) (Quit: leaving) |
| 2021-03-19 13:33:52 | × | ukari quits (~ukari@unaffiliated/ukari) (*.net *.split) |
| 2021-03-19 13:33:52 | × | dhil quits (~dhil@80.208.56.181) (*.net *.split) |
| 2021-03-19 13:33:52 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (*.net *.split) |
| 2021-03-19 13:33:52 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (*.net *.split) |
| 2021-03-19 13:33:52 | × | __monty__ quits (~toonn@unaffiliated/toonn) (*.net *.split) |
| 2021-03-19 13:33:52 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (*.net *.split) |
| 2021-03-19 13:33:52 | × | idhugo quits (~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) (*.net *.split) |
| 2021-03-19 13:33:52 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (*.net *.split) |
| 2021-03-19 13:33:52 | × | pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (*.net *.split) |
| 2021-03-19 13:33:52 | × | Hi-Angel quits (~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (*.net *.split) |
| 2021-03-19 13:33:52 | × | day quits (~Unknown@unaffiliated/day) (*.net *.split) |
| 2021-03-19 13:33:52 | × | xff0x quits (~xff0x@port-92-195-0-54.dynamic.as20676.net) (*.net *.split) |
| 2021-03-19 13:33:52 | × | sayola quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (*.net *.split) |
| 2021-03-19 13:33:52 | × | xlei quits (znc@unaffiliated/xlei) (*.net *.split) |
| 2021-03-19 13:33:52 | × | caubert quits (~caubert@136.244.111.235) (*.net *.split) |
| 2021-03-19 13:33:52 | × | rookie101 quits (~rookie@207.154.204.166) (*.net *.split) |
| 2021-03-19 13:33:52 | × | puke quits (~vroom@217.138.252.170) (*.net *.split) |
| 2021-03-19 13:33:52 | × | petersen quits (~petersen@redhat/juhp) (*.net *.split) |
| 2021-03-19 13:33:52 | × | neiluj quits (~jco@unaffiliated/neiluj) (*.net *.split) |
| 2021-03-19 13:33:52 | × | roconnor quits (~roconnor@host-45-58-230-226.dyn.295.ca) (*.net *.split) |
| 2021-03-19 13:33:52 | × | glamas quits (~glamas@107.182.17.237) (*.net *.split) |
| 2021-03-19 13:33:52 | × | vchlup quits (~vchlup@nat.brnet.cz) (*.net *.split) |
| 2021-03-19 13:33:52 | × | sim590 quits (~sim590@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split) |
| 2021-03-19 13:33:52 | × | forell quits (~forell@unaffiliated/forell) (*.net *.split) |
| 2021-03-19 13:33:53 | × | sajith quits (~sajith@fsf/member/nonzen) (*.net *.split) |
| 2021-03-19 13:33:53 | × | dhruvasagar quits (~dhruvasag@49.207.63.69) (*.net *.split) |
| 2021-03-19 13:33:53 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (*.net *.split) |
| 2021-03-19 13:33:53 | day_ | is now known as day |
| 2021-03-19 13:33:53 | forell_ | is now known as forell |
All times are in UTC.