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 <ahamme...@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 <vertei...@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@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
