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

Malformed Rewrite Rule when building PenguinGraphs #62660

Open
ProfFan opened this issue Dec 17, 2022 · 1 comment
Open

Malformed Rewrite Rule when building PenguinGraphs #62660

ProfFan opened this issue Dec 17, 2022 · 1 comment
Assignees
@slavapestov
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler itself crash Bug: A crash, i.e., an abnormal termination of software generics Feature: generic declarations and types type checker Area → compiler: Semantic analysis

Comments

@ProfFan
Copy link

ProfFan commented Dec 17, 2022

Description

Compiler about when compiling PenguinGraphs: https://github.com/saeta/penguin

Steps to reproduce

  1. Clone repo
  2. swift test on the latest trunk toolchain
  3. Get the following crash:
Building for debugging...
&&& Malformed rewrite rule: τ_0_0._Storage.[Sequence:Element].[_AdjacencyListPerVertex:EdgeData].[_AdjacencyListPerEdge:VertexId] => τ_0_0.[DirectedAdjacencyListProtocol:RawId]
&&& symbol.getKind() != Symbol::Kind::Name

...

1.	Apple Swift version 5.8-dev (LLVM 767c0998bcfdab1, Swift 1f3397ac116fada)
2.	Compiling with the current language version
3.	While evaluating request TypeCheckSourceFileRequest(source_file "/Users/proffan/Projects/Development/VISION/SwiftFusion/penguin/Sources/PenguinGraphs/AdjacencyList.swift")
4.	While type-checking 'DirectedAdjacencyListProtocol' (at /Users/proffan/Projects/Development/VISION/SwiftFusion/penguin/Sources/PenguinGraphs/AdjacencyList.swift:212:8)
5.	While evaluating request RequirementRequest(PenguinGraphs.(file).DirectedAdjacencyListProtocol@/Users/proffan/Projects/Development/VISION/SwiftFusion/penguin/Sources/PenguinGraphs/AdjacencyList.swift:212:17, 0, interface)
6.	While evaluating request ResolveTypeRequest(while resolving type , _AdjacencyList_DirectedVertexEdgeCollection<_EdgeData>, (null))
7.	While building rewrite system for generic signature <τ_0_0 where τ_0_0 : DirectedAdjacencyListProtocol>

Full crash: https://gist.github.com/ProfFan/1dd2c15b57d0558934ba97f9a7674367

Expected behavior

Compiles or emit error message.

Environment

  • Apple Swift version 5.8-dev (LLVM 767c0998bcfdab1, Swift 1f3397a)
  • Xcode version 14C18
  • Deployment target: macOS 13.0
@ProfFan ProfFan added bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. triage needed This issue needs more specific labels labels Dec 17, 2022
@ProfFan
Copy link
Author

ProfFan commented Dec 17, 2022

tagging @BradLarson

@ProfFan ProfFan mentioned this issue Dec 17, 2022
Open
@AnthonyLatsis AnthonyLatsis added crash Bug: A crash, i.e., an abnormal termination of software compiler crash generics Feature: generic declarations and types compiler The Swift compiler itself type checker Area → compiler: Semantic analysis and removed triage needed This issue needs more specific labels labels Dec 18, 2022
@slavapestov slavapestov self-assigned this Mar 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@slavapestov slavapestov

Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler itself crash Bug: A crash, i.e., an abnormal termination of software generics Feature: generic declarations and types type checker Area → compiler: Semantic analysis
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@slavapestov @ProfFan @AnthonyLatsis