Commit 04783b79 authored by simonpj's avatar simonpj
Browse files

[project @ 1999-04-29 12:21:50 by simonpj]

Document Olaf Chitils point about pattern matching against a polymoprhic argument
parent fa7bd36e
% $Id: glasgow_exts.vsgml,v 1.8 1999/03/30 11:26:24 sof Exp $
% $Id: glasgow_exts.vsgml,v 1.9 1999/04/29 12:21:50 simonpj Exp $
% GHC Language Extensions.
......@@ -1198,6 +1198,26 @@ and <tt>bind</tt> to extract the polymorphic bind and return functions
from the <tt>MonadT</tt> data structure, rather than using pattern
You cannot pattern-match against an argument that is polymorphic.
For example:
newtype TIM s a = TIM (ST s (Maybe a))
runTIM :: (forall s. TIM s a) -> Maybe a
runTIM (TIM m) = runST m
Here the pattern-match fails, because you can't pattern-match against
an argument of type <tt>(forall s. TIM s a)</tt>. Instead you
must bind the variable and pattern match in the right hand side:
runTIM :: (forall s. TIM s a) -> Maybe a
runTIM tm = case tm of { TIM m -> runST m }
The <tt>tm</tt> on the right hand side is (invisibly) instantiated, like
any polymorphic value at its occurrence site, and now you can pattern-match
against it.
<sect2>The partial-application restriction
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment