Fix Ctr patterns not being renamed in imports

[nicolas-abril]

Solves #724

[NoamDev]

This doesn't seem to have fixed it

[nicolas-abril]

This doesn't seem to have fixed it

Do you have an example of where it fails? It's working for your previous example.

[NoamDev]

Do you have an example of where it fails? It's working for your previous example.

oh, you're right, well the new case is this:

a.bend

from b import *

type MyType:
  A {data: u24}
  B {data: u24}

b.bend

from a import *

Foo: MyType -> MyType
(Foo (MyType/A a)) = (MyType/A a)
(Foo (MyType/B b)) = (MyType/B b)

main.bend

from a import *
main = "hello world"

> bend run main.bend
Errors:
In b :
In definition 'b/Foo':
  Unbound variable 'a/MyType'.
  Unbound variable 'a/MyType'.

[NoamDev]

@developedby in case you missed this

[nicolas-abril]

@developedby in case you missed this

I saw it, it's just that this one is a bit more complicated and doesn't seem to be a single-line fix. Sorry i forgot to uptade you here