Re: "Found hole"

Typed holes is not an extension, because it's considered a warning/error. The reason for this is that code with typed holes is NOT valid haskell to begin with, therefore the behaviour doesn't conflict with any description in the report.

Well, now I feel very silly about my last email to this list. This is what I understood. I'm glad to see this is indeed the case.