FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

[purs ide] Add a `do-nothing` response to the addImport command · Issue #2926 · purescript/purescript · GitHub

/ purescript Public

[purs ide] Add a do-nothing response to the addImport command #2926

Open
Open
[purs ide] Add a do-nothing response to the addImport command#2926
Labels
purs ide
Milestone
Approved

Description

kritzcreek
opened on Jun 4, 2017

This way we don't write files when an identifier was already imported, and we can safely ignore any import requests for the Prim module after #2925

Metadata

Metadata

Assignees

No one assigned

    Labels

    purs ide

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

    Back | FazBrowse Home | New Git URL