zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Support namespace in project name #56

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

I can see much benefit from allowing one to do:

[project]
name = "namespace::library"

allowing:

using namespace::library::{ some_export }

ZZ currently complains that it can't find the module 'namespace::library' because of the :: contained in the name.

@aep what are your thoughts on support something like this? I hope this makes sense

aep commented 4 years ago

that's alot of work to allow :: here, why not use a different symbol?

jwerle commented 4 years ago

I am currently using _ as a separator. It isn't a show stopper at all. I had the idea using :: instead and wanted to open an issue here to see what your thoughts were.

We can close if this does not makes sense or the effort is too large

aep commented 4 years ago

: should be ok

It might make sense when it has functionality, but I'm not sure what that would be.

Just allowing a path separator :: that doesn't separate anything creates alot of confusing corner cases

jwerle commented 4 years ago

Yeah lets just close this for now