| Sun, 28 Jan 2018 16:09:00 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Dec 2014 16:51:54 +0100 |
haftmann |
tuned module structure
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Thu, 02 Oct 2014 17:51:04 +0200 |
haftmann |
accomplish potentially case-insenstive file systems for Scala
|
file |
diff |
annotate
|
| Sat, 28 Jun 2014 22:13:20 +0200 |
haftmann |
corrected handled exception
|
file |
diff |
annotate
|
| Fri, 02 May 2014 21:18:50 +0200 |
haftmann |
enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 18:07:53 +0100 |
haftmann |
amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
keep only identifiers public which are explicitly requested or demanded by dependencies
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
explicit option for "open" code generation
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
more fine-grain notion of export
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
formal markup for public ingredients
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 10:32:09 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 03 Feb 2014 08:23:21 +0100 |
haftmann |
code generation: explicitly declared identifiers gain predence over implicit ones
|
file |
diff |
annotate
|
| Mon, 03 Feb 2014 08:23:20 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 03 Feb 2014 08:23:19 +0100 |
haftmann |
tuned storage of code identifiers
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
less clumsy namespace
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
prefer explicit code symbol type over ad-hoc name mangling
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 18:05:03 +0200 |
haftmann |
explicit module names have precedence over identifier declarations
|
file |
diff |
annotate
|
| Fri, 24 May 2013 23:57:24 +0200 |
haftmann |
bookkeeping and input syntax for exact specification of names of symbols in generated code
|
file |
diff |
annotate
|
| Sat, 11 May 2013 16:57:18 +0200 |
wenzelm |
prefer explicitly qualified exceptions, which is particular important for robust handlers;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 10:16:51 +0200 |
haftmann |
dropped dead code;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2011 23:35:30 +0200 |
wenzelm |
refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|
| Thu, 25 Nov 2010 15:40:15 +0100 |
haftmann |
toplevel deresolving for flat module name space
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 09:19:34 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 09:18:25 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 16:37:23 +0200 |
haftmann |
added flat_program; tuned signature
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 11:08:58 +0200 |
haftmann |
factored out build_module_namespace
|
file |
diff |
annotate
|
| Sat, 04 Sep 2010 21:13:13 +0200 |
haftmann |
printing combinator for hierarchical programs
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 13:43:38 +0200 |
haftmann |
removed namespace stuff from code_printer
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 10:29:49 +0200 |
haftmann |
skip empty name bunches; fill up trailing positions with NONEs
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 17:21:50 +0200 |
haftmann |
simultaneous modification of statements: statement names
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 17:14:42 +0200 |
haftmann |
simultaneous modification of statements
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 16:08:31 +0200 |
haftmann |
explicit modify_stmt parameter
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 15:09:43 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 12:27:49 +0200 |
haftmann |
generalized hierarchical data structure over statements
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 12:01:19 +0200 |
haftmann |
factored out generic part of Scala serializer into code_namespace.ML
|
file |
diff |
annotate
|