src/Tools/Code/code_haskell.ML
2010-09-02 haftmann 2010-09-02 formal markup of generated code for statements
2010-09-02 haftmann 2010-09-02 removed namespace stuff from code_printer
2010-09-02 haftmann 2010-09-02 formal framework for presentation of selected statements
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-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 trailing newline by default
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-26 haftmann 2010-08-26 tuned serializer interface
2010-08-25 haftmann 2010-08-25 merged
2010-08-25 haftmann 2010-08-25 tuned
2010-08-25 haftmann 2010-08-25 traling newline on standard output
2010-07-24 haftmann 2010-07-24 another refinement chapter in the neverending numeral story
2010-07-19 haftmann 2010-07-19 distinguish different classes of const syntax
2010-07-14 haftmann 2010-07-14 more consistent spacing in generated monadic code
2010-07-14 haftmann 2010-07-14 braced needed in layout-insensitive 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-17 haftmann 2010-06-17 more precise code
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-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-01 haftmann 2010-06-01 brackify_infix etc.: no break before infix operator -- eases survival in Scala
2010-05-17 wenzelm 2010-05-17 prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; eliminated old-style structure aliases K = Keyword, P = Parse;
2010-04-30 haftmann 2010-04-30 enclose case expression in brackets
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-05 haftmann 2010-01-05 more correct handling of empty functions
2009-12-23 haftmann 2009-12-23 take care for destructive print mode properly using dedicated pretty builders
2009-12-14 haftmann 2009-12-14 improved crude deriving_show inference
2009-12-11 haftmann 2009-12-11 repaired accident: do not forget module contents if there are no imports
2009-12-09 haftmann 2009-12-09 each import resides in its own line
2009-12-04 haftmann 2009-12-04 merged, resolving minor conflicts
2009-12-04 haftmann 2009-12-04 tuned
2009-11-30 haftmann 2009-11-30 dropped some unused bindings
2009-11-25 haftmann 2009-11-25 normalized uncurry take/drop
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-11-03 haftmann 2009-11-03 always be qualified -- suspected smartness in fact never worked as expected
2009-10-14 haftmann 2009-10-14 tuned whitespace
2009-10-14 haftmann 2009-10-14 dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
2009-10-12 haftmann 2009-10-12 intro_base_names combinator
2009-10-12 haftmann 2009-10-12 dropped dead code
2009-07-03 haftmann 2009-07-03 cleaned up fundamental iml term functions
2009-06-30 haftmann 2009-06-30 all variable names are optional