| Thu, 08 Sep 2011 12:23:11 +0200 | noschinl | call ghc with -XEmptyDataDecls | file | diff | annotate |
| Wed, 07 Sep 2011 13:51:36 +0200 | bulwahn | removing previous crude approximation to add type annotations to disambiguate types | file | diff | annotate |
| Wed, 07 Sep 2011 13:51:35 +0200 | bulwahn | adding minimalistic implementation for printing the type annotations | file | diff | annotate |
| 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 | file | diff | annotate |
| Wed, 07 Sep 2011 13:51:30 +0200 | bulwahn | changing const type to pass along if typing annotations are necessary for disambigous terms | file | diff | annotate |
| Thu, 18 Aug 2011 13:37:41 +0200 | noschinl | do not call ghc with -fglasgow-exts | file | diff | annotate |
| Thu, 09 Jun 2011 17:51:49 +0200 | wenzelm | simplified Name.variant -- discontinued builtin fold_map; | file | diff | annotate |