[Haskell-cafe] Getting types inside a function in ghci

Christopher Done chrisdone at gmail.com
Tue Oct 29 22:58:17 UTC 2013


On the left of <- you could do

do () <- someThing
   ….

so that you'll get a type error against (). Or use scoped type variables:

do (x::()) <- someThing
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131029/1ceff899/attachment.html>


More information about the Haskell-Cafe mailing list