Stream: Coq devs & plugin devs

Topic: master broken

view this post on Zulip Pierre-Marie Pédrot (Oct 28 2021 at 12:10):

It says

File "vernac/proof_using.ml", line 104, characters 33-35:
Error: This expression has type Names.variable = Names.Id.t
       but an expression was expected of type Environ.env

view this post on Zulip Pierre-Marie Pédrot (Oct 28 2021 at 12:10):

looks like a race condition with #15069

view this post on Zulip Pierre-Marie Pédrot (Oct 28 2021 at 12:12):

https://github.com/coq/coq/pull/15083

view this post on Zulip Gaëtan Gilbert (Oct 28 2021 at 12:15):

:racecar: :race: :tractor:

view this post on Zulip Pierre-Marie Pédrot (Oct 28 2021 at 12:17):

Looks like a yellow tractor to me.

view this post on Zulip Gaëtan Gilbert (Oct 28 2021 at 12:19):

trac.png

view this post on Zulip Enrico Tassi (Oct 28 2021 at 13:28):

Oops...

Last updated: Jun 05 2023 at 10:01 UTC