lue

fails to preduce error message on certain extended record `type alias` argument types

1

> _note: Incomplete. These are just some findings while experimenting_ When a `{`type used in an extensible record`| ... }` - is constrained - is inferred to a non-record type...

non-breaking type changes should be minor/patch

1

The sem-ver could be less strict when changing the type in a minor way. Suggestion: Mark the following cases as minor changes: ### Going from `Specific` or [`constrainedTypeVariable`](https://guide.elm-lang.org/types/reading_types.html#constrained-type-variables) to `typeVariable`...

Allow `.` in `import` alias

1

Unlike `module` names, `import` aliases can't contain `.`. ```elm import Tree.Path import Tree.Path.Extra as Tree.Path ``` > UNFINISHED IMPORT - I am partway through parsing an import, but I got...

error on correct code using `Identity a = a`

1

When a function annotation includes a type that contains ```elm type alias Identity a = a ``` with an inferred type variable ```elm map : (a -> b) -> Identity...

Different type syntax

1

Single constructor union types feel error-prone for beginners. [One example](https://elmlang.slack.com/archives/C0CJ3SBBM/p1640268588253000): ```elm type Model = List { url : String } initialModel : Model initialModel = [ { url = "1.jpeg"...

`Array` sorting

2

Sorting operations like `sort`, `sortBy` & `sortWith` in `List` can't be found in the `module Array`. I miss them the most when working with `Arrays`, so I think these would...

Correct multiple spelling mistakes

2

Corrected ``` comparision → comparison specifices → specifies initalize → initialize interchangably → interchangeably ```

visit builders

4

Instead of `withSimpleStructureVisitor` & `withStructureVisitor`, builders could cover both cases: ```elm visitErrors : List (Error errorScope) -> VisitResult context_ (Error errorScope) visitToContext : context -> VisitResult context error -> VisitResult...

Add `Review.Fix.createModule`

1

```elm {-| Create a new elm `module` file under a given directory among existing project directories, see [`Review.Rule.DirectoryKey`](Review-Rule#DirectoryKey). If a `module` with the same name already exists, the new `content`...

Add `Review.Rule.with...Pattern...Visitor`s

3

Including `Pattern` visitors would be useful to for example forbid tuple patterns, specific named patterns, ...: - `Review.Rule.withSimplePatternVisitor` - `Review.Rule.withPatternEnterVisitor` - `Review.Rule.withPatternExitVisitor` It is currently quite a lot of code...