Skip to content

Still omit uninteresting kind signatures from HTML docs when redundant parenthesis are involved #4136

@JordanMartinez

Description

@JordanMartinez

Description

in #4100 and #4119, we display kind signatures to HTML docs, but only if those kind signatures are "interesting." In other words, "uninteresting" kinds are removed. While working on #4121, I discovered that parenthesis are not properly accounted for when checking if a kind signature is "uninteresting."

To Reproduce

Steps to reproduce the behavior.

mkdir uninterestingKinds
cd uninterestingKinds
cat << EOF > src/Main.purs
module Main where

data Oops :: (Type) -> Type
data Oops a = Oops
EOF
purs docs "src/**/*.purs"

oops-parents-issue

Expected behavior

If a kind signature is still considered uninteresting once redundant parenthesis are removed, then the kind signature should be omitted.

PureScript version

master

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions