Re: "Found hole"

Just use exit_ or something instead. Typed holes are a *really useful* mechanism. On Tue, Jan 20, 2015 at 3:51 PM, migmit wrote:

DON'T DO THAT!

Seriously, turn off compile-time type checking completely just to start an identifier with an underscore???

Отправлено с iPad

20 янв. 2015 г., в 21:39, Alex Hammel написал(а):

You can get typed holes to compile with a warning and a runtime error with the -fdefer-type-errors flag, if that's what you want.

However, it's perfectly legal to use identifiers which look like typed holes. This works fine on 7.8.3ghc:

_exit = print main = _exit 0

On Tue, Jan 20, 2015 at 11:25 AM, Alex Hammel wrote:

...

The only reference to a NoTypedHoles extension google can find is this thread. Odd.

On Tue, Jan 20, 2015 at 11:22 AM, Volker Wysk wrote:

...

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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users