google / mlir-hs

Haskell bindings for MLIR
Apache License 2.0
92 stars 16 forks source link

Add support for I64ElementsAttr #25

Closed apaszke closed 2 years ago

apaszke commented 2 years ago

This turned out to be pretty tricky, because DenseElementsAttr uses existentials. As it turns out, those have pretty complicated interactions with pattern synonyms, including dealing with required and provided constraints.