layout question

[Geoffrey Irving]

Currently the following definition of iter fails:

iter :: (a -> ()) -> List a -> ()
iter _ [] = ()
iter f (x:l) = f x; iter f l

The problem is that layout doesn't introduce a '{' after the '=', so
the ';' is treated as starting a new top level declaration. Is this
fixable without introducing other issues?

Geoffrey

[Dylan Simon]

From Geoffrey Irving <irv...@naml.us>, Sun, May 08, 2011 at 02:54:08PM -0700:

You would have to change the line in Layout.hs to:

leaderType TokEq = Just Mandatory

I'm not sure how much that would break, though. We also use '=' for PatAs,
which would probably be messed up by that (but could be worked around
probably).

I think the code to consider that would be affected is something like:

f x =
y = x ; y

[Geoffrey Irving]

Thanks. Your example seems more important than my iter definition, given that adding a newline fixes the latter, so I'll leave layout the way it is.

Geoffrey