Skip to content

Cache2#5

Open
drathier wants to merge 50 commits intomasterfrom
cache2
Open

Cache2#5
drathier wants to merge 50 commits intomasterfrom
cache2

Conversation

@drathier
Copy link
Copy Markdown
Owner

Description of the change

Clearly and concisely describe the purpose of the pull request. If this PR relates to an existing issue or change proposal, please link to it. Include any other background context that would help reviewers understand the motivation for this PR.


Checklist:

  • Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md)
  • Added myself to CONTRIBUTORS.md (if this is my first contribution)
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

@drathier drathier closed this Dec 10, 2022
@drathier drathier reopened this Dec 10, 2022
@drathier drathier changed the base branch from master to FredTheDino-poke December 10, 2022 21:27
@drathier drathier changed the base branch from FredTheDino-poke to master December 10, 2022 21:27
@drathier
Copy link
Copy Markdown
Owner Author

That's better, now there's not 40 commits and 3ksloc changes in here

drathier and others added 22 commits December 10, 2022 22:40
…figure out if it needs to be rebuilt or not.

We still rebuild too many things wrt type classes.
We don't track type aliases at all since they get desugared earlier, which is a problem.
…allow switching back and forth between compiler versions.
Not sure if we already did or not, or if this changed anything. I couldn't think of a test case that failed without this change. It's possible that removing the notimpl1213 and notimpl1214 crashes was all that was needed.
…on't know if it's the correct thing to do but crashing sure isn't.
… holes are still available. I've never found wildcard errors useful when typed holes are right there.
…arsing externs files all the time. Enabled via PURS_LOOP_EVERY_SECOND=1 envvar.
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