sdthompson1 / babylon

An experimental new programming language with verification features.
https://www.solarflare.org.uk/babylon
Other
1 stars 0 forks source link

Hierarchical module names #1

Closed sdthompson1 closed 1 month ago

sdthompson1 commented 1 month ago

I would like to have hierarchical module names, i.e. module names containing dots, e.g.

module Foo.Bar.Baz
...

or

import Foo.Bar.Baz;

The dots would convert into path separators (slashes), so this would look for a file called Foo/Bar/Baz.b. Note this would be relative to the base directory of the compilation, not relative to the current module's directory.