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

Autogenerated tests do not handle ElementsAttr #36

Open
jpienaar opened this issue Apr 10, 2022 · 0 comments
Open

Autogenerated tests do not handle ElementsAttr #36

jpienaar opened this issue Apr 10, 2022 · 0 comments

Comments

@jpienaar
Copy link
Member

Results in error like

test/MLIR/AST/Dialect/Generated/LLVMSpec.hs:779:62: error:                                          
    • Couldn't match type ‘a’
                     with ‘MLIR.AST.IStorableArray.IStorableArray a2 GHC.Int.Int32’
        because type variable ‘a2’ would escape its scope
      This (rigid, skolem) type variable is bound by
        a pattern with pattern synonym:
          InternalGEPOpAttributes :: () =>
                                     forall a0.
                                     (GHC.Ix.Ix a0, Prelude.Show a0) =>
                                     MLIR.AST.IStorableArray.IStorableArray a0 GHC.Int.Int32
                                     -> MLIR.AST.NamedAttributes,
        in a case alternative
        at test/MLIR/AST/Dialect/Generated/LLVMSpec.hs:779:15-57
      Expected type: Maybe a
        Actual type: Maybe
                       (MLIR.AST.IStorableArray.IStorableArray a2 GHC.Int.Int32)
    • In the expression: Just (structIndices_match)
      In a case alternative:
          InternalGEPOpAttributes structIndices_match
            -> Just (structIndices_match)
      In the expression:
        case (InternalGEPOpAttributes structIndices) <> Prelude.mempty of
          InternalGEPOpAttributes structIndices_match
            -> Just (structIndices_match)
          _ -> Nothing
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

No branches or pull requests

1 participant