Re: CircleCI (Was: Disable Travis?)

2017-09-25 Thread Boespflug, Mathieu
Hi Joachim, great! > Can you configure circleci to mail both the committeer and a specific person > (e.g. you, or me) on every failed committ? That's a good question. The way things work in CircleCI is that this is a user setting. You can go to https://circleci.com/account/notifications and "

Re: Why isn't this Typeable?

2017-09-25 Thread David Feuer
My example wasn't quite the one I intended (although I think it should work as well, and it's simpler). Here's the sort of example I really intended: data Bar :: forall (j :: forall k. k -> Maybe k) (a :: Type). Proxy (j a) -> Type I would expect Bar :: Proxy ('Just Int) -> Type or, t

Re: Why isn't this Typeable?

2017-09-25 Thread Richard Eisenberg
I suppose this is conceivable, but it would complicate the representation and solver for TypeReps considerably. Do you have a real use case? Richard > On Sep 25, 2017, at 2:28 PM, David Feuer wrote: > > My example wasn't quite the one I intended (although I think it should > work as well, and

Re: Why isn't this Typeable?

2017-09-25 Thread David Feuer
No. What led me down this path is that I was thinking about whether we could simplify the representation and reduce the TCB. The as-yet-incomplete ideas I had (largely based on the concept of using a constructor name as a singletons-style defunctionalization symbol) seem difficult to adapt to th

Re: Why isn't this Typeable?

2017-09-25 Thread Richard Eisenberg
I think we're a long way off from supporting Typeable for higher-kinded types, so I wouldn't worry about that dark, spider-ridden corner. Richard > On Sep 25, 2017, at 3:00 PM, David Feuer wrote: > > No. What led me down this path is that I was thinking about whether we could > simplify the r

Re: CircleCI (Was: Disable Travis?)

2017-09-25 Thread Joachim Breitner
Hi, Am Montag, den 25.09.2017, 13:36 +0200 schrieb Boespflug, Mathieu: > Can you configure circleci to mail both the committeer and a specific > person (e.g. you, or me) on every failed committ? > > That's a good question. The way things work in CircleCI is that this > is a user setting. You can

Re: CircleCI (Was: Disable Travis?)

2017-09-25 Thread Boespflug, Mathieu
> Do you know if there is a way to notify the committer, even if the committer > is not a CircleCI user? I don't know. The default might be to notify the committer if the build failed, even when not a CircleCI user. But I haven't tried. -- Mathieu Boespflug Founder at http://tweag.io. On 25 Sep