Re: "Found hole"

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