Re: layout rules for "where"

Can't we require that a local definition be more indented than the enclosing definition?

It is required in Haskell'98. You have stumbled on a bug in Hugs, which you should report to the maintainers. Regards, Malcolm