Skip to content

Reworked floating types - #1019

Draft
kmemarian wants to merge 46 commits into
rems-project:masterfrom
kmemarian:reworked-floating
Draft

kmemarian wants to merge 46 commits into
rems-project:masterfrom
kmemarian:reworked-floating

Conversation

@kmemarian

Copy link
Copy Markdown
Collaborator

The last commit in this PR improves the treatment of floating types.

I am opening a draft PR for visibility, but this can't yet be merged to master because:

  1. this needs validation;
  2. this is based on my cleanup wip branch (core-cleanup-v2) which has a lot of re-engineering changes that will clash with other pending PRs.

This branch has not been deployed

No deployments
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.

1 participant