<div dir="ltr">I believe the feature "typed holes" first came about around ghc 7.8.  I'm not sure if there ever was a pragma for it because it got everyone so excited it was just made to default on from its inception.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 19, 2015 at 9:29 AM, Elias Diem <span dir="ltr"><<a href="mailto:lists@webconect.ch" target="_blank">lists@webconect.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi there<br>
<br>
I'm referring to a post from Stefan Höck and will quote from<br>
there:<br>
<br>
<a href="http://article.gmane.org/gmane.comp.lang.haskell.beginners/14198" target="_blank">http://article.gmane.org/gmane.comp.lang.haskell.beginners/14198</a><br>
<br>
<quote><br>
Now, load this into GHCi or compile with GHC. If it compiles, you're<br>
on the right track. Now, you want to implement it using a fold<br>
(try both, foldl and foldr):<br>
<br>
  last5 :: [a] -> Maybe a<br>
  last5 xs = foldr _ _ xs<br>
<br>
The underscores are 'type holes'. This tells the compiler to give you<br>
some information about what is supposed to be placed at the two<br>
positions. For the moment, we are only interested in the types of the<br>
things that go there. The compiler will tell you, that<br>
the hole at the first position is of type<br>
<br>
  a -> Maybe a -> Maybe a<br>
</quote><br>
<br>
How does the compiler tell me this? I didn't find any flags<br>
for GHC to turn this on. What do I miss?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Greetings<br>
Elias<br>
<br>
<br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
</font></span></blockquote></div><br></div>