Where within Let, Haskell Scoping,

Question

I want to have access to a let-binding within a following where-clause.

Why does this Code fail? And even more important: How do I get it to work?

test bar = let baz = bar - 1 in
 foo where
  foo = baz`

it says: Not in scope: baz' Perhaps you meantbar'

Did you really mean to write baz' or was it baz that you wanted? — Pedro Rodrigues
– Pedro Rodrigues, Commented Dec 10, 2013 at 14:46

Ingo · Accepted Answer · 2013-12-10 11:56:56Z

3

You can think of a where as another way to write a let around the right hand sides that belong to a single match.

In your case, it is quite easy, as there is only a single right hand side. Hence, you wrote:

test bar = let foo = baz in let baz = bar-1 in foo

This is not going to work. I recommend to stick with either where or let, most idiomatic would be:

test bar = foo
    where
       foo = baz
       baz = bar -1

Apart from that, when you only define baz then baz' will never be in scope.

answered Dec 10, 2013 at 11:56

Ingo

36.4k6 gold badges57 silver badges102 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

Lee · Accepted Answer · 2013-12-10 11:55:39Z

0

where clauses can only access the parameters of the enclosing function and any higher-level bindings. You can pass baz as a parameter to foo:

test bar = let baz = bar - 1 in (foo baz)
  where foo x = x

answered Dec 10, 2013 at 11:55

Lee

145k20 gold badges243 silver badges292 bronze badges