Re: odd atomicOp errors from vibe-core

[Steven Schveighoffer via Digitalmars-d-learn]

On 4/12/20 6:30 AM, Iain Buclaw wrote:



This is a regression caused by https://github.com/dlang/dmd/pull/10711


Thanks for finding that!

I wasn't sure where the culprit was.

-Steve

Re: odd atomicOp errors from vibe-core

[Iain Buclaw via Digitalmars-d-learn]

On Friday, 10 April 2020 at 01:54:14 UTC, Steven Schveighoffer 
wrote:
I'm building a library that uses vibe-core as an indirect 
dependency. Specifically, I'm testing the library with dub test.


A very odd thing happens as I'm picking off compiler errors one 
at a time. After all the errors that I created are listed, I 
get this list:




[--snip--]

Error: template core.atomic.atomicOp cannot deduce function 
from argument types !("-=")(shared(uint), int), candidates are:

/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14):
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)
  with op = "-=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))


[--snip--]


../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(2006,22): Error: 
template core.atomic.atomicOp cannot deduce function from argument types 
!("+=")(shared(uint), int), candidates are:

And then it just abruptly ends there.

I'm not sure why all these errors come out. Looking at the 
code, it seems to have nothing to do with my code. Once I fix 
my code errors (which are legitimate errors that I made), then 
these mysteriously go away. I'm not calling any of these 
functions that it's spitting out.


Why are these being triggered? Why do they all of a sudden go 
away? Does anyone else see this? Is it specifically something 
with vibe-core? Is it something to do with dub?





This is a regression caused by 
https://github.com/dlang/dmd/pull/10711

Re: odd atomicOp errors from vibe-core

[Mathias LANG via Digitalmars-d-learn]

On Friday, 10 April 2020 at 03:26:04 UTC, Steven Schveighoffer 
wrote:

On 4/9/20 11:22 PM, Stefan Koch wrote:
On Friday, 10 April 2020 at 01:54:14 UTC, Steven Schveighoffer 
wrote:
I'm building a library that uses vibe-core as an indirect 
dependency. Specifically, I'm testing the library with dub 
test.


[...]


Those are signed unsigned mismatches when it tries to lock.
that's probably in vibe-d


Can you explain why I do not get the errors when I have taken 
care of my errors?


It doesn't make a whole lot of sense to me.

-Steve


I've observed this behavior as well. From what  can tell, it's a 
false positive that only shows up in the presence of previous 
error. I'd say that has something to do with the way the compiler 
do semantic analysis. My money is on the fact that `core.atomic` 
is special, and that something else (bad error gagging, perhaps?) 
triggers an error. As far as I can tell, it is safe to ignore.


If you can reduce it to something small enough, I'd say it's 
worthy of an issue tho.

Re: odd atomicOp errors from vibe-core

[Steven Schveighoffer via Digitalmars-d-learn]

On 4/9/20 11:22 PM, Stefan Koch wrote:

On Friday, 10 April 2020 at 01:54:14 UTC, Steven Schveighoffer wrote:
I'm building a library that uses vibe-core as an indirect dependency. 
Specifically, I'm testing the library with dub test.


[...]


Those are signed unsigned mismatches when it tries to lock.
that's probably in vibe-d


Can you explain why I do not get the errors when I have taken care of my 
errors?


It doesn't make a whole lot of sense to me.

-Steve

Re: odd atomicOp errors from vibe-core

[Stefan Koch via Digitalmars-d-learn]

On Friday, 10 April 2020 at 01:54:14 UTC, Steven Schveighoffer 
wrote:
I'm building a library that uses vibe-core as an indirect 
dependency. Specifically, I'm testing the library with dub test.


[...]


Those are signed unsigned mismatches when it tries to lock.
that's probably in vibe-d

odd atomicOp errors from vibe-core

[Steven Schveighoffer via Digitalmars-d-learn]

I'm building a library that uses vibe-core as an indirect dependency. 
Specifically, I'm testing the library with dub test.


A very odd thing happens as I'm picking off compiler errors one at a 
time. After all the errors that I created are listed, I get this list:


../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1546,16): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("+=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "+=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1548,28): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("-=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "-=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(327,10): 
Error: template instance vibe.core.sync.TaskMutexImpl!false error 
instantiating
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1546,16): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("+=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "+=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1548,28): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("-=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "-=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(426,10): 
Error: template instance vibe.core.sync.TaskMutexImpl!true error 
instantiating
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1607,16): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("+=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "+=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1609,28): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("-=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "-=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(467,10): 
Error: template instance vibe.core.sync.RecursiveTaskMutexImpl!false 
error instantiating
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1607,16): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("+=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "+=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-core-1.9.0/vibe-core/source/vibe/core/sync.d(1609,28): 
Error: template core.atomic.atomicOp cannot deduce function from 
argument types !("-=")(shared(uint), int), candidates are:
/home/steves/.dvm/compilers/dmd-2.091.0/linux/bin/../../src/druntime/import/core/atomic.d(543,14): 
   atomicOp(string op, T, V1)(ref shared T val, V1 mod)

  with op = "-=",
   T = uint,
   V1 = int
  must satisfy the following constraint:
   __traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod"))
../../../.dub/packages/vibe-co