| 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 |