Commit 73b92b54 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-04-30 10:49:38 by simonpj]

Add comments
parent 39068cf4
...@@ -324,6 +324,15 @@ URK! Let's not do this. So this is illegal: ...@@ -324,6 +324,15 @@ URK! Let's not do this. So this is illegal:
f :: Int -> Int f :: Int -> Int
f x = x + ?y f x = x + ?y
There's a nasty corner case when the monomorphism restriction bites:
f = x + ?y
The argument above suggests that we must generalise over the ?y parameter,
but the monomorphism restriction says that we can't. The current
implementation chooses to let the monomorphism restriction 'win' in this
case, but it's not clear what the Right Thing is.
BOTTOM LINE: you *must* quantify over implicit parameters. BOTTOM LINE: you *must* quantify over implicit parameters.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment