Namespace overlap error is missing filename/location

[dincho]

Compiling of the contract:

@compiler >= 6

include "BLS12_381.aes"

namespace BLS12_381 =
    type fp = int

main contract Bug =
    type number = int

leads to the following error

Type error in 'contracts/Bug.aes' at line 5, col 11:
The namespace BLS12_381 (at line 5, column 11) has the same name as a namespace at line 1, column 11

which reports wrong namespace location obviously

[dincho]

Perhaps the compiler annotation is not considered ? 🤔

[dincho]

Perhaps the compiler annotation is not considered ? 🤔

Nah, same error (location) with:

include "Set.aes"
include "BLS12_381.aes"

namespace BLS12_381 =
    type fp = int

main contract Bug =
    type number = int

[hanssv]

It is line 1, column 11 in BLS12_381.aes, right?

[dincho]

Sure, but then the file/where (BLS12_381.aes, ) is missing ?

[dincho]

For example the buildin namespace error makes much more sense:

Type error in 'contracts/Bug.aes' at line 5, col 11: The namespace MCL_BLS12_381 (at line 5, column 11) has the same name as a namespace at (builtin location)

So I'd expect:

The namespace BLS12_381 (at line 5, column 11) has the same name as a namespace at line 1, column 11 in BLS12_381.aes

[dincho]

Not very helpful with user defined namespaces as well:

➜  cat contracts/Bug.aes                   
@compiler >= 6

include "Bug2.aes"

namespace Busy =
    type bus = int

main contract Bug =
    type number = int

➜ cat contracts/Bug2.aes                  
@compiler >= 6

namespace Busy =
    type bus = int

➜ aesophia_cli contracts/Bug.aes          
Type error in 'contracts/Bug.aes' at line 5, col 11:
The namespace Busy (at line 5, column 11) has the same name as a namespace at line 3, column 11

[hanssv]

@ghallak is this something that could be improved?