Skip to content

Allow string to mode cross#2826

Merged
liam923 merged 4 commits intomainfrom
liam/predef-kinds
Jul 22, 2024
Merged

Allow string to mode cross#2826
liam923 merged 4 commits intomainfrom
liam/predef-kinds

Conversation

@liam923
Copy link
Copy Markdown
Contributor

@liam923 liam923 commented Jul 19, 2024

Modify the definition of string in predef to allow crossing along linearity, contention, and portability.

@liam923 liam923 requested a review from riaqn July 19, 2024 18:58
Copy link
Copy Markdown
Contributor

@riaqn riaqn left a comment

Choose a reason for hiding this comment

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

I reviewed typing-modes and typing-unique, which I'm familiar with.

@liam923 liam923 merged commit e293565 into main Jul 22, 2024
@liam923 liam923 deleted the liam/predef-kinds branch July 22, 2024 17:18
ncik-roberts pushed a commit that referenced this pull request Jul 26, 2024
* Update string to mode cross

* Update tests

* Add cr for test

* Fix formatting
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
* Update string to mode cross

* Update tests

* Add cr for test

* Fix formatting
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