| Fri, 05 Apr 2024 17:47:09 +0200 |
wenzelm |
adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 15:23:06 +0200 |
wenzelm |
clarified generated Scala, for the sake of "scalac -source 3.3";
|
file |
diff |
annotate
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
More explicit type information in dictionary arguments.
|
file |
diff |
annotate
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
more uniform approach towards satisfied applications
|
file |
diff |
annotate
|
| Sun, 12 Feb 2023 06:45:59 +0000 |
haftmann |
somehow more clear terminology
|
file |
diff |
annotate
|
| Mon, 04 Jul 2022 10:08:10 +0000 |
haftmann |
corrections and adjustions for Scala 3
|
file |
diff |
annotate
|
| Fri, 01 Jul 2022 19:57:06 +0200 |
wenzelm |
more keywords for scala3;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2022 09:07:37 +0000 |
haftmann |
adjusted printing of type annotations to accomodate Scala 3
|
file |
diff |
annotate
|
| Mon, 28 Mar 2022 12:54:09 +0000 |
haftmann |
modernized handling of variables
|
file |
diff |
annotate
|
| Sun, 27 Mar 2022 19:27:52 +0000 |
haftmann |
prefer build combinator
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 14:37:07 +0200 |
wenzelm |
more robust: avoid spurious line breaks that might confuse the scala interpreter;
|
file |
diff |
annotate
|
| Thu, 10 Jan 2019 12:07:05 +0000 |
haftmann |
explicit model concerning files of generated code
|
file |
diff |
annotate
|
| Wed, 25 Apr 2018 09:04:26 +0000 |
haftmann |
more correct error message
|
file |
diff |
annotate
|
| Tue, 24 Apr 2018 14:17:58 +0000 |
haftmann |
proper datatype for 8-bit characters
|
file |
diff |
annotate
|
| Wed, 24 Jan 2018 11:56:54 +0100 |
wenzelm |
clarified position;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 18:42:39 +0100 |
haftmann |
dedicated case option for code generation to Scala
|
file |
diff |
annotate
|
| Thu, 03 Aug 2017 12:49:59 +0200 |
haftmann |
corrected slip
|
file |
diff |
annotate
|
| Thu, 03 Aug 2017 12:49:58 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 13:51:43 +0200 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2017 16:30:49 +0100 |
wenzelm |
uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2016 14:35:40 +0100 |
wenzelm |
Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
|
file |
diff |
annotate
|
| Thu, 23 Jun 2016 16:46:36 +0200 |
haftmann |
compiling implicit instances into companion objects for classes avoids ambiguities
|
file |
diff |
annotate
|
| Tue, 14 Jun 2016 20:48:42 +0200 |
haftmann |
non-deprecated char literals for Scala
|
file |
diff |
annotate
|
| Tue, 14 Jun 2016 20:48:41 +0200 |
haftmann |
explicit resolution of ambiguous dictionaries
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 22:14:52 +0200 |
haftmann |
unconditional parenthesing of (chained) abstractions in Scala, with explicit regression setup
|
file |
diff |
annotate
|
| Fri, 09 Jan 2015 08:36:59 +0100 |
haftmann |
modernized and more uniform style
|
file |
diff |
annotate
|
| Fri, 05 Dec 2014 19:35:36 +0100 |
haftmann |
allow multiple inheritance of targets
|
file |
diff |
annotate
|
| Thu, 02 Oct 2014 17:51:04 +0200 |
haftmann |
accomplish potentially case-insenstive file systems for Scala
|
file |
diff |
annotate
|
| Thu, 18 Sep 2014 18:48:04 +0200 |
haftmann |
simplified and tuned using signed_string_of_int
|
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, 01 May 2014 09:30:36 +0200 |
haftmann |
centralized upper/lowercase name mangling
|
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 |
formal markup for public ingredients
|
file |
diff |
annotate
|
| Sun, 26 Jan 2014 16:23:46 +0100 |
haftmann |
more suitable names, without any notion of "activating"
|
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
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
more abstract declaration of unqualified constant names in code printing context
|
file |
diff |
annotate
|
| Thu, 04 Jul 2013 08:52:44 +0200 |
haftmann |
consider explicit hint for domain of class parameters when printing instance statements
|
file |
diff |
annotate
|
| Thu, 04 Jul 2013 08:52:44 +0200 |
haftmann |
explicit hint for domain of class parameters in instance statements
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 21:16:07 +0200 |
haftmann |
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
|
file |
diff |
annotate
|
| Thu, 30 May 2013 14:37:35 +0200 |
Andreas Lochbihler |
space between minus sign and number for large negative number literals causes NumberFormatException at run-time
|
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
|
| Fri, 15 Feb 2013 08:31:31 +0100 |
haftmann |
two target language numeral types: integer and natural, as replacement for code_numeral;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2012 21:01:08 +0100 |
haftmann |
uniform parentheses for constructor -- necessary to accomodate scala 10
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 22:26:38 +0200 |
haftmann |
evaluation: allow multiple code modules
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 07:10:51 +0200 |
haftmann |
prefer sys.error over plain error in Scala to avoid deprecation warning
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 07:05:56 +0200 |
haftmann |
prefer records with speaking labels over deeply nested tuples
|
file |
diff |
annotate
|
| Mon, 28 May 2012 13:38:07 +0200 |
haftmann |
dropped sort constraints on datatype specifications
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 19:18:11 +0200 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
| Fri, 09 Mar 2012 20:17:16 +0100 |
haftmann |
always bracket case expressions in Scala
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 09:30:19 +0200 |
bulwahn |
syntactic improvements and tuning names in the code generator due to Florian's code review
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 13:51:32 +0200 |
bulwahn |
adding the body type as well to the code generation for constants as it is required for type annotations of constants
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 13:51:30 +0200 |
bulwahn |
changing const type to pass along if typing annotations are necessary for disambigous terms
|
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 20:22:22 +0200 |
wenzelm |
tuned signature: Name.invent and Name.invent_names;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|