src/Tools/Code/code_scala.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
2010-07-14 haftmann 2010-07-14 formal slot for code checker
2010-07-14 haftmann 2010-07-14 check without explicit path
2010-07-08 haftmann 2010-07-08 dropped ancient in-place compilation of SML
2010-07-08 haftmann 2010-07-08 checking generated code for various target languages
2010-07-01 haftmann 2010-07-01 once more a try with mkdir_leaf
2010-07-01 haftmann 2010-07-01 revert to plain for now mkdir
2010-06-30 haftmann 2010-06-30 mkdir_leaf -- avoiding surprises with typos in user-given paths
2010-06-30 haftmann 2010-06-30 pervasive tuning of code
2010-06-18 haftmann 2010-06-18 tuned whitespace; dropped dead code
2010-06-18 haftmann 2010-06-18 dropped dead code
2010-06-17 haftmann 2010-06-17 first serious draft of a scala code generator
2010-06-17 haftmann 2010-06-17 transitive superclasses were also only a misunderstanding
2010-06-17 haftmann 2010-06-17 formal introduction of transitive superclasses
2010-06-17 haftmann 2010-06-17 dropped obscure type argument weakening mapping -- was only a misunderstanding
2010-06-15 haftmann 2010-06-15 drop function definitions of combinators
2010-06-15 haftmann 2010-06-15 formal introduction of case cong
2010-06-07 haftmann 2010-06-07 more consistent naming aroud type classes and instances
2010-06-04 haftmann 2010-06-04 avoid "$"
2010-06-01 haftmann 2010-06-01 capitalized type variables; added yield as keyword
2010-06-01 haftmann 2010-06-01 corrected printing of characters
2010-04-29 haftmann 2010-04-29 more coherent naming with ML serializer
2010-02-19 haftmann 2010-02-19 context theorem is optional
2010-01-22 haftmann 2010-01-22 code literals: distinguish numeral classes by different entries
2010-01-14 haftmann 2010-01-14 tuned for products vs. tupled functions
2010-01-13 haftmann 2010-01-13 being more accurate wrt. list syntax
2010-01-08 haftmann 2010-01-08 proper types for user-defined syntax
2010-01-08 haftmann 2010-01-08 a primitive scala serializer