A: Evaluation order, ghc versus hugs, lazy vs. strict

[Christian Sievers]

Hal Daume III wrote:

> > >      -- strictness annotation, to be used as
> > >      --   f a x | strict a, deepStrict x = annotation
> > >      --   f a x = the_true_function_body
> > >      strict a = seq a False
> > 
> > The 'False' her is rather arbitrary, or am I missing something?
> 
> It must be 'False', to prevent the body = 'annotation' = 'undefined' from
> getting evaluated.

Yes, and the ',' is illegal; to get the desired behaviour of both strictness
annotations to be effective, it has to be replaced with '||'.


All the best
Christian Sievers