opencompl / opencompl/veir

Implement `SymbolRefAttr` and remove `FlatSymbolRefAttr`

Open
#534 0 comments 1 reaction 0 assignees View on GitHub
Dominant language
Lean
Stars
108
Forks
32
Avg merge
1d 1h
Merged PRs (30d)
155

Description

`FlatSymbolRefAttr` is a subset of `SymbolRefAttr`, so it should be replaced by it.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.