You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, the rule doesn't report the destructuring of single variant constructors when we don't know whether the type has any phantom types (as that could be the purpose of the destructuring).
This correctly doesn't get reported.
type A b =AStringa =let (A b)= xyz
in A b
but we only gather information about constructors from the current module. If a single-variant custom type from another module or from a dependency is used in such a way when it doesn't have a phantom type variable, then we should report it.
moduleSomeModuleexposing (A(..))
type A b =AString-- other moduleimportSomeModuleexposing (A(..))
-- should be simplifieda =let (A b)= xyz
in A b
The text was updated successfully, but these errors were encountered:
At the moment, the rule doesn't report the destructuring of single variant constructors when we don't know whether the type has any phantom types (as that could be the purpose of the destructuring).
This correctly doesn't get reported.
but we only gather information about constructors from the current module. If a single-variant custom type from another module or from a dependency is used in such a way when it doesn't have a phantom type variable, then we should report it.
The text was updated successfully, but these errors were encountered: