Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update more tests #1

Open
wants to merge 1 commit into
base: tc-reader-primitives
Choose a base branch
from
Open

Update more tests #1

wants to merge 1 commit into from

Conversation

L-TChen
Copy link

@L-TChen L-TChen commented Jan 17, 2023

Update a few more tests. This commit shall pass the CI. [ I forgot to run a full test suite locally. ]

@L-TChen L-TChen closed this Jan 17, 2023
@L-TChen L-TChen deleted the tc-reader-primitives branch January 17, 2023 15:52
@L-TChen L-TChen restored the tc-reader-primitives branch January 17, 2023 16:01
@L-TChen L-TChen reopened this Jan 17, 2023
UlfNorell pushed a commit that referenced this pull request Mar 28, 2024
@lawcho
Code organization: Break module cycle around TopLevelModuleName (ag…
7758295 
…da#6874)

Introduces module `Agda.Syntax.Common.TopLevelModuleName.Boot` to break a module dependency cycle.

Squashed from commits:
* Break SCC #1
* Fix 'accidental' module cycles touching scc1
* Fix data/type mix-up
* Remove .hs-boot file, fix fallout
* Update final dependent
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@L-TChen