src/Tools/Code/code_haskell.ML
Fri, 16 Mar 2012 18:20:12 +0100 wenzelm outer syntax command definitions based on formal command_spec derived from theory header declarations;
Tue, 20 Sep 2011 09:30:19 +0200 bulwahn syntactic improvements and tuning names in the code generator due to Florian's code review
Fri, 16 Sep 2011 20:02:35 +0200 noschinl tune indenting
Wed, 14 Sep 2011 10:24:22 +0200 noschinl create central list for language extensions used by the haskell code generator
Thu, 08 Sep 2011 12:23:11 +0200 noschinl call ghc with -XEmptyDataDecls
Wed, 07 Sep 2011 13:51:36 +0200 bulwahn removing previous crude approximation to add type annotations to disambiguate types
Wed, 07 Sep 2011 13:51:35 +0200 bulwahn adding minimalistic implementation for printing the type annotations
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
Wed, 07 Sep 2011 13:51:30 +0200 bulwahn changing const type to pass along if typing annotations are necessary for disambigous terms
Thu, 18 Aug 2011 13:37:41 +0200 noschinl do not call ghc with -fglasgow-exts
Thu, 09 Jun 2011 17:51:49 +0200 wenzelm simplified Name.variant -- discontinued builtin fold_map;
Sun, 20 Mar 2011 17:40:45 +0100 wenzelm replaced File.check by specific File.check_file, File.check_dir;
Sun, 13 Mar 2011 19:16:19 +0100 wenzelm cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection;
Sun, 13 Mar 2011 14:51:38 +0100 wenzelm allow spaces in executable names;
Tue, 21 Dec 2010 08:40:39 +0100 haftmann program is separate argument to serializer
less more (0) -15 tip