[Haskell-cafe] A proposals

[Louis Wasserman]

I'd like to see something resembling as-patterns in type signatures.
Specifically, there are cases where I'm inclined to use
(m ~ pat) in a type context when m isn't otherwise constrained, just so I
can use m as an abbreviation for pat.  To reduce these cases, I'd like to
see the syntax m at pat allowed for use in type signatures, with m becoming
simply an alias for pat.  Thoughts?

I've added a ticket here <http://hackage.haskell.org/trac/ghc/ticket/3545>.

Louis Wasserman
wasserman.louis at gmail.com
http://profiles.google.com/wasserman.louis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090927/b6fe3e58/attachment.html