5 commits

Author	SHA1	Message	Date
Arne Döring	64ffa17f0f	fixes #13715 (#13716) ... * fixes #13715 * fix test	2020-03-22 20:01:01 +01:00
Timothee Cour	eec07b4e84	fix several bugs with repr (#13386)	2020-02-11 21:33:06 +01:00
Timothee Cour	b80d70b0f3	fix tests	2019-07-08 15:24:20 -07:00
Andreas Rumpf	84f0a33bf0	make typeToString sane for sequence again	2019-02-25 19:01:01 +01:00
skilchen	becb6743f8	fixes #8434 (incomplete info in errmsg about 'required type') (#8441)	2018-07-30 10:41:59 +02:00