forall dot issue

[HaskellZhangSong]

I find forall a . a -> a. for the dot lhs2tex will use \circ which is not right.

[andreasabel]

Me too.

[AliceRixte]

This is also a problem when using OverloadedRecordDot

[kosmikus]

There is forall.fmt which should solve the situation for forall. It won't fix the OverloadedRecordDot situation though. That requires changing the lexing rules and make a distinction about whether . is surrounded by whitespace or not.