I'm not sure `indent` is being kept up to date TBH. As Simon mentioned, David Ingamells released indent 2.2.10 early this year after a lapse of some years. So perhaps sending a report to bug-indent about the missing type definitions, etc. would have some effect.
-l80
I strongly suggest 79; I'd hate 80, myself. Indent's default of 78 also
seems ok to me here.
Best,
Karl
