derive

derive copied to clipboard

[WIP] update to haskell-src-exts-1.23

1

l29ah

Could not convert Type to Kind () ConT GHC.Types.Nat

1

Derive 2.6.2 running under ghc 8.0.2 reports the following error: ``` BitR.hs:1:1: error: Exception when trying to run compile-time code: Could not convert Type to Kind () ConT GHC.Types.Nat derive/v2_6_2/src/Language/Haskell/Convert.hs:(305,5)-(306,57):...

blackgnezdo

Could not convert Dec to Decl ()

2

Running derive/v2_6_2 with GHC8 I'm getting this error: ``` Bug2.hs:1:1: error: Exception when trying to run compile-time code: Could not convert Dec to Decl () TySynD Main.NewType [] (ConT Main.DataType)...

blackgnezdo

Hackage distribution lacks TestInstances

1

I attempted to build a self-checking test based just on the contents of the tarball from Hackage and it fails with: AutoGenerated_Test3.hs:7:8: Could not find module `Derive.TestInstances' Use -v to...

blackgnezdo

Could not convert Type to Type ()

1

Running derive/v2_6_2 with GHC8 I'm getting this error: ``` Bug3.hs:1:1: error: Exception when trying to run compile-time code: Could not convert Type to Type () LitT (NumTyLit 8) v2_6_2/src/Language/Haskell/Convert.hs:(103,5)-(114,29): Non-exhaustive...

blackgnezdo

Example in Data.Derive.UniplateDirect fails

8

{-# OPTIONS_GHC -F -pgmFderive -optF-F -optF-F #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} import Data.Derive.UniplateDirect import Data.Generics.Uniplate.Direct data Foo a = Foo a (Bool, a) {-! deriving instance...

ddssff

Find another maintainer

15

I don't use the project myself, with the several programmable type-class features in GHC it's less important, and the projects which would have a serious need for this kind of...

ndmitchell

Errors while using C and GHC preprocessors

1

I'm on ghc 8.0.1 (stackage nightly-2016-07-07) and i'm trying to use derive for Arbitrary, Uniplate and Biplate. I tried both preprocessors, the error message does not give me enough information...

flip111

TH derivation doesn't work when the type name is qualified

1

Let's try to derive `Arbitrary` for `Maybe`, but imported qualified from Prelude: ```haskell {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE TemplateHaskell #-} import Data.DeriveTH (derive, makeArbitrary) import qualified Prelude as P...

neongreen

quickcheck's arbitrary derivation is bad for data types mostly with recursive constructors

2

From https://code.google.com/p/ndmitchell/issues/detail?id=561 Let's define a datatype for expressions data Expr = Plus Expr Expr | Minus Expr Expr | Times Expr Expr | Divide Expr Expr | Number Integer The...

ndmitchell