2016-12-07 09:58:42 +0000ircbrowse(~chrisdone@unaffiliated/chrisdone)
2016-12-07 10:04:17 +0000 <refold> given that phaskell/chatlog died again, there's now http://ircbrowse.net/browse/hackage
2016-12-07 10:18:50 +0000 <refold> for old logs, go to https://phabricator.haskell.org/chatlog/channel/4/
2016-12-07 10:56:11 +0000mpickering(sid78412@gateway/web/irccloud.com/x-kpadwynjljraqlfb) ()
2016-12-07 10:56:41 +0000mpickering(sid78412@gateway/web/irccloud.com/x-gwnxrohkvwhidduo)
2016-12-07 12:43:00 +0000phadej_phadej
2016-12-07 13:37:58 +0000edsko(~quassel@23.27.206.197) (Ping timeout: 245 seconds)
2016-12-07 17:14:08 +0000edvorg(~edvorg@host-46-50-214-114.bbcustomer.zsttk.net)
2016-12-07 17:28:19 +0000 <ezyang> hvr: Because whenever I edit a cabal file, the tooling is too dumb to know which part of the cabal file I edited, and reruns depsolving
2016-12-07 17:36:29 +0000 <hvr> refold: so I guess I should be more careful when I bash Stack? ;-)
2016-12-07 17:37:08 +0000 <hvr> ezyang: tbh, that doesn't sound like a showstopper to me
2016-12-07 17:37:14 +0000 <refold> hvr: can't remember you doing it in this channel actually :-)
2016-12-07 17:37:29 +0000 <hvr> refold: you're not always present =)
2016-12-07 17:38:30 +0000 <ezyang> it's not. But it's really annoying
2016-12-07 17:38:34 +0000 <hvr> ezyang: that feature would mostly intersting to auto-gen'ed packages like amazonka, haskell-gi etc
2016-12-07 17:38:58 +0000 <hvr> or other complex packages which have already enough annoyances to cope with
2016-12-07 17:43:47 +0000 <ezyang> sure...
2016-12-07 17:44:06 +0000 <ezyang> unrelated to this: I'm experimenting with a new style of writing CPP code which maximizes the amount of code that gets typechecked by the compiler
2016-12-07 17:44:20 +0000 <ezyang> but I'm trying to decide how to handle FFI definitions
2016-12-07 17:44:43 +0000 <ezyang> what I would like is to declare the top-level type of the declaration (e.g., nsGetEnviron :: IO (Ptr (Ptr OSString)))
2016-12-07 17:45:04 +0000 <ezyang> and then later either give a foreign import, or specify it as undefined, but that's not allowed
2016-12-07 17:45:53 +0000 <ezyang> so I have two options: (1) push the type signature inside the ifdef (then you have to keep it synchronized), or (2) give the FFI import a different name, and then set nsGetEnviron = nsGetEnviron', keeping type outside
2016-12-07 17:46:18 +0000 <ezyang> illustration of second approach: http://lpaste.net/349636
2016-12-07 17:46:22 +0000 <ezyang> Question: is this too weird?!
2016-12-07 18:05:20 +0000 <alanz> ezyang: " the tooling is too dumb to know which part of the cabal file I edited": why not store a simple parsed representation of it, then check for each target in the file if anything has changed? Or is that too simplistic?
2016-12-07 18:06:23 +0000 <hvr> ezyang: been there myself btw :-)
2016-12-07 18:08:04 +0000 <ezyang> alanz: It's a good idea
2016-12-07 18:08:21 +0000 <ezyang> the current recomp framework is... too dumb to be able to handle this. Shake would handle it transparently
2016-12-07 18:12:04 +0000slackircbot(~nobody@ec2-52-23-198-104.compute-1.amazonaws.com) (Remote host closed the connection)
2016-12-07 18:12:07 +0000hvr(~hvr@haskell/developer/hvr) (Remote host closed the connection)
2016-12-07 18:12:07 +0000slackircbot(~nobody@ec2-52-23-198-104.compute-1.amazonaws.com)
2016-12-07 18:15:32 +0000hvr(~hvr@h081217016230.dyn.cm.kabsi.at)
2016-12-07 18:15:32 +0000hvr(~hvr@h081217016230.dyn.cm.kabsi.at) (Changing host)
2016-12-07 18:15:32 +0000hvr(~hvr@haskell/developer/hvr)
2016-12-07 18:19:48 +0000 <alanz> ezyang: the stored info might help tools like ghc-mod too