Add a type annotation to List.range #6242
Conversation
| start : [At (Num a), After (Num a)], | ||
| end : [At (Num a), Before (Num a), Length Nat], | ||
| step ? Num a, | ||
| }* |
There was a problem hiding this comment.
Do we really want the *. I don't think this is a function where it makes sense to accept an open record.
There was a problem hiding this comment.
I don't think we do, but I thought that was currently necessary because of a bug with optional fields.
At any rate, the main reason I posted this is to reproduce a (different) type checking bug where it says a needs to have an Eq constraint. 😄
|
Thank you for your contribution! Sometimes PRs end up staying open for a long time without activity, which can make the list of open PRs get long and time-consuming to review. To keep things manageable for reviewers, this bot automatically closes PRs that haven’t had activity in 60 days. This PR hasn’t had activity in 30 days, so it will be automatically closed if there is no more activity in the next 30 days. Keep in mind that PRs marked |
No description provided.