reorganize files making use of jbuilder's auto-wrapping

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System

http://www.frenetic-lang.org/

Other

223 stars 52 forks source link

reorganize files making use of jbuilder's auto-wrapping #576

Closed smolkaj closed 6 years ago

smolkaj commented 6 years ago

Renames files by removing their prefixes, for example "Frenetic_Packet.ml" becomes "Packet.ml" and "Frenetic_NetKAT_Compiler.mli" becomes "Compiler.mli". Then use jbuilder's wrapping feature to recover these prefixes externally, for example the module "Packet" is accessible via "Frenetic.Packet" and "Compiler" is accessible via "NetKAT.Compiler".

Also splits frenetic and netkat into two libraries (that live in the same package).

smolkaj commented 6 years ago

@jnfoster @basus If nobody objects, I will merge this in tomorrow or so.