<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>DON'T DO THAT!</div><div><br></div><div>Seriously, turn off compile-time type checking completely just to start an identifier with an underscore???<br><br>Отправлено с iPad</div><div><br>20 янв. 2015 г., в 21:39, Alex Hammel <<a href="mailto:ahammel87@gmail.com">ahammel87@gmail.com</a>> написал(а):<br><br></div><blockquote type="cite"><div><div dir="ltr">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.<br><br>However, it's perfectly legal to use identifiers which look like typed holes. This works fine on 7.8.3ghc:<br><br>_exit = print<br>main = _exit 0<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jan 20, 2015 at 11:25 AM, Alex Hammel <span dir="ltr"><<a href="mailto:ahammel87@gmail.com" target="_blank">ahammel87@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">The only reference to a NoTypedHoles extension google can find is this thread. Odd.<br></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jan 20, 2015 at 11:22 AM, Volker Wysk <span dir="ltr"><<a href="mailto:verteiler@volker-wysk.de" target="_blank">verteiler@volker-wysk.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi!<br>
<br>
Am Dienstag, 20. Januar 2015, 13:44:01 schrieben Sie:<br>
<span>> The leading underscore invokes the typed holes extension. If you want to<br>
> use such names, you'll need {-# LANGUAGE NoTypedHoles #-} as the first line<br>
> of the source file.<br>
<br>
</span>I get this error, when I use "{-# LANGUAGE NoTypedHoles #-}":<br>
<br>
ex.hs:1:14: Unsupported extension: NoTypedHoles<br>
<br>
I'm using GHC 7.8.3. Could it be that the "NoTypedHoles" extension was added<br>
not before 7.8.4 (the most current version).<br>
<div><div><br>
Bye<br>
Volker<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>Glasgow-haskell-users mailing list</span><br><span><a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a></span><br><span><a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a></span><br></div></blockquote></body></html>