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