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.

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

fixed #102 and possibly #101 #103

Closed
wants to merge 6 commits into from
Closed

fixed #102 and possibly #101 #103

wants to merge 6 commits into from

Conversation

tribbloid
Copy link
Collaborator

No description provided.

fix refined type display

revise TypeView that won't lose information when extracting qualifier

revise dealiasIfNecessary such that it won't lose information

simplify extractArg, removing the unsound part

still need cleanup
@github-actions
Copy link

github-actions bot commented Aug 29, 2023

Test Report (2.13.8)

80 tests  +22   65 ✔️ +10   20s ⏱️ +6s
12 suites +  2     0 💤  -   3 
12 files   +  2   15 +15 

For more details on these failures, see this check.

Results for commit 7b14035. ± Comparison against base commit ea42916.

This pull request removes 7 and adds 29 tests. Note that renamed tests count towards both.
splain.builtin.BasicSpec ‑ refined
splain.plugin.PluginSpec ‑ linebreak long infix types - break
splain.plugin.PluginSpec ‑ prefix stripping - prefix
splain.plugin.PluginSpec ‑ regex-rewrite
splain.plugin.PluginSpec ‑ single types in function - single-fn
splain.plugin.PluginSpec ‑ single types single
splain.plugin.PluginSpec ‑ single types with free symbol - single-free
splain.builtin.BasicSource3Spec ‑ auxType
splain.builtin.BasicSource3Spec ‑ bounds
splain.builtin.BasicSource3Spec ‑ bynameParam
splain.builtin.BasicSource3Spec ‑ chain
splain.builtin.BasicSource3Spec ‑ deeplyNestedHole
splain.builtin.BasicSource3Spec ‑ disambiguateQualified
splain.builtin.BasicSource3Spec ‑ foundReq
splain.builtin.BasicSource3Spec ‑ foundReqVsImplicit
splain.builtin.BasicSource3Spec ‑ longAnnotationMessage
splain.builtin.BasicSource3Spec ‑ longInfix
…

♻️ This comment has been updated with latest results.

@github-actions
Copy link

github-actions bot commented Aug 29, 2023

Test Report (2.13.7)

80 tests  +22   65 ✔️ +10   16s ⏱️ +2s
12 suites +  2     0 💤  -   3 
12 files   +  2   15 +15 

For more details on these failures, see this check.

Results for commit 7b14035. ± Comparison against base commit ea42916.

This pull request removes 7 and adds 29 tests. Note that renamed tests count towards both.
splain.builtin.BasicSpec ‑ refined
splain.plugin.PluginSpec ‑ linebreak long infix types - break
splain.plugin.PluginSpec ‑ prefix stripping - prefix
splain.plugin.PluginSpec ‑ regex-rewrite
splain.plugin.PluginSpec ‑ single types in function - single-fn
splain.plugin.PluginSpec ‑ single types single
splain.plugin.PluginSpec ‑ single types with free symbol - single-free
splain.builtin.BasicSource3Spec ‑ auxType
splain.builtin.BasicSource3Spec ‑ bounds
splain.builtin.BasicSource3Spec ‑ bynameParam
splain.builtin.BasicSource3Spec ‑ chain
splain.builtin.BasicSource3Spec ‑ deeplyNestedHole
splain.builtin.BasicSource3Spec ‑ disambiguateQualified
splain.builtin.BasicSource3Spec ‑ foundReq
splain.builtin.BasicSource3Spec ‑ foundReqVsImplicit
splain.builtin.BasicSource3Spec ‑ longAnnotationMessage
splain.builtin.BasicSource3Spec ‑ longInfix
…

♻️ This comment has been updated with latest results.

@github-actions
Copy link

github-actions bot commented Aug 29, 2023

Test Report (2.13.9)

80 tests  +22   65 ✔️ +10   19s ⏱️ +5s
12 suites +  2     0 💤  -   3 
12 files   +  2   15 +15 

For more details on these failures, see this check.

Results for commit 7b14035. ± Comparison against base commit ea42916.

This pull request removes 7 and adds 29 tests. Note that renamed tests count towards both.
splain.builtin.BasicSpec ‑ refined
splain.plugin.PluginSpec ‑ linebreak long infix types - break
splain.plugin.PluginSpec ‑ prefix stripping - prefix
splain.plugin.PluginSpec ‑ regex-rewrite
splain.plugin.PluginSpec ‑ single types in function - single-fn
splain.plugin.PluginSpec ‑ single types single
splain.plugin.PluginSpec ‑ single types with free symbol - single-free
splain.builtin.BasicSource3Spec ‑ auxType
splain.builtin.BasicSource3Spec ‑ bounds
splain.builtin.BasicSource3Spec ‑ bynameParam
splain.builtin.BasicSource3Spec ‑ chain
splain.builtin.BasicSource3Spec ‑ deeplyNestedHole
splain.builtin.BasicSource3Spec ‑ disambiguateQualified
splain.builtin.BasicSource3Spec ‑ foundReq
splain.builtin.BasicSource3Spec ‑ foundReqVsImplicit
splain.builtin.BasicSource3Spec ‑ longAnnotationMessage
splain.builtin.BasicSource3Spec ‑ longInfix
…

♻️ This comment has been updated with latest results.

@github-actions
Copy link

github-actions bot commented Aug 29, 2023

Test Report (2.13.10)

80 tests  +22   65 ✔️ +10   17s ⏱️ +8s
12 suites +  2     0 💤  -   3 
12 files   +  2   15 +15 

For more details on these failures, see this check.

Results for commit 7b14035. ± Comparison against base commit ea42916.

This pull request removes 7 and adds 29 tests. Note that renamed tests count towards both.
splain.builtin.BasicSpec ‑ refined
splain.plugin.PluginSpec ‑ linebreak long infix types - break
splain.plugin.PluginSpec ‑ prefix stripping - prefix
splain.plugin.PluginSpec ‑ regex-rewrite
splain.plugin.PluginSpec ‑ single types in function - single-fn
splain.plugin.PluginSpec ‑ single types single
splain.plugin.PluginSpec ‑ single types with free symbol - single-free
splain.builtin.BasicSource3Spec ‑ auxType
splain.builtin.BasicSource3Spec ‑ bounds
splain.builtin.BasicSource3Spec ‑ bynameParam
splain.builtin.BasicSource3Spec ‑ chain
splain.builtin.BasicSource3Spec ‑ deeplyNestedHole
splain.builtin.BasicSource3Spec ‑ disambiguateQualified
splain.builtin.BasicSource3Spec ‑ foundReq
splain.builtin.BasicSource3Spec ‑ foundReqVsImplicit
splain.builtin.BasicSource3Spec ‑ longAnnotationMessage
splain.builtin.BasicSource3Spec ‑ longInfix
…

♻️ This comment has been updated with latest results.

@github-actions
Copy link

github-actions bot commented Aug 29, 2023

Test Report (2.13.11)

80 tests  +22   65 ✔️ +10   18s ⏱️ +3s
12 suites +  2     0 💤  -   3 
12 files   +  2   15 +15 

For more details on these failures, see this check.

Results for commit 7b14035. ± Comparison against base commit ea42916.

This pull request removes 7 and adds 29 tests. Note that renamed tests count towards both.
splain.builtin.BasicSpec ‑ refined
splain.plugin.PluginSpec ‑ linebreak long infix types - break
splain.plugin.PluginSpec ‑ prefix stripping - prefix
splain.plugin.PluginSpec ‑ regex-rewrite
splain.plugin.PluginSpec ‑ single types in function - single-fn
splain.plugin.PluginSpec ‑ single types single
splain.plugin.PluginSpec ‑ single types with free symbol - single-free
splain.builtin.BasicSource3Spec ‑ auxType
splain.builtin.BasicSource3Spec ‑ bounds
splain.builtin.BasicSource3Spec ‑ bynameParam
splain.builtin.BasicSource3Spec ‑ chain
splain.builtin.BasicSource3Spec ‑ deeplyNestedHole
splain.builtin.BasicSource3Spec ‑ disambiguateQualified
splain.builtin.BasicSource3Spec ‑ foundReq
splain.builtin.BasicSource3Spec ‑ foundReqVsImplicit
splain.builtin.BasicSource3Spec ‑ longAnnotationMessage
splain.builtin.BasicSource3Spec ‑ longInfix
…

♻️ This comment has been updated with latest results.

@tribbloid tribbloid closed this Sep 8, 2023
@tribbloid tribbloid deleted the refined-fix/dev2 branch September 8, 2023 20:13
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