Skip to content

Instantly share code, notes, and snippets.

@fragamus

fragamus/gist:dfe57cd6cb1a29f7cf96a6cc1dcd5094

Created July 15, 2019 00:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fragamus/dfe57cd6cb1a29f7cf96a6cc1dcd5094 to your computer and use it in GitHub Desktop.
Save fragamus/dfe57cd6cb1a29f7cf96a6cc1dcd5094 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
This code:
toListOf (types @(Name SrcSpanInfo))
$ (TyCon
(SrcSpanInfo
{srcInfoSpan = SrcSpan "Foo.hs" 268 24 268 32,
srcInfoPoints = []})
(UnQual
(SrcSpanInfo
{srcInfoSpan = SrcSpan "Foo.hs" 268 24 268 32,
srcInfoPoints = []})
(Ident
(SrcSpanInfo
{srcInfoSpan = SrcSpan "Foo.hs" 268 24 268 32,
srcInfoPoints = []})
"DeclHead")))
produces the error below. I understand it to mean that something referred to by the declaration of the ADT called Type in
Language.Haskell.Exts.Syntax does not derive Generic. I need to know what can be done about it. The references to
GHC.Real.Ratio Integer and the like seem strange and out of place. Can anyone explain?
/Users/michaelgough/hhlisp/src/Main.hs:221:33: error:
• No instance for (Data.Generics.Product.Types.HasTypes'
(Data.Generics.Product.Types.Snd
(Data.Generics.Product.Types.InterestingOr
(Data.Generics.Product.Types.InterestingOr
(Data.Generics.Product.Types.InterestingOr
(Data.Generics.Product.Types.Interesting'
(GHC.Generics.Rep (GHC.Real.Ratio Integer))
(Name SrcSpanInfo)
'[GHC.Real.Ratio Integer, [SrcSpan], [Char], SrcSpan,
SrcSpanInfo, Literal SrcSpanInfo])
(GHC.Generics.M1
GHC.Generics.S
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 String))
(Name SrcSpanInfo))
(GHC.Generics.M1
GHC.Generics.C
('GHC.Generics.MetaCons "PrimInt" 'GHC.Generics.PrefixI 'False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 SrcSpanInfo)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 Integer)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String))))
(Name SrcSpanInfo))
((GHC.Generics.C1
('GHC.Generics.MetaCons "PrimWord" 'GHC.Generics.PrefixI 'False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 SrcSpanInfo)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 Integer)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String)))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"PrimFloat" 'GHC.Generics.PrefixI 'False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 SrcSpanInfo)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
Rational)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String))))
GHC.Generics.:+: (GHC.Generics.C1
('GHC.Generics.MetaCons
"PrimDouble" 'GHC.Generics.PrefixI 'False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 SrcSpanInfo)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
Rational)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String)))
GHC.Generics.:+: (GHC.Generics.C1
('GHC.Generics.MetaCons
"PrimChar"
'GHC.Generics.PrefixI
'False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
SrcSpanInfo)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
Char)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String)))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"PrimString"
'GHC.Generics.PrefixI
'False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
SrcSpanInfo)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
String))))))
(Name SrcSpanInfo)))
(Literal SrcSpanInfo)
(Name SrcSpanInfo))
arising from a use of ‘types’
• In the first argument of ‘toListOf’, namely
‘(types @(Name SrcSpanInfo))’
In the expression: toListOf (types @(Name SrcSpanInfo))
In the second argument of ‘($)’, namely
‘toListOf (types @(Name SrcSpanInfo))
$ (TyCon
(SrcSpanInfo
{srcInfoSpan = SrcSpan "Syntax.hs" 268 24 268 32,
srcInfoPoints = []})
(UnQual
(SrcSpanInfo
{srcInfoSpan = SrcSpan "Syntax.hs" 268 24 268 32,
srcInfoPoints = []})
(Ident
(SrcSpanInfo
{srcInfoSpan = SrcSpan "Syntax.hs" 268 24 268 32,
srcInfoPoints = []})
"DeclHead")))’
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment