Crash in type argument removal: unsupported node

[lukaszcz]

Check out commit 7439f2f1c558cda946111befa5ffac91bf948b6d from juvix-stdlib, go to test and run:

make test

The result:

juvix: remove type arguments: unsupported node
	(? lambda_304@Test!304@Test lambda_507@Test!507@Test [email protected]) Bool
CallStack (from HasCallStack):
  error, called at src/Juvix/Prelude/Base/Foundation.hs:501:9 in juvix-0.6.6-Es9DwLRPTtLIIl9tezES8s:Juvix.Prelude.Base.Foundation
  error, called at src/Juvix/Compiler/Core/Transformation/RemoveTypeArgs.hs:16:24 in juvix-0.6.6-Es9DwLRPTtLIIl9tezES8s:Juvix.Compiler.Core.Transformation.RemoveTypeArgs

[paulcadman]

This is usually caused by the quickcheck dependency using a different copy of the standard library. I think it's related to:

• Package name & version are not set properly in moduleIds #2985

[paulcadman]

This is usually caused by the quickcheck dependency using a different copy of the standard library. I think it's related to:

• Package name & version are not set properly in moduleIds #2985

Updating all of the stdlib test dependencies to use the same stdlib ref fixes this issue. Therefore this bug is indeed caused by #2985 and Is not a separate bug in the pipeline.

[lukaszcz]

I'll close the issue then