cept a diff that adds these?
Thank you for your time.
--
Tom Sydney Kerckhove
signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
a
> > > value, but rather a 'human readable' representation of a value.
> > >
> > > My questions for you:
> > >
> > > - Is there a reason that there are no derived 'Show' instances for most
> > > types?
> &g
On 18-03-17 16:13:52, Ben Gamari wrote:
>
>
> On March 18, 2017 9:03:48 AM EDT, Tom Sydney Kerckhove
> wrote:
>
> Snip.
> >
> >My questions for you:
> >
> >- Is there a reason that there are no derived 'Show' instances for most
> >
/Language-Haskell-Exts-Syntax.html#t:Type
--
Tom Sydney Kerckhove
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RecordWildCards #-}
module EasySpec.Discover.Gather where
import Import
import GHC
import GHC.Paths (libdir)
import OccName
import RdrName
import TcRnTypes
import T
On 01-04-17 19:47:15, Ben Gamari wrote:
> Tom Sydney Kerckhove writes:
>
> > Dear GHC Devs,
>
> Hi Tom,
Hi Mr Gamari
> I'm afraid the notes in TyCoRep are really all we have. Note that you
> should also familiarize yourself with the TyCon type (for reasons y
On 02-04-17 14:40:05, Tom Sydney Kerckhove wrote:
> Is there a way to access the types before this translation happens?
> It's okay if I have to assume that type-checking succeeds...
I have found a way to do what I want, even after this translation.
It relies on the fact that
but I am also expecting to find ALL the other
instances that are available for type checking.
Is there any documentation on this matter?
Failing that, is there anyone who is willing to help me with this
problem?
Thank you for your time.
--
Tom Sydney Kerckhove
signature.asc
Description: PGP s
Ints where
> >
> > import Prelude (Int, (+), (-))
> >
> > f :: Int -> Int
> > f x = x + 1
> >
> > g :: Int -> Int
> > g x = x - 1
> >
> > double :: Int -> Int
> > double x = x + x
> >
> > zero :: Int
> >
you are interested in, you can load all of those, and then the instances
> for those types will be ready.
That's probably the most feasible approach.
Then I'd have to find all the types in scope, and find their interfaces.
I know how to get all the TyThing's in scope, so it
`.
I think that means that it's not locally defined, but rather part of a
package that I'm using.
Unfortunately that means that I don't really understand how I can load
it to find the instances.
Would you please hint me at the next step?
Thank you for your time.
On 19-05-17 23:0
10 matches
Mail list logo
