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 "
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
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
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
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
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
> 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