Skip to content

:search should expand typedefs #2788

Open
Open
:search should expand typedefs#2788
Labels
easyIssues that are expected to be easy to resolve and might therefore be good for new contributorsneeds testIssues for which we should add a regression testsubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executiontype: enhancementIssues describing an improvement to an existing feature or capabilityusabilityAn issue that impedes efficient understanding and use
Milestone
release-1.6

Description

@sauclovian-g
sauclovian-g
opened on Nov 6, 2025

Currently:

sawscript> typedef Foo = Int
sawscript> :search Foo String
No matches.
sawscript> :search Int String
get_opt : Int -> String
write_saig' : String -> Term -> Int -> TopLevel ()
6 more matches tagged experimental; use enable_experimental to see them

which is silly.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    easyIssues that are expected to be easy to resolve and might therefore be good for new contributorsneeds testIssues for which we should add a regression testsubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executiontype: enhancementIssues describing an improvement to an existing feature or capabilityusabilityAn issue that impedes efficient understanding and use

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions