Skip to content

define* not considered as definition #3

Description

@8191

The star-form of define (define*) is not considered a definition and their definitions are therefore not indexed.

definition_keywords: |-
(?x)
(?:define(?:-(?:condition-type
|enumeration
|ftype
|property
|record(?:-type)?
|s(?:tructure|yntax)
|values))?
|trace-define(?:-syntax)?)

As a quick workaround I've modified (?:define(?:-(?:condition-type to (?:define\*?(?:-(?:condition-type, but I'm sure there are negative side-effects...

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions