TypeRep does indeed resemble * as a type.
I'm working on a system for reification of types, building on my
open-witness package (which is essentially a cleaner, more Haskell-ish
alternative to TypeRep).
Firstly, there's a witness type to equality of types:
data EqualType :: k -> k -> * whe
If you squint at it the right way, TypeRep looks like such a type *. I believe
José Pedro Magalhães is working on a revision to the definition of TypeRep
incorporating kind polymorphism, etc., but the current TypeRep might work for
you.
Your idea intersects various others I've been thinking abo
Now that we have type promotion, where certain types can become kinds, I
find myself wanting kind demotion, where kinds are also types. So for
instance there would be a '*' type, and all types of kind * would be
demoted to values of it. Is that feasible?
-- Ashley Yakeley
___
Hi Simon,
Yes, I could live with (.->), (.+), etc more easily than `arr`, `plus` etc.
Better yet would be a LANGUAGE pragma I can add to my libraries to get the
old behavior back.
Better still for me personally would be for other libraries to add a
LANGUAGE pragma to get the 7.6.1 behavior. I ca
I also have quite a lot of code (growing daily) that uses (~>) as a type
variable. It's not the only such type variable, because some abstractions
are about combining multiple arrowish things, e.g., more CT variations on
Functor and Foldable that allow valuable flexibility missing in the
standard l
Hm. "~" is a sometimes-fine prefix for abstracting over arrowish things,
but perhaps not so appealing for others doing pairish, sumish etc
abstractions.
-- Conal
On Sat, Sep 15, 2012 at 4:47 AM, Sjoerd Visscher wrote:
> +1. Making ":" the signal for type variables would break even more code,
> f
> asyropoulos writes:
> I am trying to compile the GHC on OpenIndiana (essentially Solaris 11). I
> follow the steps in
Hi Apostolos,
It took me a while to finally figure this out, but in the end I was able to
get GHC 7.4.2 working nicely on OpenIndiana. Here are the steps I followed:
Friends
Thanks for this useful conversation, by email and at ICFP. Here's my summary.
Please tell me if I'm on the right track. It would be great if someone wanted
to create a page on the GHC wiki to capture the issues and outcomes.
Simon
Eta rules
~~
* We want to add eta-rules to FC.
Dear Developers,
I am trying to compile the GHC on OpenIndiana (essentially Solaris
11). I follow the steps in
http://www.haskell.org/ghc/docs/6.4.1/html/building/sec-porting-ghc.html#sec-booting-from-hc
and here is what I get:
$ ./distrib/hc-build --prefix=/opt/gnu/ghcb --enable-hc-boot