#
b646bfc6 |
|
28-Jan-2018 |
wenzelm <none@none> |
clarified signature;
|
#
73336c34 |
|
04-Dec-2014 |
haftmann <none@none> |
tuned module structure --HG-- extra : rebase_source : b00d44336a4cb5c02019294cc42c69ea8a448e6c
|
#
13ddea91 |
|
26-Nov-2014 |
wenzelm <none@none> |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
#
31e1aaa1 |
|
02-Oct-2014 |
haftmann <none@none> |
accomplish potentially case-insenstive file systems for Scala --HG-- extra : rebase_source : 01775a1b8de5b9b7744107f7a87f3c79d88af6d0
|
#
e0685553 |
|
28-Jun-2014 |
haftmann <none@none> |
corrected handled exception
|
#
b7f1a757 |
|
02-May-2014 |
haftmann <none@none> |
enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
|
#
32a521c9 |
|
27-Feb-2014 |
haftmann <none@none> |
amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
|
#
217fdae1 |
|
23-Feb-2014 |
haftmann <none@none> |
keep only identifiers public which are explicitly requested or demanded by dependencies
|
#
34a077b1 |
|
23-Feb-2014 |
haftmann <none@none> |
explicit option for "open" code generation
|
#
950cc03c |
|
23-Feb-2014 |
haftmann <none@none> |
more fine-grain notion of export
|
#
67ca6d83 |
|
23-Feb-2014 |
haftmann <none@none> |
tuned
|
#
8b24d313 |
|
23-Feb-2014 |
haftmann <none@none> |
formal markup for public ingredients
|
#
94a625a4 |
|
20-Feb-2014 |
haftmann <none@none> |
tuned --HG-- extra : rebase_source : 9731bb2179e08c08a87c9e8df00618b20d4ae328
|
#
fcb6293f |
|
03-Feb-2014 |
haftmann <none@none> |
code generation: explicitly declared identifiers gain predence over implicit ones --HG-- extra : rebase_source : 6951295cf27fb6c7a2eb22d5b8e8e0fd148b6691
|
#
7948a9cc |
|
03-Feb-2014 |
haftmann <none@none> |
tuned --HG-- extra : rebase_source : 5d3345b26d68ce01e0a79191d769a646352a461b
|
#
42be5f7b |
|
03-Feb-2014 |
haftmann <none@none> |
tuned storage of code identifiers --HG-- extra : rebase_source : 5e8c0cecdbf2a71e0bc8ffc2a3b7931aa243bfc5
|
#
07ad0bb4 |
|
25-Jan-2014 |
haftmann <none@none> |
less clumsy namespace
|
#
9250249f |
|
25-Jan-2014 |
haftmann <none@none> |
prefer explicit code symbol type over ad-hoc name mangling
|
#
3c0f30b2 |
|
05-Sep-2013 |
haftmann <none@none> |
explicit module names have precedence over identifier declarations
|
#
8efa9794 |
|
24-May-2013 |
haftmann <none@none> |
bookkeeping and input syntax for exact specification of names of symbols in generated code --HG-- extra : rebase_source : 60e91890f26f4c44ec2fa3a5be594fa7f2c1bdd0
|
#
e750bd28 |
|
11-May-2013 |
wenzelm <none@none> |
prefer explicitly qualified exceptions, which is particular important for robust handlers;
|
#
d8b8c922 |
|
19-Apr-2012 |
haftmann <none@none> |
dropped dead code; tuned --HG-- extra : rebase_source : 3548e686e93188249306305b2ce26a36c18ce819
|
#
d049bd7b |
|
20-Aug-2011 |
wenzelm <none@none> |
refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;
|
#
1a5a42ee |
|
09-Jun-2011 |
wenzelm <none@none> |
simplified Name.variant -- discontinued builtin fold_map;
|
#
f32e539b |
|
25-Nov-2010 |
haftmann <none@none> |
toplevel deresolving for flat module name space
|
#
15558410 |
|
22-Nov-2010 |
haftmann <none@none> |
tuned
|
#
5268744a |
|
22-Nov-2010 |
haftmann <none@none> |
tuned
|
#
91891636 |
|
07-Sep-2010 |
haftmann <none@none> |
added flat_program; tuned signature
|
#
fe075c32 |
|
07-Sep-2010 |
haftmann <none@none> |
factored out build_module_namespace
|
#
dfb16b2f |
|
04-Sep-2010 |
haftmann <none@none> |
printing combinator for hierarchical programs
|
#
7a5c11b8 |
|
02-Sep-2010 |
haftmann <none@none> |
removed namespace stuff from code_printer
|
#
9c2a2128 |
|
02-Sep-2010 |
haftmann <none@none> |
skip empty name bunches; fill up trailing positions with NONEs
|
#
9f818b6b |
|
01-Sep-2010 |
haftmann <none@none> |
simultaneous modification of statements: statement names
|
#
d766e612 |
|
01-Sep-2010 |
haftmann <none@none> |
simultaneous modification of statements
|
#
819fc7df |
|
01-Sep-2010 |
haftmann <none@none> |
explicit modify_stmt parameter
|
#
82e87c0b |
|
01-Sep-2010 |
haftmann <none@none> |
tuned
|
#
80ac2b88 |
|
31-Aug-2010 |
haftmann <none@none> |
generalized hierarchical data structure over statements
|
#
fcadcf9f |
|
31-Aug-2010 |
haftmann <none@none> |
factored out generic part of Scala serializer into code_namespace.ML
|