src/Tools/Code/code_haskell.ML
2011-09-20 bulwahn 2011-09-20 syntactic improvements and tuning names in the code generator due to Florian's code review
2011-09-16 noschinl 2011-09-16 tune indenting
2011-09-14 noschinl 2011-09-14 create central list for language extensions used by the haskell code generator
2011-09-08 noschinl 2011-09-08 call ghc with -XEmptyDataDecls
2011-09-07 bulwahn 2011-09-07 removing previous crude approximation to add type annotations to disambiguate types
2011-09-07 bulwahn 2011-09-07 adding minimalistic implementation for printing the type annotations
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-18 noschinl 2011-08-18 do not call ghc with -fglasgow-exts
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2011-03-20 wenzelm 2011-03-20 replaced File.check by specific File.check_file, File.check_dir; clarified File.full_path -- include parts of former Thy_Load.get_file; simplified Thy_Load.check_file -- do not read/digest yet; merged Thy_Load.check_thy/deps_thy -- always read text and parse header; clarified Thy_Header.read -- NB: partial Path.explode outside of args parser combinator; Thy_Info.check_deps etc.: File.read exactly once;
2011-03-13 wenzelm 2011-03-13 cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection; determine swipl_version at runtime;
2011-03-13 wenzelm 2011-03-13 allow spaces in executable names; simplified generated bash scripts;
2010-12-21 haftmann 2010-12-21 program is separate argument to serializer
2010-12-17 haftmann 2010-12-17 allocate intermediate directories in module hierarchy
2010-11-29 haftmann 2010-11-29 less ghc-specific pragma
2010-11-27 wenzelm 2010-11-27 more basic Isabelle_System.mkdir;
2010-11-27 wenzelm 2010-11-27 more explicit Isabelle_System operations;
2010-11-25 haftmann 2010-11-25 toplevel deresolving for flat module name space
2010-09-07 haftmann 2010-09-07 only write ghc pragma when writing to a file
2010-09-07 haftmann 2010-09-07 dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement
2010-09-07 haftmann 2010-09-07 moved flat_program to code_namespace
2010-09-07 haftmann 2010-09-07 Haskell uses generic flat_program combinator
2010-09-07 haftmann 2010-09-07 added generic flat_program procedure
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 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 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