On 4/27/06, Robin Bate Boerop [EMAIL PROTECTED] wrote:
But, this code:
class CC a
type C x = CC a = a x
f, g :: C a - Int
f _ = 3
g x = f $ x -- the only change
The problem is exactly the use of $. $ is an operator, not a built-in
language construct, and it has type (a - b) - a - b. No
Niklas Broberg wrote:
On 4/27/06, Robin Bate Boerop [EMAIL PROTECTED] wrote:
But, this code:
class CC a
type C x = CC a = a x
f, g :: C a - Int
f _ = 3
g x = f $ x -- the only change
The problem is exactly the use of $. $ is an operator, not a built-in
language construct, and it has type (a
Hello Robin,
Thursday, April 27, 2006, 8:01:16 AM, you wrote:
g x = f $ x -- the only change
gives this error:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
Expected type: a a1 - b
Inferred type: C a1 - Int
In the
Hello GHC,
{- answering message in ghc-bugs -}
Thursday, April 27, 2006, 2:06:07 PM, you wrote:
#710: library reorganisation
Some libraries we want to add:
* [http://www.cse.unsw.edu.au/~dons/fps.html FastPackedStrings]
(replace {{{Data.PackedString}}})
sorry for repetition, but
I don't see that anyone has mentioned yet, but I expect a number of GHC
users and developers will find this paper very interesting:
http://www.cis.upenn.edu/~stevez/papers/LZ06a.pdf
___
Glasgow-haskell-users mailing list
On Thu, 2006-04-27 at 16:46 -0400, Geoffrey Alan Washburn wrote:
I don't see that anyone has mentioned yet, but I expect a number of GHC
users and developers will find this paper very interesting:
http://www.cis.upenn.edu/~stevez/papers/LZ06a.pdf
Indeed it is an interesting read. Just the