"Found hole"

[David Feuer]

Just use exit_ or something instead. Typed holes are a *really useful*
mechanism.

On Tue, Jan 20, 2015 at 3:51 PM, migmit <migmit at gmail.com> 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 <ahammel87 at gmail.com> написал(а):
>
> 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 <ahammel87 at gmail.com> 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 <verteiler at volker-wysk.de>
>> 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 at haskell.org
>>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>>
>>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>