Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 328 329 330 331 332 333 334 335 336 337 338 .. 17991
— 1,799,075 events total
2021-06-07 17:37:43 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-07 17:37:47 → stefan-_ joins (~cri@42dots.de)
2021-06-07 17:40:36 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-06-07 17:43:11 → agumonke` joins (~user@88.160.31.174)
2021-06-07 17:43:21 × xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 252 seconds)
2021-06-07 17:45:03 → xff0x joins (~xff0x@2001:1a81:5240:1700:9a39:76e8:fdb4:2fab)
2021-06-07 17:45:19 × jespada quits (~jespada@90.254.242.55) (Ping timeout: 264 seconds)
2021-06-07 17:46:56 → jespada joins (~jespada@90.254.242.55)
2021-06-07 17:46:58 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-06-07 17:47:22 → myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net)
2021-06-07 17:49:42 → ddellacosta joins (~ddellacos@89.45.224.178)
2021-06-07 17:54:21 × ddellacosta quits (~ddellacos@89.45.224.178) (Ping timeout: 252 seconds)
2021-06-07 17:54:59 → jippiedoe joins (~david@77-171-152-62.fixed.kpn.net)
2021-06-07 17:55:37 → phma joins (phma@2001:5b0:211f:5688:a0:2a2f:464e:6b06)
2021-06-07 17:57:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-07 17:57:44 → JimL joins (~quassel@ti0577q162-3381.bb.online.no)
2021-06-07 17:59:00 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2021-06-07 17:59:34 → safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru)
2021-06-07 17:59:50 <tomsmeding> dminuoso: that error is sneaky as hell
2021-06-07 17:59:54 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:dc63:473e:1d9e:8708)
2021-06-07 17:59:59 <safinaskar> is there a way to make this code compile? f :: a -> a; f x = (x :: a)
2021-06-07 18:00:20 <dminuoso> safinaskar: -fdefer-type-errors
2021-06-07 18:00:23 dminuoso chuckles
2021-06-07 18:00:31 → peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-07 18:00:42 <boxscape> f :: forall a . a -> a; f x = (x :: a)
2021-06-07 18:00:46 <boxscape> with -XScopedTypeVariables
2021-06-07 18:01:11 <boxscape> % f :: forall a . a -> a; f x = (x :: a)
2021-06-07 18:01:11 <yahb> boxscape:
2021-06-07 18:01:13 <dminuoso> Do we have `f :: a -> a; f @b x = (x :: b)` already?
2021-06-07 18:01:23 <dminuoso> Buried in some extension perhaps?
2021-06-07 18:01:38 <boxscape> dminuoso I've opened a ticket about implementing it but the -XTypeAbstractions proposal needs to be sorted out first
2021-06-07 18:01:50 <boxscape> https://github.com/ghc-proposals/ghc-proposals/pull/238/
2021-06-07 18:03:11 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × psydroid quits (~psydroidm@2001:470:69fc:105::165) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × maralorn quits (~maralorn@2001:470:69fc:105::251) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × fgaz quits (~fgaz@2001:470:69fc:105::842) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × sm[m] quits (~sm@plaintextaccounting/sm) (Ping timeout: 244 seconds)
2021-06-07 18:03:11 × siraben quits (~siraben@user/siraben) (Ping timeout: 244 seconds)
2021-06-07 18:03:30 × cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 272 seconds)
2021-06-07 18:03:30 × eddiemundo quits (~eddiemund@2001:470:69fc:105::a9c) (Ping timeout: 272 seconds)
2021-06-07 18:03:30 × vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 272 seconds)
2021-06-07 18:03:31 × peddie quits (~peddie@2001:470:69fc:105::25d) (Ping timeout: 272 seconds)
2021-06-07 18:03:31 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 272 seconds)
2021-06-07 18:03:31 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Ping timeout: 272 seconds)
2021-06-07 18:03:41 × Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 244 seconds)
2021-06-07 18:03:41 × Drezil quits (~drezilkif@2001:470:69fc:105::7f8) (Ping timeout: 244 seconds)
2021-06-07 18:03:41 × cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 244 seconds)
2021-06-07 18:03:41 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 244 seconds)
2021-06-07 18:03:41 × zwro[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 244 seconds)
2021-06-07 18:03:41 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Ping timeout: 244 seconds)
2021-06-07 18:03:41 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 244 seconds)
2021-06-07 18:04:07 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × amesgen[m] quits (~amesgenam@2001:470:69fc:105::82b) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × tomferon[m] quits (~tomferon@2001:470:69fc:105::268) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 272 seconds)
2021-06-07 18:04:07 × srid[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 272 seconds)
2021-06-07 18:05:42 × benin03 quits (~benin@106.198.85.3) (Read error: Connection reset by peer)
2021-06-07 18:06:54 → benin03 joins (~benin@183.82.206.233)
2021-06-07 18:08:49 → cfricke joins (~cfricke@user/cfricke)
2021-06-07 18:09:57 × ddellaco_ quits (~ddellacos@86.106.121.44) (Read error: Connection reset by peer)
2021-06-07 18:10:28 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-07 18:11:10 → teaSlurper joins (~chris@81.96.113.213)
2021-06-07 18:11:30 → ddellacosta joins (~ddellacos@86.106.121.44)
2021-06-07 18:12:32 → argento joins (~argent0@168-227-96-51.ptr.westnet.com.ar)
2021-06-07 18:15:28 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2021-06-07 18:19:39 × teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 245 seconds)
2021-06-07 18:20:38 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-07 18:25:59 → ddellaco_ joins (~ddellacos@86.106.121.165)
2021-06-07 18:26:04 × ddellaco_ quits (~ddellacos@86.106.121.165) (Remote host closed the connection)
2021-06-07 18:27:48 × jippiedoe quits (~david@77-171-152-62.fixed.kpn.net) (Quit: Leaving)
2021-06-07 18:30:20 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-07 18:32:53 × ddellacosta quits (~ddellacos@86.106.121.44) (Remote host closed the connection)
2021-06-07 18:33:21 → ddellacosta joins (~ddellacos@86.106.121.44)
2021-06-07 18:33:44 × JimL quits (~quassel@ti0577q162-3381.bb.online.no) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-06-07 18:35:43 → Guest68 joins (~Guest68@82.40.121.143)
2021-06-07 18:35:54 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-07 18:37:08 <Guest68> I'm trying to optimise some code. I've noticed that if I copy the contents of a module into Main.hs (and don't import the module), I get a ~2x speedup. What could be causing this?
2021-06-07 18:37:29 → dunkeln joins (~dunkeln@94.129.65.28)
2021-06-07 18:39:21 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Remote host closed the connection)
2021-06-07 18:39:34 → Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr)
2021-06-07 18:42:01 <Ariakenom> Guest68: Are you using all the -O (Optimization) flags?
2021-06-07 18:42:11 <Guest68> Ariakenom: Yes
2021-06-07 18:43:12 × ystael quits (~ystael@user/ystael) (Quit: Lost terminal)
2021-06-07 18:43:30 <Ariakenom> and not ghci?
2021-06-07 18:44:03 <safinaskar> boxscape: thanks
2021-06-07 18:44:27 <Guest68> Ariakenom: No, I'm compiling with ghc and running the resulting executable.
2021-06-07 18:46:15 <tput> try adding INLINE or INLINABLE pragmas. afaik GHC doesn't inline across module boundaries unless hinted at to do so
2021-06-07 18:46:24 <dminuoso> It does
2021-06-07 18:46:33 <dminuoso> Just not with a guarantee
2021-06-07 18:46:45 <dminuoso> For relatively small code GHC will by default include unfoldings in interface files
2021-06-07 18:47:24 <dminuoso> Think its even that without INLINABLE, you'd get optimized unfoldings, but with INLINABLE it would give you unoptimized unfoldings
2021-06-07 18:47:59 <Ariakenom> my thoughts also went towards inlining. (and yes GHC does inline, but it is affected by module boundaries. getting inlining right is sibtle)
2021-06-07 18:48:27 <dminuoso> Guest68: Lack of specialization can also be part of it.
←Prev  Next→
Page 1 .. 328 329 330 331 332 333 334 335 336 337 338 .. 17991

All times are in UTC.