Just use exit_ or something instead. Typed holes are a *really useful* mechanism.
On Tue, Jan 20, 2015 at 3:51 PM, migmit <mig...@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 <ahamme...@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 <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 > > > _______________________________________________ > 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