Re: Simplification of instances

2012-09-28 Thread David Waern
2012/9/28 Simon Peyton-Jones simo...@microsoft.com: Ahem. DFuns (what you get from is_dfun of a ClsInst) now have some silent arguments, that are added by GHC and are not part of the original instance declaration. See Note [Silent superclass arguments] in TcInstDcls. But you don't want to

Re: Records in Haskell

2012-01-14 Thread David Waern
2012/1/14 Johan Tibell johan.tib...@gmail.com: On Fri, Jan 13, 2012 at 3:52 PM, Simon Peyton-Jones simo...@microsoft.com wrote: I know of no proposal that advocates only (A).  It seems that we are agreed that we must make use of types to disambiguate common cases. I will try to make the case

Re: gitweb on darcs.haskell.org?

2011-06-26 Thread David Waern
Hi Iavor, Could we get darcs.haskell.org/haddock.git in there as well? It's now the haddock upstream repository, and darcs.haskell.org/haddock2 should not be used. 2011/6/24 Iavor Diatchki iavor.diatc...@gmail.com: Hello, We now have a git-web instance running on darcs.haskell.org. You can

Re: Exported modules in the GHC API

2011-05-27 Thread David Waern
2011/5/27 Simon Marlow marlo...@gmail.com: On 23/05/2011 13:52, David Waern wrote: 2011/5/23 Simon Marlowmarlo...@gmail.com: This is the way it's defined in Haskell - a 'module' export expands to all those names in scope qualified with that module name.  There might be several different

Re: Exported modules in the GHC API

2011-05-23 Thread David Waern
2011/5/23 Simon Marlow marlo...@gmail.com: This is the way it's defined in Haskell - a 'module' export expands to all those names in scope qualified with that module name.  There might be several different modules imported with that name, and the 'module' export would export the contents of

Exported modules in the GHC API

2011-05-22 Thread David Waern
Hi, When encountering an IEModuleContents ModuleName export item, I'd like a simple way to get its original Module (with the original module name and package ID). It seems a bit complicated to have to go through the import items to figure this out. My question is: is there a simpler way, and if

Re: haddock and associated data families

2010-10-03 Thread David Waern
2010/9/9 Antoine Latter aslat...@gmail.com: CC'ing the maintainer listed on Hackage for haddock On Wed, Sep 8, 2010 at 5:14 PM, Christian Höner zu Siederdissen choe...@tbi.univie.ac.at wrote: Hi, haddock seems to produce an error on associated data family decls.:

Re: Strangeness in the syntax of types

2009-06-18 Thread David Waern
2009/6/18 Niklas Broberg niklas.brob...@gmail.com: GHC: ctypedoc  :: { LHsType RdrName }        : 'forall' tv_bndrs '.' ctypedoc        | context '=' ctypedoc        | gentypedoc Notice GHC's recursive call to ctypedoc after the =. I have no idea what the doc suffix on the production is

Re: ghc-pkg check problem in 6.10.2

2009-04-02 Thread David Waern
2009/4/2 Simon Marlow marlo...@gmail.com: I just noticed that the new 'ghc-pkg check' feature exposes a silly mistake in the definition of the rts package that we ship with GHC 6.10.2: $ ghc-pkg check There are problems in package rts-1.0:  include-dirs: PAPI_INCLUDE_DIR doesn't exist or

Re: Release plans

2007-04-27 Thread David Waern
Here's a quick summary of the major developments that we already have in the 6.8 codebase: - Associated data types, and the new FC intermediate language - GHCi debugger (although there's an overhaul of the breakpoint support almost ready to go in) - Coverage (HPC) - GADTs + typeclasses