This looks related to bug #7128. In the response to that (fixed, closed) bug
report, Simon PJ said that functional dependencies involving kinds are
supported. Are you compiling with a version of 7.6 updated since that bug fix?
Richard
On Aug 30, 2012, at 10:38 PM, Edward Kmett wrote:
> If I de
If I define the following
{-# LANGUAGE FunctionalDependencies, GADTs, KindSignatures,
MultiParamTypeClasses, PolyKinds, RankNTypes, TypeOperators,
DefaultSignatures, DataKinds, FlexibleInstances, UndecidableInstances #-}
module Indexed.Test where
class IMonad (m :: (k -> *) -> k -> *) where
ire
Hello,
On Thu, Aug 23, 2012 at 2:03 AM, Simon Peyton-Jones
wrote:
> I’m hazy about
>
> **· **the definitions of sing and fromSing
>
The family of singleton types, Sing, is quite general. However,
when its parameter is of kind `Nat`, then it is simply a newtype for
`Integer`:
d
Hi,
I am preparing a talk about the details of how data and programs look in
memory in Haskell (well, GHC). When explaining the memory consumption of
a large String, I wanted to show the effect of short-int-replacement
that happens in
http://hackage.haskell.org/trac/ghc/browser/rts/sm/Evac.c#L550
