search

google / mangle

Apache License 2.0
1.07k stars 38 forks source link

Analysis should report error when there are multiple declarations #25

Open burakemir opened 9 months ago

burakemir commented 9 months ago

I just spent some time wondering why my type declarations don't work.

I had

Decl foo(X, Y, Z) descr [ extensional() ] bound [/x, /y, /z].

and elsewhere (in a separate file) simply

Decl foo(X, Y, Z) descr [ extensional() ].

In my case the last one won and I couldn't get type inference to pick up the column types from foo.

The expected behavior is to signal an error when there is more than one type declaration in a program.