log tests/badVariant.ur

age author description
2012-04-16 Adam Chlipala Tweak printing of constructor record literals to allow re-parsing by compiler