Stream: Coq devs & plugin devs

Topic: master broken

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

Pierre-Marie Pédrot (Oct 28 2021 at 12:10):

looks like a race condition with #15069

Pierre-Marie Pédrot (Oct 28 2021 at 12:12):

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

Gaëtan Gilbert (Oct 28 2021 at 12:15):

:racecar: :race: :tractor:

Pierre-Marie Pédrot (Oct 28 2021 at 12:17):

Looks like a yellow tractor to me.

Gaëtan Gilbert (Oct 28 2021 at 12:19):

trac.png

Enrico Tassi (Oct 28 2021 at 13:28):

Oops...

Gaëtan Gilbert (Apr 15 2024 at 15:16):

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

Last updated: Apr 20 2024 at 15:01 UTC