Zulip Chat Archive

Stream: general

Topic: type mismatch

Scott Morrison (Apr 06 2019 at 05:44):

I have a type mismatch error in which the expected and observed types are identical, even with set_option pp.all true. Any advice?

Kevin Buzzard (Apr 06 2019 at 05:50):

Fill in all of the implicit fields for the object you're trying to define when the error occurs. It sometimes fixes it.

Last updated: Dec 20 2023 at 11:08 UTC