It sounds like you're doing something quite like the defunctionalization trick
I've used for partially applied type families:
https://typesandkinds.wordpress.com/2013/04/01/defunctionalization-for-the-win/
That blog post eventually became an implementation and paper (co-authored with
Jan
I share Richard's opinion.
Janek
Dnia wtorek, 13 stycznia 2015, Richard Eisenberg napisaĆ:
Hi devs,
There's a sizable number of modules in the `vectorise` subdirectory of GHC.
I'm sure these do all sorts of wonderful things. But what, exactly? And,
does anyone make use of these wonderful
Hi,
a small update on this: This will eventually be available at
http://perf.ghc.haskell.org/ (or so it was promised to me :-).
Until then, if you have your own projects where you want to use the tool
(which is supposed to be somewhat generic), you can find instructions
and code at:
Hi,
{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
import GHC.Exts
type family TyFun a
data DictC (c :: * - Constraint)
data DictTF (tf :: * - *)
type Test1 = DictTF TyFun -- Fails here in 7.8.4
type Test2 = DictC Show
When I compile the above code, I'm getting the following error in 7.8.4
Hello Magesh,
The bug is in 7.8.3, which should never have allowed your `Test1`. Haskell type
families may not be partially applied -- the type system and type inference
just don't know how to handle such things. In 7.8.3, the check was accidentally
turned off, as discussed in #9433, as you
Thanks Richard. Basically I was storing the type family and its arguments
in the data type, so that I can transform its arguments before it gets
applied to stored typefamily (via. another closed type function). Is this
even possible to do by any chance in 7.8.4 later?
On Tue, Jan 13, 2015 at
Hi devs,
There's a sizable number of modules in the `vectorise` subdirectory of GHC. I'm
sure these do all sorts of wonderful things. But what, exactly? And, does
anyone make use of these wonderful things?
A quick poking through the code shows a tiny link between the vectorise code
and the
Never mind, I can derive one for ConstrRep
Alan
On Tue, Jan 13, 2015 at 11:49 PM, Alan Kim Zimmerman alan.z...@gmail.com
wrote:
Is there a reason there is no Ord instance for Data.Data.Constr?
I want to use it as part of a key in a Map, and can't auto derive the
instance as all the
Is there a reason there is no Ord instance for Data.Data.Constr?
I want to use it as part of a key in a Map, and can't auto derive the
instance as all the constructors are not in scope.
Alan
___
ghc-devs mailing list
ghc-devs@haskell.org