fpco / th-utilities

Collection of useful functions for use with Template Haskell
MIT License
10 stars 6 forks source link

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

Open juhp opened 8 years ago

juhp commented 8 years ago

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) []]]’
mgsloan commented 8 years ago

@juhp Thanks! Fixed in 0.1.1.1