Skip to content

Fallback functions have to be external#4376

Merged
chriseth merged 3 commits intodevelopfrom
fallbackExternal
Jul 10, 2018
Merged

Fallback functions have to be external#4376
chriseth merged 3 commits intodevelopfrom
fallbackExternal

Conversation

@chriseth
Copy link
Copy Markdown
Contributor

Depends on #4375

@chriseth chriseth requested a review from axic June 28, 2018 20:35
@chriseth chriseth force-pushed the fallbackExternal branch 2 times, most recently from 8c00cbc to 937dec6 Compare June 29, 2018 10:32
@leonardoalt leonardoalt mentioned this pull request Jul 2, 2018
29 tasks
@chriseth chriseth force-pushed the fallbackExternal branch from 0fc7dcd to bc6b42a Compare July 3, 2018 20:56
Copy link
Copy Markdown
Collaborator

@ekpyron ekpyron left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good.

@chriseth chriseth merged commit d84976d into develop Jul 10, 2018
@axic axic deleted the fallbackExternal branch July 11, 2018 23:20
github-merge-queue bot pushed a commit to NomicFoundation/slang that referenced this pull request Feb 13, 2024
github-merge-queue bot pushed a commit to NomicFoundation/slang that referenced this pull request Feb 22, 2024
rollup-smithbm0p added a commit to rollup-smithbm0p/slang that referenced this pull request Dec 26, 2025
rollup-smithbm0p added a commit to rollup-smithbm0p/slang that referenced this pull request Dec 26, 2025
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.

2 participants