"Found hole"

Brandon Allbery allbery.b at gmail.com
Tue Jan 20 18:44:01 UTC 2015


On Tue, Jan 20, 2015 at 1:36 PM, Volker Wysk <verteiler at volker-wysk.de>
wrote:

> What is a "hole"?


https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/typed-holes.html

When I replace "_exit" with "foo", it produces a "not in scope" error, as
> expected. What is special about "_exit"? It doesn't occur in the Haskell
> Hierarchical Libraries.
>

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 am not sure why this extension was enabled by
default.)

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20150120/951f80a6/attachment.html>


More information about the Glasgow-haskell-users mailing list