src/Tools/Code/code_namespace.ML
16 months ago wenzelm 2018-01-28 clarified signature;
2014-12-04 haftmann 2014-12-04 tuned module structure
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-10-02 haftmann 2014-10-02 accomplish potentially case-insenstive file systems for Scala
2014-06-28 haftmann 2014-06-28 corrected handled exception
2014-05-02 haftmann 2014-05-02 enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
2014-02-27 haftmann 2014-02-27 amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
2014-02-23 haftmann 2014-02-23 keep only identifiers public which are explicitly requested or demanded by dependencies
2014-02-23 haftmann 2014-02-23 explicit option for "open" code generation
2014-02-23 haftmann 2014-02-23 more fine-grain notion of export
2014-02-23 haftmann 2014-02-23 tuned
2014-02-23 haftmann 2014-02-23 formal markup for public ingredients
2014-02-20 haftmann 2014-02-20 tuned
2014-02-03 haftmann 2014-02-03 code generation: explicitly declared identifiers gain predence over implicit ones
2014-02-03 haftmann 2014-02-03 tuned
2014-02-03 haftmann 2014-02-03 tuned storage of code identifiers
2014-01-25 haftmann 2014-01-25 less clumsy namespace
2014-01-25 haftmann 2014-01-25 prefer explicit code symbol type over ad-hoc name mangling
2013-09-05 haftmann 2013-09-05 explicit module names have precedence over identifier declarations
2013-05-24 haftmann 2013-05-24 bookkeeping and input syntax for exact specification of names of symbols in generated code
2013-05-11 wenzelm 2013-05-11 prefer explicitly qualified exceptions, which is particular important for robust handlers;
2012-04-19 haftmann 2012-04-19 dropped dead code; tuned
2011-08-20 wenzelm 2011-08-20 refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2010-11-25 haftmann 2010-11-25 toplevel deresolving for flat module name space
2010-11-22 haftmann 2010-11-22 tuned
2010-11-22 haftmann 2010-11-22 tuned
2010-09-07 haftmann 2010-09-07 added flat_program; tuned signature
2010-09-07 haftmann 2010-09-07 factored out build_module_namespace
2010-09-04 haftmann 2010-09-04 printing combinator for hierarchical programs
2010-09-02 haftmann 2010-09-02 removed namespace stuff from code_printer
2010-09-02 haftmann 2010-09-02 skip empty name bunches; fill up trailing positions with NONEs
2010-09-01 haftmann 2010-09-01 simultaneous modification of statements: statement names
2010-09-01 haftmann 2010-09-01 simultaneous modification of statements
2010-09-01 haftmann 2010-09-01 explicit modify_stmt parameter
2010-09-01 haftmann 2010-09-01 tuned
2010-09-01 haftmann 2010-09-01 generalized hierarchical data structure over statements
2010-09-01 haftmann 2010-09-01 factored out generic part of Scala serializer into code_namespace.ML