wrote:
> >>
> >> I've uploaded the code to GitHub.
> >>
> >> https://github.com/nfrisby/coxswain
> >>
> >> I went with a BSD3 licence.
> >>
> >> It's still very much a work in progress, so I only recommend usin
with a BSD3 licence.
>>
>> It's still very much a work in progress, so I only recommend using it for
>> experimentation for now.
>>
>> Thanks. -Nick
>>
>>
>> On Sun, Sep 10, 2017 at 3:24 PM Nicolas Frisby <nicolas.fri...@gmail.com>
>> wrote:
>>
h a work in progress, so I only recommend using it for
> experimentation for now.
>
> Thanks. -Nick
>
>
> On Sun, Sep 10, 2017 at 3:24 PM Nicolas Frisby <nicolas.fri...@gmail.com>
> wrote:
>
>> Hi all. I've been spending my free time for the last couple months on a
>> t
.
>
> It's still very much a work in progress, so I only recommend using it for
> experimentation for now.
>
> Thanks. -Nick
>
>
> On Sun, Sep 10, 2017 at 3:24 PM Nicolas Frisby <nicolas.fri...@gmail.com>
> wrote:
>
>> Hi all. I've been spending my free time
wrote:
> Hi all. I've been spending my free time for the last couple months on a
> type checker plugin for row types. The free time waxes and wanes; sending
> an email like this one was my primary goal for the past couple weeks.
>
> At the very least, I hoped this project would le
tember 2017 23:25
> *To:* ghc-devs@haskell.org
> *Cc:* Andres Löh <and...@well-typed.com>; Adam Gundry <a...@well-typed.com>;
> Richard Eisenberg <goldf...@gmail.com>
> *Subject:* A type checker plugin for row types
>
>
>
> Hi all. I've been spending my free time for t
h <and...@well-typed.com>; Adam Gundry <a...@well-typed.com>;
Richard Eisenberg <goldf...@gmail.com>
Subject: A type checker plugin for row types
Hi all. I've been spending my free time for the last couple months on a type
checker plugin for row types. The free time waxes and wanes;
ecking the call
>> `f
>> id`. We end up checking `id` against type `a -> b` with given `a ~ b`
>> where `a` and `b` are unification variables. They must be untouchable,
>> however, otherwise we might unify them, which would be wrong.
>>
>> Hope this helps,
-> b) -> Int
>
>(never mind that it is ambiguous) and consider type-checking the call
>`f
>id`. We end up checking `id` against type `a -> b` with given `a ~ b`
>where `a` and `b` are unification variables. They must be untouchable,
>however, otherwise we might unify the
given `a ~ b`
> where `a` and `b` are unification variables. They must be untouchable,
> however, otherwise we might unify them, which would be wrong.
>
> Hope this helps,
>
> Adam
>
>
> On 10/09/17 23:24, Nicolas Frisby wrote:
> > Hi all. I've been spending my free t
` with given `a ~ b`
> where `a` and `b` are unification variables. They must be untouchable,
> however, otherwise we might unify them, which would be wrong.
>
> Hope this helps,
>
> Adam
>
>
> On 10/09/17 23:24, Nicolas Frisby wrote:
> > Hi all. I've been spending
e we might unify them, which would be wrong.
Hope this helps,
Adam
On 10/09/17 23:24, Nicolas Frisby wrote:
> Hi all. I've been spending my free time for the last couple months on a
> type checker plugin for row types. The free time waxes and wanes;
> sending an email like this one was
the naming of
>> `coxswain` and `sculls` gave me a giggle.
>>
>> _ara
>>
>> On 10 Sep 2017, at 23:24, Nicolas Frisby <nicolas.fri...@gmail.com>
>> wrote:
>>
>> Hi all. I've been spending my free time for the last couple months on a
>> type
;>> On 10 Sep 2017, at 23:24, Nicolas Frisby <nicolas.fri...@gmail.com> wrote:
>>>
>>> Hi all. I've been spending my free time for the last couple months on a
>>> type checker plugin for row types. The free time waxes and wanes; sending
>>> an email like this
gle.
>
> _ara
>
> On 10 Sep 2017, at 23:24, Nicolas Frisby <nicolas.fri...@gmail.com> wrote:
>
> Hi all. I've been spending my free time for the last couple months on a
> type checker plugin for row types. The free time waxes and wanes; sending
> an email like this one wa
, and the naming of `coxswain`
and `sculls` gave me a giggle.
_ara
> On 10 Sep 2017, at 23:24, Nicolas Frisby <nicolas.fri...@gmail.com> wrote:
>
> Hi all. I've been spending my free time for the last couple months on a type
> checker plugin for row types. The free time waxes
Hi all. I've been spending my free time for the last couple months on a
type checker plugin for row types. The free time waxes and wanes; sending
an email like this one was my primary goal for the past couple weeks.
At the very least, I hoped this project would let me finally get some hands
17 matches
Mail list logo