Skip to content

check and fail on duplicated defs#92

Closed
behrica wants to merge 1 commit into
nextjournal:mainfrom
behrica:failOnDuplicates
Closed

check and fail on duplicated defs#92
behrica wants to merge 1 commit into
nextjournal:mainfrom
behrica:failOnDuplicates

Conversation

@behrica

@behrica behrica commented Feb 21, 2022

Copy link
Copy Markdown
Contributor

addresses #66

@mk

mk commented Dec 12, 2023

Copy link
Copy Markdown
Member

Sorry for leaving this dangling for so long. We'll want to take a different approach and support redefining vars in the future.

@mk mk closed this Dec 12, 2023
@zampino zampino mentioned this pull request Feb 5, 2024
@zampino

zampino commented Mar 28, 2024

Copy link
Copy Markdown
Collaborator

#629 addressed this by not caching redefinitions

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants