Skip to content

th-utilities-0.1.1.0: test/TH/DeriveSpec/TH.hs: Couldn't match type #2

@juhp

Description

@juhp

Tests failed to build in Stackage Nightly:

Preprocessing test suite 'test' for th-utilities-0.1.1.0...
[1 of 4] Compiling TH.DeriveSpec.TH ( test/TH/DeriveSpec/TH.hs, dist/build/test/test-tmp/TH/DeriveSpec/TH.o )

test/TH/DeriveSpec/TH.hs:16:9: error:
    • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’
      Expected type: Q [Dec]
        Actual type: Q [[Dec] -> Dec]
    • In a stmt of a 'do' block:
        return
          [InstanceD
             preds
             (AppT (ConT ''Show) ty)
             [ValD (VarP 'show) (NormalB expr) []]]
      In the expression:
        do { expr <- [| \ _ -> "ShowBlind" |];
             return [InstanceD preds (AppT (ConT ''Show) ty) [...]] }
      In an equation for ‘runInstantiator’:
          runInstantiator
            _
            preds
            (AppT (ConT ((== ''InstShowBlind) -> True)) ty)
            []
            = do { expr <- [| \ _ -> ... |];
                   return [InstanceD preds (AppT (ConT ...) ty) ...] }

test/TH/DeriveSpec/TH.hs:16:27: error:
    • Couldn't match type ‘[Pred]’ with ‘Maybe Overlap’
      Expected type: Maybe Overlap
        Actual type: Cxt
    • In the first argument of ‘InstanceD’, namely ‘preds’
      In the expression:
        InstanceD
          preds (AppT (ConT ''Show) ty) [ValD (VarP 'show) (NormalB expr) []]
      In the first argument of ‘return’, namely
        ‘[InstanceD
            preds
            (AppT (ConT ''Show) ty)
            [ValD (VarP 'show) (NormalB expr) []]]’

test/TH/DeriveSpec/TH.hs:16:34: error:
    • Couldn't match type ‘Type’ with ‘[Pred]’
      Expected type: Cxt
        Actual type: Type
    • In the second argument of ‘InstanceD’, namely
        ‘(AppT (ConT ''Show) ty)’
      In the expression:
        InstanceD
          preds (AppT (ConT ''Show) ty) [ValD (VarP 'show) (NormalB expr) []]
      In the first argument of ‘return’, namely
        ‘[InstanceD
            preds
            (AppT (ConT ''Show) ty)
            [ValD (VarP 'show) (NormalB expr) []]]’

test/TH/DeriveSpec/TH.hs:16:57: error:
    • Couldn't match expected type ‘Type’ with actual type ‘[Dec]’
    • In the third argument of ‘InstanceD’, namely
        ‘[ValD (VarP 'show) (NormalB expr) []]’
      In the expression:
        InstanceD
          preds (AppT (ConT ''Show) ty) [ValD (VarP 'show) (NormalB expr) []]
      In the first argument of ‘return’, namely
        ‘[InstanceD
            preds
            (AppT (ConT ''Show) ty)
            [ValD (VarP 'show) (NormalB expr) []]]’

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions