[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell-cafe
Subject: Re: [Haskell-cafe] Why can't I promote data family constructors, and what to do instead?
From: Tom Ellis <tom-lists-haskell-cafe-2023 () jaguarpaw ! co ! uk>
Date: 2023-09-18 9:56:48
Message-ID: ZQge4BdXYw0CRmu7 () cloudinit-builder
[Download RAW message or body]
On Sat, Sep 16, 2023 at 08:45:59AM -0400, Ryan Scott wrote:
> Regarding the first question ("Is this restriction *really* necessary?"), I
> think the answer is likely "no", at least for most data family instances.
> This discussion [1] is the most up-to-date reference on the history and
> motivations behind the current restriction.
>
> [1] https://github.com/ghc-proposals/ghc-proposals/discussions/456
Very interesting. Thanks Ryan!
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic