"Found hole"

[Volker Wysk]

Hi!

Am Dienstag, 20. Januar 2015, 13:44:01 schrieben Sie:
> The leading underscore invokes the typed holes extension. If you want to
> use such names, you'll need {-# LANGUAGE NoTypedHoles #-} as the first line
> of the source file.

I get this error, when I use "{-# LANGUAGE NoTypedHoles #-}":

   ex.hs:1:14: Unsupported extension: NoTypedHoles

I'm using GHC 7.8.3. Could it be that the "NoTypedHoles" extension was added
not before 7.8.4 (the most current version).

Bye
Volker