clarified signature;

tuned module structure

--HG--
extra : rebase_source : b00d44336a4cb5c02019294cc42c69ea8a448e6c

renamed "pairself" to "apply2", in accordance to @{apply 2};

accomplish potentially case-insenstive file systems for Scala

--HG--
extra : rebase_source : 01775a1b8de5b9b7744107f7a87f3c79d88af6d0

corrected handled exception

enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)

amended some slips, rolling back currently dysfunctional export minimimalisation for Scala

keep only identifiers public which are explicitly requested or demanded by dependencies

explicit option for "open" code generation

more fine-grain notion of export

tuned

formal markup for public ingredients

tuned

--HG--
extra : rebase_source : 9731bb2179e08c08a87c9e8df00618b20d4ae328

code generation: explicitly declared identifiers gain predence over implicit ones

--HG--
extra : rebase_source : 6951295cf27fb6c7a2eb22d5b8e8e0fd148b6691

tuned

--HG--
extra : rebase_source : 5d3345b26d68ce01e0a79191d769a646352a461b

tuned storage of code identifiers

--HG--
extra : rebase_source : 5e8c0cecdbf2a71e0bc8ffc2a3b7931aa243bfc5

less clumsy namespace

prefer explicit code symbol type over ad-hoc name mangling

explicit module names have precedence over identifier declarations

bookkeeping and input syntax for exact specification of names of symbols in generated code

--HG--
extra : rebase_source : 60e91890f26f4c44ec2fa3a5be594fa7f2c1bdd0

prefer explicitly qualified exceptions, which is particular important for robust handlers;

dropped dead code;
tuned

--HG--
extra : rebase_source : 3548e686e93188249306305b2ce26a36c18ce819

refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;

simplified Name.variant -- discontinued builtin fold_map;

toplevel deresolving for flat module name space

tuned

tuned

added flat_program; tuned signature

factored out build_module_namespace

printing combinator for hierarchical programs

removed namespace stuff from code_printer

skip empty name bunches; fill up trailing positions with NONEs

simultaneous modification of statements: statement names

simultaneous modification of statements

explicit modify_stmt parameter

tuned

generalized hierarchical data structure over statements

factored out generic part of Scala serializer into code_namespace.ML