|Subject:||Re: [Haskell-cafe] type families and type signatures|
|Date:||Thu, 10 Apr 2008 07:58:44 +0100|
On Thu, Apr 10, 2008 at 4:20 AM, Manuel M T Chakravarty <chak@xxxxxxxxxxxxxxx> wrote:
the five signatures
By alpha-convertible I mean the usual thing from lambda calculus, they are identical modulo the names of bound variables.
So only the first two are alpha-convertible to each other.
If you involve any kind of reduction the equivalence test is no longer trivial.
All I'm asking for really, is to be able to paste in the type that was inferred as the signature, without the compiler complaining.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@xxxxxxxxxxx http://www.haskell.org/mailman/listinfo/haskell-cafe
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [Haskell-cafe] instance Monad m => Functor m, ajb|
|Next by Date:||Re: [Haskell-cafe] type families and type signatures, Lennart Augustsson|
|Previous by Thread:||Re: [Haskell-cafe] type families and type signatures, Manuel M T Chakravarty|
|Next by Thread:||Re: [Haskell-cafe] type families and type signatures, Manuel M T Chakravarty|
|Indexes:||[Date] [Thread] [Top] [All Lists]|