src/Tools/Code/code_scala.ML
2012-06-05 haftmann 2012-06-05 prefer records with speaking labels over deeply nested tuples
2012-05-28 haftmann 2012-05-28 dropped sort constraints on datatype specifications
2012-04-19 haftmann 2012-04-19 dropped dead code
2012-03-09 haftmann 2012-03-09 always bracket case expressions in Scala
2011-09-20 bulwahn 2011-09-20 syntactic improvements and tuning names in the code generator due to Florian's code review
2011-09-07 bulwahn 2011-09-07 adding the body type as well to the code generation for constants as it is required for type annotations of constants
2011-09-07 bulwahn 2011-09-07 changing const type to pass along if typing annotations are necessary for disambigous terms
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 tuned signature: Name.invent and Name.invent_names;
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2011-03-13 wenzelm 2011-03-13 allow spaces in executable names; simplified generated bash scripts;
2011-03-13 wenzelm 2011-03-13 tuned;
2011-02-19 haftmann 2011-02-19 dropped redundancy
2011-02-17 haftmann 2011-02-17 more idiomatic printing of let cascades and type variable constraints
2011-02-02 bulwahn 2011-02-02 scala serializer adds parentheses around function literals
2010-12-21 haftmann 2010-12-21 program is separate argument to serializer
2010-09-29 haftmann 2010-09-29 scala is reserved identifier
2010-09-04 haftmann 2010-09-04 merged
2010-09-04 haftmann 2010-09-04 printing combinator for hierarchical programs
2010-09-04 haftmann 2010-09-04 dropped names from serializer interface
2010-09-02 haftmann 2010-09-02 hand out deresolver from serializer invocation
2010-09-02 haftmann 2010-09-02 restored and added surpression of case combinators
2010-09-02 haftmann 2010-09-02 dropped superfluous presentation names
2010-09-02 haftmann 2010-09-02 manage statement selection for presentation wholly through markup
2010-09-02 haftmann 2010-09-02 formal markup of generated code for statements
2010-09-02 haftmann 2010-09-02 formal framework for presentation of selected statements
2010-09-02 haftmann 2010-09-02 include names need not be considered as reserved any longer
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 merged
2010-09-01 haftmann 2010-09-01 factored out generic part of Scala serializer into code_namespace.ML
2010-09-01 haftmann 2010-09-01 do not print object frame around Scala includes -- this is in the responsibility of the user
2010-09-01 haftmann 2010-09-01 tuned internally and made smlnj happy
2010-08-31 haftmann 2010-08-31 dropped single_module parameter
2010-08-31 haftmann 2010-08-31 record argument for serializers
2010-08-31 haftmann 2010-08-31 removed serializer interface redundancies
2010-08-31 haftmann 2010-08-31 more coherent naming of syntax data structures
2010-08-31 haftmann 2010-08-31 Code_Printer.tuplify
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 eliminated some obscure higher-order arguments
2010-08-30 haftmann 2010-08-30 width is a formal parameter of serialization
2010-08-30 haftmann 2010-08-30 code checking: compiler invocation happens in same directory as generated file -- avoid problem with different path representations on cygwin
2010-08-27 haftmann 2010-08-27 improved deresolving of implicits
2010-08-27 haftmann 2010-08-27 proper namespace administration for hierarchical modules
2010-08-26 haftmann 2010-08-26 only print qualified implicits
2010-08-26 haftmann 2010-08-26 stub for (later) correct deresolving of class method names
2010-08-26 haftmann 2010-08-26 tuned serializer interface
2010-08-26 haftmann 2010-08-26 private version of commas, cf. printmode
2010-08-26 haftmann 2010-08-26 corrected semantics of presentation_stmt_names; do not print includes on presentation selection
2010-08-26 haftmann 2010-08-26 code_include Scala: qualify module nmae
2010-08-25 haftmann 2010-08-25 preliminary implementation of hierarchical module name space
2010-07-29 haftmann 2010-07-29 tuned printing of applications and let cascades
2010-07-24 haftmann 2010-07-24 another refinement chapter in the neverending numeral story
2010-07-22 haftmann 2010-07-22 more generous memory settings for scala check
2010-07-20 haftmann 2010-07-20 datatype classes are abstract
2010-07-19 haftmann 2010-07-19 distinguish different classes of const syntax
2010-07-14 haftmann 2010-07-14 use generic description slot for formal code checking